scientific article; zbMATH DE number 795590
From MaRDI portal
Publication:4845472
common knowledgedistributed knowledgedistributed systemformal epistemologyknowledgelogical omnisciencemulti-agent systempossible-worlds modelprogram specificationtemporal knowledgetemporal reasoning
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Recommendations
Cited in
(only showing first 100 items - show all)- Knowledge condition games
- On combinations of propositional dynamic logic and doxastic modal logics
- A hybrid logic for reasoning about knowledge and topology
- Learning to apply theory of mind
- Epistemic logic for rule-based agents
- Diversity of agents and their interaction
- A logic of situated resource-bounded agents
- Information structures with unawareness
- Public and private communication are different: Results on relative expressivity
- Syntactic cut-elimination for common knowledge
- From Hilbert's program to a logic tool box
- Bounded model checking for knowledge and real time
- A logical formalization of the OCC theory of emotions
- Dynamic epistemic logic with branching temporal structures
- Introspective forgetting
- Extending probabilistic dynamic epistemic logic
- Verifying time, memory and communication bounds in systems of reasoning agents
- Keep `hoping' for rationality: a solution to the backward induction paradox
- Reasoning about knowledge of unawareness
- Merging frameworks for interaction
- Knowledge forgetting: properties and applications
- A class of decidable information logics
- On the knowledge requirements of tasks
- A decidable temporal logic of parallelism
- Reasoning about reasoning in a meta-level architecture
- Iterative and fixed point common belief
- A model of reasoning about knowledge
- Using knowledge to optimally achieve coordination in distributed systems
- View-based explicit knowledge
- Common knowledge revisited
- Assessing the truth axiom under incomplete information
- On the logic and role of negative introspection of common belief
- Distributed games
- A non-minimal but very weak axiomatization of common belief
- On indepedence for non-additive measures, with a Fubini theorem
- On ambiguities in the interpretation of game trees
- The absent-minded driver's paradox: Synthesis and responses
- Belief closure: A semantics of common knowledge for modal propositional logic
- Common knowledge and update in finite environments
- Modeling belief in dynamic systems. I: Foundations
- Representations and solutions for game-theoretic problems
- Modeling agents as qualitative decision makers
- Dynamic reasoning with qualified syllogisms
- A computer scientist looks at game theory.
- Mathematical modal logic: A view of its evolution
- An alternative characterization of a Bayesian network.
- Characterizing common priors in the form of posteriors
- EXPtime tableaux for ALC
- Decidable fragments of first-order temporal logics
- Clausal resolution in a logic of rational agency
- Multiagent temporal logics with multivaluations
- Rethinking knowledge. The heuristic view
- A complete coalition logic of temporal knowledge for multi-agent systems
- Computation as social agency: what, how and who
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
- Formal reasoning in preference-based multiple-source rough set model
- Resolving distributed knowledge
- Belief revision and projection in the epistemic situation calculus
- Introspective unawareness and observable choice
- Quantification in some non-normal modal logics
- Dynamic intransitive noninterference revisited
- Constructive agents
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- The fragility of common knowledge
- Impossible worlds and the logic of imagination
- Logic for describing strong belief-disagreement between agents
- On a new tentative solution to Fitch's paradox
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Together we know how to achieve: an epistemic logic of know-how
- A first-order coalition logic for BDI-agents
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- Second-order propositional modal logic: expressiveness and completeness results
- An omniscience-free temporal logic of knowledge for verifying authentication protocols
- Propositional epistemic logics with quantification over agents of knowledge
- Implicit, explicit and speculative knowledge
- Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
- Parameterized modal satisfiability
- Local properties in modal logic
- Interactions between knowledge, action and commitment within agent dynamic logic
- On the logical unsolvability of the Gettier problem
- About cut elimination for logics of common knowledge
- On the nonexistence of universal information structures
- Towards reasoning about Petri nets: a propositional dynamic logic based approach
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Group knowledge is not always distributed (neither is it always implicit)
- A note on rough sets and common knowledge events
- Strong completeness theorems for weak logics of common belief
- A general approach to multi-agent minimal knowledge: With tools and samples
- Characterizing the common prior assumption.
- Strong belief and forward induction reasoning.
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Memory and perfect recall in extensive games
- Dynamic interactive epistemology
- Hypersets and dynamics of knowledge
- Recognition of distributed intelligence
- Reasoning-based introspection
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
- Security invariants in discrete transition systems
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845472)
