BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)

Steffen HölldoblerSteffen Hölldobler, Hans--Peter StörrHans--Peter Störr

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

Details
Bibtex

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}
}