SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
On computational complexity and the nature of computer science
ACM Computing Surveys (CSUR)
Turing Award lecture on computational complexity and the nature of computer science
Communications of the ACM
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Turing award lecture: on computational complexity and the nature of computer science
ACM Turing award lectures
Three fundamental misconceptions of Artificial Intelligence
Journal of Experimental & Theoretical Artificial Intelligence
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Formalizing narratives using nested circumscription
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Experience-grounded semantics: a theory for intelligent systems
Cognitive Systems Research
| Hi-index | 0.02 |