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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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)


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