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

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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