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)- Propositional dynamic logic with quantification over regular computation sequences
- Reprint of: Reasoning about knowledge of unawareness revisited
- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- A formal approach to the problem of logical non-omniscience
- A logic for reasoning about knowledge of unawareness
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
- Logical omniscience as infeasibility
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Uncertainty-based semantics for multi-agent knowing how logics
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- Modal-epistemic arithmetic and the problem of quantifying in
- How much does it help to know what she knows you know? An agent-based simulation study
- Faster information dissemination in dynamic networks via network coding
- Tight bounds on information dissemination in sparse mobile networks
- Automatic data-abstraction in model checking multi-agent systems
- A dynamic epistemic framework for conformant planning
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Blame it on me
- The complexity of identifying characteristic formulae
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
- A logic of intention and attempt
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
- Common-sense reasoning as proto-scientific agent activity
- Preferential reasoning for modal logics
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- Raising awareness without disclosing truth
- Group Belief
- scientific article; zbMATH DE number 2149446 (Why is no real title available?)
- Public and private communication are different: Results on relative expressivity
- scientific article; zbMATH DE number 7445170 (Why is no real title available?)
- A logical formalization of the OCC theory of emotions
- Recognition of distributed intelligence
- A nonspeculation theorem with an application to committee design
- Logical foundations of evidential reasoning with contradictory information
- Default rules in the logic of first-degree entailments
- Modelling sources of inconsistent information in paraconsistent modal logic
- Non-primitive recursive decidability of products of modal logics with expanding domains
- An algorithmic impossible-worlds model of belief and knowledge
- Dealing with logical omniscience: expressiveness and pragmatics
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
- Resilience of mutual exclusion algorithms to transient memory faults
- Reasoning about knowledge and probability
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- CoCon: a conference management system with formally verified document confidentiality
- From the knowability paradox to the existence of proofs
- The problem of rational knowledge
- Logics of informational interactions
- Uniform strategies, rational relations and jumping automata
- Practical extraction of evidence terms from common-knowledge reasoning
- Epistemic logic without closure
- The logic of fast and slow thinking
- Mind the divide surrounding knowledge representation
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Quantified temporal alethic boulesic doxastic logic
- The logic of Pit
- A hybrid logic for reasoning about knowledge and topology
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Rosenkranz's logic of justification and unprovability
- Information flow in logic for distributed systems: extending graded consequence
- Some forms of collectively bringing about or `seeing to it that'
- Conflict resolution in multi-agent systems with typed relations for ontology population
- A positive information logic for inferential information
- Reasoning about data and information. Abstraction between states and commodities
- Populational announcement logic (PPAL)
- A public announcement separation logic
- Representing any-time and program-iteration by infinitary conjunction
- Knowledge and common knowledge in a distributed environment
- Cut-free common knowledge
- scientific article; zbMATH DE number 1497792 (Why is no real title available?)
- A logic of goal-directed knowing how
- An epistemic logic of blameworthiness
- scientific article; zbMATH DE number 7450021 (Why is no real title available?)
- Dynamic hyperintensional belief revision
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Egocentric doxastic logic
- Deduction chains for common knowledge
- Dynamic modal logic with counting: when reduction axioms work and fail
- Modal and justification logics for multi-agent systems (invited talk)
- Model Checking Information Flow in Reactive Systems
- Memory and perfect recall in extensive games
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Clausal resolution in a logic of rational agency
- One head is better than two: a polynomial restriction for propositional definite Horn forgetting
- The ghosts of forgotten things: a study on size after forgetting
- Intuitionistic public announcement logic with distributed knowledge
- A formal analysis of Hollis' paradox
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
- Adaptively secure broadcast, revisited
- Logic and Game Theory
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- A poor man's epistemic logic based on propositional assignment and higher-order observation
- On ambiguities in the interpretation of game trees
- Combined model checking for temporal, probabilistic, and real-time logics
- Being realistic about common knowledge: a lewisian approach
- An omniscience-free temporal logic of knowledge for verifying authentication protocols
- Multiagent temporal logics, unification problems, and admissibilities
- Belief ascription under bounded resources
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)
