Sentential semantics for propositional attitudes
Computational Linguistics
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
A semantics approach for KQML—a general purpose communication language for software agents
CIKM '94 Proceedings of the third international conference on Information and knowledge management
The SINIX Consultant – Towards a TheoreticalTreatment of Plan Recognition
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
A belief-goal-role logic for a single-agent system
Proceedings of the 2001 ACM symposium on Applied computing
Ascribing beliefs to resource bounded agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Logic-based artificial intelligence
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Natural Language Processing and User Modeling: Synergies and Limitations
User Modeling and User-Adapted Interaction
Rational Communication in Multi-Agent Environments
Autonomous Agents and Multi-Agent Systems
An Organizational Semiotics Model for Multi-agent Systems Design (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
A Framework for Splitting BDI Agents
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Simulative inference about nonmonotonic reasoners
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Objective and Cognitive Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Formal Specification of Opinions Applied to the Consensus Problem
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Virtual Mental Space: Interacting with the Characters of Works of Literature
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Panel Discussion: Future Directions
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Probabilistic belief logic and its probabilistic aumann semantics
Journal of Computer Science and Technology
Indexical expressions in the scope of attitude verbs
Computational Linguistics
Information states as first class citizens
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Explanatory belief ascription: notes and premature formalization
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A logical toolbox for knowledge approximation
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts
Artificial Intelligence Review
A logic of reasoning, communication and cooperation with syntactic knowledge
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Metacognition in computation: a selected research review
Artificial Intelligence
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Modeling and Simulation for Mission Operations Work System Design
Journal of Management Information Systems
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Intelligent agent technologies promises in emerging arena: mass customisation
AIKED'07 Proceedings of the 6th Conference on 6th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases - Volume 6
Active logic semantics for a single agent in a static world
Artificial Intelligence
Verifying time, memory and communication bounds in systems of reasoning agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
Logical omniscience as a computational complexity problem
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
Knowledge, Time, and Logical Omniscience
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Mechanisms for automated negotiation in state oriented domains
Journal of Artificial Intelligence Research
How to represent opaque sentences in first order logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Argumentation: planning other agents' plans
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A formal account of self-knowledge and action
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Belief as defeasible knowledge
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Enabling integrative negotiations by adapitve software agents
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
Computation for metaphors, analogy, and agents
Incremental, approximate planning
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 of knowledge and belief for recursive modeling: a preliminary report
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
Fundamenta Informaticae
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Belief semantics of authorization logic
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Decidable reasoning in a logic of limited belief with introspection and unknown individuals
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |