Belief revision and projection in the epistemic situation calculus

Schwering, Christoph (Corresponding author); Lakemeyer, Gerhard; Pagnucco, Maurice

Amsterdam : Elsevier (2017)
Journal Article

In: Artificial intelligence
Volume: 251
Page(s)/Article-Nr.: 62-97

Institutions

  • Department of Computer Science [120000]
  • Computer Science 5 (Knowledge-Based Systems Group) [121920]

Identifier