Disjunction in Resource-Oriented Deductive Planning
From International Center for Computational Logic
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
Disjunction in Resource-Oriented Deductive Planning
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 670, 1993
- 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}
}