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)- A logic of situated resource-bounded agents
- Diversity of agents and their interaction
- Knowledge condition games
- scientific article; zbMATH DE number 1759385 (Why is no real title available?)
- Iterated Belief Revision in the Face of Uncertain Communication
- An action language for multi-agent domains
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
- scientific article; zbMATH DE number 4176498 (Why is no real title available?)
- An epistemic probabilistic logic with conditional probabilities
- Modal logics with relative accessibility relations
- A resolution-based proof method for temporal logics of knowledge and belief
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- Flavors of sequential information flow
- Distributed deterministic edge coloring using bounded neighborhood independence
- Modeling reasoning in a social setting
- From Hilbert's program to a logic tool box
- Logical-epistemic foundations of general game descriptions
- Knowledge in multiagent systems: initial configurations and broadcast
- Reasoning about reasoning in a meta-level architecture
- Relating semantics for epistemic logic
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Why bother with syntax?
- An alternative characterization of a Bayesian network.
- From DEL to EDL: Exploring the Power of Converse Events
- A class of decidable information logics
- On the knowledge requirements of tasks
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Impossible worlds and the logic of imagination
- Reasoning about Knowledge and Belief: A Syntactical Treatment
- Common knowledge revisited
- On the logic and role of negative introspection of common belief
- View-based explicit knowledge
- Agents, objects and events. A computational approach to knowledge, observation and communication
- Reasoning about rationality
- Known unknowns: time bounds and knowledge of ignorance
- Constructive agents
- Modeling agents as qualitative decision makers
- Clausal resolution in a logic of rational agency
- Logic and learning
- A note on knowledge-based programs and specifications
- A communication algorithm for teamwork in multi-agent environments
- A logic for belief contraction
- The logic of Pit
- Dynamic hyperintensional belief revision
- Free quantified epistemic logics
- Substructural epistemic logics
- A computationally grounded logic of graded belief
- Iterative and fixed point common belief
- A model of reasoning about knowledge
- The power of knowledge in games
- A non-minimal but very weak axiomatization of common belief
- scientific article; zbMATH DE number 3883646 (Why is no real title available?)
- A computer scientist looks at game theory.
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Comments to `Logics of public communications'
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
- Decidable Extensions of Hennessy-Milner Logic
- scientific article; zbMATH DE number 3930375 (Why is no real title available?)
- A hybrid logic for reasoning about knowledge and topology
- Continuous Consensus with Failures and Recoveries
- Quantified temporal alethic boulesic doxastic logic
- Rosenkranz's logic of justification and unprovability
- Some forms of collectively bringing about or `seeing to it that'
- A positive information logic for inferential information
- Standard state space models of unawareness (extended abstract)
- Reasoning about data and information. Abstraction between states and commodities
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
- Knowledge means ‘all’, belief means ‘most’
- Common knowledge does not have the Beth property
- Unification in epistemic logics
- Toward an epistemic-logical theory of categorization
- Model Checking Information Flow in Reactive Systems
- Belief ascription under bounded resources
- A general approach to multi-agent minimal knowledge: With tools and samples
- Representations and solutions for game-theoretic problems
- A public announcement separation logic
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Structuring unreliable radio networks
- Interactions between knowledge, action and commitment within agent dynamic logic
- On the nonexistence of universal information structures
- On the unusual effectiveness of logic in computer science
- Introspective unawareness and observable choice
- Connectionist modal logic: representing modalities in neural networks
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Possibilistic reasoning with partially ordered beliefs
- Decidability of logics based on an indeterministic metric tense logic
- Verifying time, memory and communication bounds in systems of reasoning agents
- Relativized common knowledge for dynamic epistemic logic
- scientific article; zbMATH DE number 67445 (Why is no real title available?)
- A dynamic logic of interrogative inquiry
- A model for updates in a multi-agent setting
- Relating truth, knowledge and belief in epistemic states
- Adaptively secure broadcast, revisited
- Reprint of: Reasoning about knowledge of unawareness revisited
- A logical characterisation of qualitative coalitional games
- Security invariants in discrete transition systems
- A logic for reasoning about knowledge of unawareness
- Strong completeness theorems for weak logics of common belief
- Epistemic Strategies and Games on Concurrent Processes
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)
