Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Logical foundations of agent-based computing
Mutli-agents systems and applications
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Temporalizing Epistemic Default Logic
Journal of Logic, Language and Information
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Fundamenta Informaticae
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Logical Foundations of Agent-Based Computing
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Avoiding Logical Omniscience by Using Subjective Situations
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Monodic Epistemic Predicate Logic
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Modal Logic for Network Topologies
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
On BAN Logics for Industrial Security Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Knowledge over Dense Flows of Time (from a Hybrid Point of View)
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Journal of Logic, Language and Information
The description logic handbook
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Knowledge, Rationality and Action
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Theoretical Computer Science
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Intellectual artefacts of expert systems meta-epistemology
CRPIT '03 Selected papers from conference on Computers and philosophy - Volume 37
Combining logics for modelling security policies
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A computationally grounded logic of knowledge, belief and certainty
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Awareness as a vital ingredient of teamwork
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Theoretical Computer Science
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Logics of communication and change
Information and Computation
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A quantified epistemic logic for reasoning about multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Artificial Intelligence and Law
Ontology negotiation: goals, requirements and implementation
International Journal of Agent-Oriented Software Engineering
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Fundamenta Informaticae
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
Quantifying over coalitions in epistemic logic
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Combining Normal Communication with Ontology Alignment
Agent Communication II
Can I Please Drop It? Dialogues About Belief Contraction
Agent Communication II
Justified and Common Knowledge: Limited Conservativity
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Towards a Delegation Framework for Aerial Robotic Mission Scenarios
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Towards Approximate BGI Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Topology and Knowledge of Multiple Agents
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Methodical Construction of Symbolic Diagrams
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
On BAN logic and hash functions or: how an unjustified inference rule causes problems
Autonomous Agents and Multi-Agent Systems
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Syntactic Cut-elimination for Common Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Common knowledge does not have the Beth property
Information Processing Letters
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modeling Persuasiveness: change of uncertainty through agents' interactions
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Formalising the 'No Information without Data-representation' Principle
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Knowledge forgetting: Properties and applications
Artificial Intelligence
An extended interpreted system model for epistemic logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
Automatic verification of knowledge and time with NuSMV
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
A sketch of a dynamic epistemic semiring
Information and Computation
Calibrating collective commitments
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
A verification framework for agent knowledge
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Joint conversation specification and compliance
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Electronic Notes in Theoretical Computer Science (ENTCS)
Using perseus system for modelling epistemic interactions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Group announcements: logic and games
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Becoming aware of propositional variables
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
$${\in_K}$$: a Non-Fregean Logic of Explicit Knowledge
Studia Logica
Reasoning about local properties in modal logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Using the perseus system for modelling epistemic interactions
Transactions on computational collective intelligence V
On the definability of simulability and bisimilarity by finite epistemic models
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Logics of belief over weighted structures
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
An alternative logic for knowability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Anti-prenexing and prenexing for modal logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A complete first-order temporal BDI logic for forest multi-agent systems
Knowledge-Based Systems
A dialogue game to offer an agreement to disagree
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Ordered belief fusion in possibilistic logic
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
The topological effect of improving knowledge acquisition
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A fundamental view on the process of conceptual modeling
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
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
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
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
Decision procedure for a fragment of mutual belief logic with quantified agent variables
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Local properties in modal logic
Artificial Intelligence
Book review: The Logic of Knowledge Bases
Artificial Intelligence in Medicine
Succinctness of epistemic languages
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Agents in approximate environments
Games, Actions and Social Software
Games, Actions and Social Software
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
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
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Distributed knowledge with justifications
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
Fundamenta Informaticae
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Fundamenta Informaticae
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
A logic framework to support database refactoring
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Reasoning about and discussing preferences between arguments
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verifiable equilibria in boolean games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Studia Logica
Free Quantified Epistemic Logics
Studia Logica
| Hi-index | 0.00 |
From the Publisher:Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included as well as their solutions. After presenting the necessary apparatus from mathematics and logic, the authors consider applications in the areas of common knowledge, distributed knowledge, explicit and implicit belief.