Disjunction in Resource-Oriented Deductive Planning

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

Toggle side column

Disjunction in Resource-Oriented Deductive Planning

Stefan BrüningStefan Brüning,  Steffen HölldoblerSteffen Hölldobler,  Josef SchneebergerJosef Schneeberger,  Ute SigmundUte Sigmund,  Michael ThielscherMichael Thielscher
Disjunction in Resource-Oriented Deductive Planning


Stefan Brüning, Steffen Hölldobler, Josef Schneeberger, Ute Sigmund, Michael Thielscher
Disjunction in Resource-Oriented Deductive Planning
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 670, 1993
@inproceedings{BHSST1993,
  author    = {Stefan Br{\"{u}}ning and Steffen H{\"{o}}lldobler and Josef
               Schneeberger and Ute Sigmund and Michael Thielscher},
  title     = {Disjunction in Resource-Oriented Deductive Planning},
  editor    = {D. Miller},
  booktitle = {Proceedings of the International Logic Programming Symposium},
  year      = {1993},
  pages     = {670}
}