Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Reasoning about knowledge and probability
Journal of the ACM (JACM)
A probabilistic terminological logic for modelling information retrieval
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
Knowledge, timed precedence and clocks (preliminary report)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Retrieval of complex objects using a four-valued logic
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
Anytime approximate model reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A knowledge-based approach for designing intelligent team training systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
A Benchmark Method for the Propositional Modal Logics K, KT, S4
Journal of Automated Reasoning
Journal of Logic, Language and Information
Approximate Common Knowledge and Co-ordination: Recent Lessons from Game Theory
Journal of Logic, Language and Information
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
A Logic with Relative Knowledge Operators
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
The modal logic of probability
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Characterizing the common prior assumption
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Monodic Epistemic Predicate Logic
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Failure Semantics for the Exchange of Information in Multi-Agent Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Modal Satisfiability Is in Deterministic Linear Space
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Logic of Interaction for Multiagent Systems
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A fully abstract model for the exchange of information in multi-agent systems
Theoretical Computer Science
Theoretical Computer Science
Complexity of some problems in positive and related calculi
Theoretical Computer Science - Logic and complexity in computer science
The description logic handbook
Intelligent retrieval of hypermedia documents
Intelligent exploration of the web
A model for the conversation multimodal man-machine: integration of speech and action
Proceedings of the Latin American conference on Human-computer interaction
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Formalisms for multi-agent systems
The Knowledge Engineering Review
ε-connections of abstract description systems
Artificial Intelligence
Reasoning about common knowledge with infinitely many agents
Information and Computation
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
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
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Implementing knowledge-based programs
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
The expressive power of the hierarchical approach to modeling knowledge and common knowledge
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Distributed Computing
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Knowledge updates: semantics and complexity issues
Artificial Intelligence
A computationally grounded logic of knowledge, belief and certainty
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Complexity results for logics of local reasoning and inconsistent belief
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Information and Computation - Special issue: Combining logical systems
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Computational Complexity of Multimodal Logics Based on Rough Sets
Fundamenta Informaticae
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A logical framework for identifying quality knowledge from different data sources
Decision Support Systems
Undecidability of Multi-modal Hybrid Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence
Bounded model checking for knowledge and real time
Artificial Intelligence
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A temporal epistemic logic with a reset operation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Reducing the complexity of logics for multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Quantifying over coalitions in epistemic logic
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A Tableau Method for Public Announcement Logics
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Shallow Models for Non-iterative Modal Logics
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Multimodal Separation Logic for Reasoning About Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
Exploring the Future with Resource-Bounded Agents
Journal of Logic, Language and Information
Formal Modelling of Emotions in BDI Agents
Computational Logic in Multi-Agent Systems
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Computational Logic in Multi-Agent Systems
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Modal tableaux for verifying stream authentication protocols
Autonomous Agents and Multi-Agent Systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Knowledge Management in Digital Economy
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Query Answering in Description Logics: The Knots Approach
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Complexity of contextual reasoning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Journal of Logic, Language and Information
Computational Logic in Multi-Agent Systems
The semantics of potential intentions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
An extended interpreted system model for epistemic logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
A new general method to generate random modal formulae for testing decision procedures
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Automatic verification of knowledge and time with NuSMV
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A logical account of relevance
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
CAST: collaborative agents for simulating teamwork
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
A logic for reasoning about counterfactual emotions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An agent-based approach towards automatic service composition in ambient intelligence
Artificial Intelligence Review
Believe it or not: adding belief annotations to databases
Proceedings of the VLDB Endowment
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Formal Specification and Verification of Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Perceiving environments for intelligent agents
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Partial satisfiability-based merging
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Logic-based knowledge representation
Artificial intelligence today
A survey of automated deduction
Artificial intelligence today
Taming the complexity of temporal epistemic reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Generalized modal satisfiability
Journal of Computer and System Sciences
Annals of Mathematics and Artificial Intelligence
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Propositional logic of context
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
Logic of infons: The propositional case
ACM Transactions on Computational Logic (TOCL)
Parameterized modal satisfiability
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Does treewidth help in modal satisfiability?
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A logic for reasoning about counterfactual emotions
Artificial Intelligence
Reasoning about justified belief
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Complexity of multiagent BDI logics with restricted modal context
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Seeing, knowledge and common knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An epistemic logic with hypotheses
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Public announcement logic with distributed knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
On modal logics for qualitative possibility in a fuzzy setting
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
A fibred belief logic for multi-agent systems
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
A spanning tree object-oriented distributed algorithm: specification and proof
Methods'96 Proceedings of the 1996 international conference on Methods Integration
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
A dynamic logic for privacy compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Logic and Program Semantics
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Fundamenta Informaticae - Logic, Language, Information and Computation
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
The Nondeterministic Information Logic NIL is PSPACE-complete
Fundamenta Informaticae
Computational Complexity of Multimodal Logics \newline Based on Rough Sets
Fundamenta Informaticae
The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees
Fundamenta Informaticae
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
Comparison Of Rough-Set And Interval-Set Models For Uncertain Reasoning
Fundamenta Informaticae
Fundamenta Informaticae
Building an epistemic logic for argumentation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Common knowledge and state-dependent equilibria
SAGT'12 Proceedings of the 5th international conference on Algorithmic Game Theory
Journal of Artificial Intelligence Research
Does Treewidth Help in Modal Satisfiability?
ACM Transactions on Computational Logic (TOCL)
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
An epistemic Halpern-Shoham logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |