BDD-based reasoning in the fluent calculus - first results

Simple item page
dc.creatorHoelldobler, Steffen
dc.creatorStoerr, Hans-Peter
dc.date2000-03-09
dc.date.accessioned2026-07-07T03:16:03Z
dc.date.available2026-07-07T03:16:03Z
dc.descriptionThe paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision diagrams. After reporting on an initial experiment showing promising results we discuss our findings concerning various techniques and heuristics used to speed up the reasoning process.
dc.description9 pages; Workshop on Nonmonotonic Reasoning 2000 (NMR 2000)
dc.identifierhttps://arxiv.org/abs/cs/0003047
dc.identifierhttp://arxiv.org/abs/cs/0003047
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30207
dc.subjectArtificial Intelligence
dc.subjectI.2.8; I.2.3; F.4.1
dc.titleBDD-based reasoning in the fluent calculus - first results
dc.typetext

Files

Collections

arXiv