scientific article; zbMATH DE number 795590
From MaRDI portal
Publication:4845472
multi-agent systemcommon knowledgeknowledgetemporal reasoningdistributed systemprogram specificationlogical omniscienceformal epistemologydistributed knowledgetemporal knowledgepossible-worlds model
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01)
Recommendations
Cited in
(only showing first 100 items - show all)- PLQP \& Company: decidable logics for quantum algorithms
- Decidability: theorems and admissible rules
- Explanation in artificial intelligence: insights from the social sciences
- Byzantine agreement with homonyms
- Using knowledge to optimally achieve coordination in distributed systems
- Model-checking graded computation-tree logic with finite path semantics
- Representability in second-order propositional poly-modal logic
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Finite state implementations of knowledge-based programs (extended abstract)
- Logic meets Wigner's friend (and their friends)
- Natural language and logic of agency
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- On definitive solutions of strategic games
- Relating truth, knowledge and belief in epistemic states
- Decidability of multi-modal logic LTK of linear time and knowledge
- Towards an awareness-based semantics for security protocol analysis
- Distributed modal logic
- A paraconsistent approach to actions in informationally complex environments
- Dynamic epistemic logic with communication actions
- Characterizing common priors in the form of posteriors
- scientific article; zbMATH DE number 1529821 (Why is no real title available?)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- Knowledge updates: Semantics and complexity issues
- Logical pluralism and semantic information
- John McCarthy's legacy
- McCarthy variations in a modal key
- Towards an efficient library for SAT: A manifesto
- The truth about defaults
- Synchronizing diachronic uncertainty
- A working hypothesis for the logic of radical ignorance
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
- scientific article; zbMATH DE number 7649937 (Why is no real title available?)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
- Rationalizing epistemic bounded rationality
- On the power of automata minimization in reactive synthesis
- Model transformers for dynamical systems of dynamic epistemic logic
- Modeling reasoning in a social setting
- Axiomatization and completeness of lexicographic products of modal logics
- On logics of knowledge and belief
- Epistemic Strategies and Games on Concurrent Processes
- Justifications, Awareness and Epistemic Dynamics
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
- Mechanising first-order temporal resolution
- Constructive agents
- Simulative belief logic
- Information based reasoning about security protocols
- Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
- From DEL to EDL: Exploring the Power of Converse Events
- Generalized probabilism: Dutch books and accuracy domination
- Knowledge Qualification through Argumentation
- A model for updates in a multi-agent setting
- A modal type theory for formalizing trusted communications
- Belief change in branching time: AGM-consistency and iterated revision
- Topological modal logics satisfying finite chain conditions
- Distributed deterministic edge coloring using bounded neighborhood independence
- A dynamic solution to the problem of logical omniscience
- scientific article; zbMATH DE number 7324611 (Why is no real title available?)
- A formal characterisation of Hamblin's action-state semantics
- Efficient SAT-based minimal model generation methods for modal logic S5
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Logic and learning
- A new proof of completeness for a relative modal logic with composition and intersection
- Coordinated consensus in dynamic networks
- Multi-agent Systems and Paraconsistent Knowledge
- A sketch of a dynamic epistemic semiring
- Compact policy routing
- Two-dimensional awareness logics
- Strategic knowledge sharing in Bayesian games
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- A Hybrid Public Announcement Logic with Distributed Knowledge
- Implicit, explicit and speculative knowledge
- PDL with negation of atomic programs
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
- Bounded model checking for knowledge and real time
- Local properties in modal logic
- Neighborhood semantics for logic of knowing how
- Salience reasoning in coordination games
- Model theoretical aspects of weakly aggregative modal logic
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- Modal logics with hard diamond-free fragments
- Finite identification from the viewpoint of epistemic update
- The logic of joint ability in two-player tacit games
- Model Checking Strategic Equilibria
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Knowledge and communication: A first-order theory
- The information in intuitionistic logic
- Bayesian evidence accumulation on social networks
- Strong planning under partial observability
- Mathematical arguments and distributed knowledge
- On the core of information sharing games
- Possible worlds semantics based on observation and communication
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Common-knowledge and Bayesian equilibrium in network game
- A new approach to epistemic logic
- Small infinitary epistemic logics
- The logic of public announcements, common knowledge, and private suspicions
- Completeness for flat modal fixpoint logics
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)
