scientific article
From MaRDI portal
Publication:3574475
zbMath1196.68260MaRDI QIDQ3574475
Publication date: 9 July 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (8)
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ The language of social software ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ Program semantics and verification technique for AI-centred programs ⋮ Unnamed Item ⋮ DEMO ⋮ Verification and strategy synthesis for coalition announcement logic
Uses Software
This page was built for publication:
