Journal · AICOM · Homepage
1.1K
Publications
18.9K
Citations
Top concepts
ComputingComputer ScienceKnowledge RepresentationArtificial IntelligenceMachine LearningAlgorithmsAutomated ReasoningLogicFormal MethodsExpert Systems
Publications per year
1987–2024
1.1K
1.1K
Linear discriminant analysis: A detailed tutorial
Alaa Tharwat, Tarek Gaber, Abdelhameed Ibrahim et al. · 2017 · 1.1K citations · Full text
Emanuele Trucco · 1995 · 473 citations
Potassco: The Potsdam Answer Set Solving Collection
Martin Gebser, Benjamin Kaufmann, Roland Kaminski et al. · 2011 · 471 citations
The design and implementation of VAMPIRE
Alexandre Riazanov, Андрей Воронков · 2002 · 417 citations
1–5 of 1.1K