Forgetting and Conflict Resolving in Disjunctive Logic Programming

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/EiterW06, title={Forgetting and Conflict Resolving in Disjunctive Logic Programming}, year={2006}, crossref={DBLP:conf/aaai/2006}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2006.html#EiterW06}, author={Thomas Eiter and Kewen Wang} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Forgetting_and_Conflict_Resolving_in_Disjunctive_Logic_Programming"
Personal tools