Open AccessA Semantical Account of Progression in the Presence of Uncertainty
Author(s) -
Vaishak Belle,
Gerhard Lakemeyer
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7858
Subject(s) - probabilistic logic , situation calculus , formalism (music) , modal logic , belief revision , modal , modal operator , computer science , action (physics) , knowledge base , epistemic modal logic , semantics (computer science) , projection (relational algebra) , calculus (dental) , base (topology) , fragment (logic) , epistemology , algebra over a field , mathematics , artificial intelligence , algorithm , pure mathematics , philosophy , programming language , art , dentistry , mathematical analysis , chemistry , visual arts , musical , quantum mechanics , medicine , physics , polymer chemistry