Knowledge-based programs with defaults in a modal situation calculus
From MaRDI portal
Publication:4576249
DOI10.3233/978-1-61499-672-9-1309zbMath1403.68258OpenAlexW2578170406MaRDI QIDQ4576249
Publication date: 12 July 2018
Full work available at URL: http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#ClassenN16
Related Items (1)
This page was built for publication: Knowledge-based programs with defaults in a modal situation calculus