Search results for: Marco Schaerf
Scientometrics > 2018 > 117 > 3 > 1777-1791
Lecture Notes in Computer Science
IEEE Transactions on Computers > 2016 > 65 > 10 > 3148 - 3156
Lecture Notes in Computer Science > Reasoning, Action and Interaction in AI Theories and Systems > 101-115
Lecture Notes in Computer Science > STACS 95 > 205-216
Lecture Notes in Computer Science > AI*IA 2005: Advances in Artificial Intelligence > Theoretical Research: Results and Proposals > 1-12
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 373-374
Lecture Notes in Computer Science > AI*IA 2011: Artificial Intelligence Around Man and Beyond > Theoretical Issues: Knowledge Representation and Reasonoinng, Planning, Cognitive Modeling > 177-188
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Knowledge Representation and Reasoning > 48-59
International Journal of Approximate Reasoning > 2015 > 63 > Complete > 22-31
IEEE/ACM Joint Conference on Digital Libraries > 461 - 462
Procedia Computer Science > 2014 > 38 > Complete > 4-11
Graphical Models > 2007 > 69 > 2 > 106-118
Data & Knowledge Engineering > 2005 > 55 > 2 > 189-202
Information and Computation > 2002 > 176 > 2 > 89-120
Journal of Automated Reasoning > 2002 > 28 > 2 > 101-142
Journal of Computer and System Sciences > 2001 > 62 > 1 > 43-72
Artificial Intelligence > 1999 > 115 > 1 > 25-64