BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
Aus International Center for Computational Logic
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
Steffen HölldoblerSteffen Hölldobler, Hans--Peter StörrHans--Peter Störr
![BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Steffen Hölldobler, Hans--Peter Störr
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000), April 2000
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000), April 2000
- Bemerkung: Note: (was Technical Report WV-2000-01)
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@incollection{HS2000,
author = {Steffen H{\"{o}}lldobler and Hans--Peter St{\"{o}}rr},
title = {BDD-based Reasoning in the Fluent Calculus {\textendash} First
Results (Extended Abstract)},
booktitle = {8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000)},
year = {2000},
month = {April}
}