Soundness and Completeness of a Logic Programming Approach to Default Logic

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/AntoniouL94, title={Soundness and Completeness of a Logic Programming Approach to Default Logic}, pages={934-939}, year={1994}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai94-2.html#AntoniouL94}, author={Grigoris Antoniou and Elmar Langetepe} }\end{bibtex}

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