scientific article; zbMATH DE number 5734950

MaRDI QIDQ3574475zbMATH OpenFDO

Authors Jan van Eijck

Publication date 9 July 2010

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Modeling truly dynamic epistemic scenarios in a partial version of DEL
• An epistemic model of logic programming
• Models and modeling in formal epistemology: some thoughts on probability aggregation
• Some remarks on the model theory of epistemic plausibility models
• A formal model of epistemic coherence

Cited in

(14)

• Software tool support for modular reasoning in modal logics of actions
• Verification and strategy synthesis for coalition announcement logic
• scientific article; zbMATH DE number 7445170 (Why is no real title available?)
• Propositional Dynamic Logic as a Logic of Belief Revision
• DEMO
• Getting Demos models right. (II) … and theory
• Aximo: automated axiomatic reasoning for information update
• A cut-free labelled sequent calculus for dynamic epistemic logic
• Program semantics and verification technique for AI-centred programs
• The language of social software
• On two- and three-valued semantics for impure simplicial complexes
• A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
• Logic and social cognition. The facts matter, and so do computational models

Describes a project that uses

Uses Software

• Graphviz
• Haskell

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 Q3574475)