Anytime approximate model reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Logical considerations on default semantics
Annals of Mathematics and Artificial Intelligence
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
The Use of Associative Concepts in the Incremental Building of a Logical Context
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
An Extension of BDICTL with Functional Dependencies and Components
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A modal logic of information change
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Knowledge and the logic of local propositions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Persistence and Minimality in Epistemic Logic
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A General Approach to Multi-agent Minimal Knowledge
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Knowledge Constructions for Artificial Intelligence
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Logical Framework for Knowledge Sharing in Multi-agent Systems
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A Roadmap of Epistemic Logics for Learning Agents
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic reasoning by inhibition nets II
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Reasoning with infinite stable models
Artificial Intelligence
Introduction to logical information systems
Information Processing and Management: an International Journal
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
An epistemic logic of situations: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A tractable knowledge representation service with full introspection
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Semantics for multi-agent only knowing: extended abstract
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Knowledge and communication: a first-order theory
Artificial Intelligence
On the logic of coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence
A logical framework for identifying quality knowledge from different data sources
Decision Support Systems
Reasoning about coalitional games
Artificial Intelligence
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
A logical characterization of iterated admissibility
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Revision sequences and nested conditionals
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Query evaluation and progression in AOL knowledge bases
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The semantics of intention maintenance for rational agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A logical account of relevance
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Inaccessible worlds and irrelevance preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A new logic of beliefs: monotonic and non-monotonic beliefs-part 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A model of decidable introspective reasoning with quantifying-in
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A logic for revision and subjunctive queries
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Combining circumscription and modal logic
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about only knowing with many agents
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A note on assumption-completeness in modal logic
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Confluent Term Rewriting for Only-knowing Logics
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Temporal nonmonotonic logical systems: Interrelationships and computational complexity
Scientific and Technical Information Processing
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modal logics for qualitative possibility and beliefs
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Default reasoning with preference within only knowing logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Counts-as: classification or constitution? an answer using modal logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Negation, opposition, and possibility in logical concept analysis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Logical spaces in multi-agent only knowing systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Strategies for belief revision
Games, Actions and Social Software
Correct Reasoning
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Towards a deeper understanding of nonmonotonic reasoning with degrees
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |