Journal of Symbolic Computation
A uniform architecture for rule-based meta-reasoning and representation: a case study
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Integration issue in knowledge acquisition systems
ACM SIGART Bulletin - Special issue on knowledge acquisition
Sentential semantics for propositional attitudes
Computational Linguistics
Logic-based artificial intelligence
Communication across Viewpoints
Journal of Logic, Language and Information
On Knowledge, Strings, and Paradoxes
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computational Linguistics
Operational pointer semantics: solution to self-referential puzzles I
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
The consistency of syntactical treatments of knowledge
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Paradoxes and semantic representation
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Metacognition in computation: a selected research review
Artificial Intelligence
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Temporal Action Logic for Question Answering in an Adventure Game
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Axiom schemata as metalevel axioms: model theory
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Non-standard semantics for the method of temporal arguments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Autodoxastic conditional reasoning: the monotonic case
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
On the meta-logic of arguments
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Fundamenta Informaticae
Fuzzy logic and self-referential reasoning: a comparative study with some new concepts
Artificial Intelligence Review
Hi-index | 0.00 |