Search results for: Alan Smaill
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 185-200
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 102-114
Lecture Notes in Computer Science > Integrating Symbolic Mathematical Computation and Artificial Intelligence > 115-130
Studies in Computational Intelligence > Model-Based Reasoning in Science and Technology > Formal and Computational Aspects of Model Based Reasoning > 301-314
Lecture Notes in Computer Science > MICAI 2004: Advances in Artificial Intelligence > Knowledge Representation > 99-108
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Cognition > 323-330
Topics in Cognitive Science > 5 > 2 > 224 - 230
Cognitive Systems Research > 2011 > 12 > 3-4 > 249-265
Artificial Intelligence > 2011 > 175 > 9-10 > 1697-1721