UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Foundations of Logic Programming (1996)
Vladimir Lifschitz
This is a survey of the theory of logic programs with classical negation and negation as failure. The semantics of this class of programs is based on the notion of an answer set. The operation of Prolog is described in terms of proof search in the SLDNF calculus.
View:
PS
Citation:
In
Principles of Knowledge Representation
, Brewka, Gerhard (Eds.), pp. 69-128 1996. CSLI Publications.
Bibtex:
@INCOLLECTION{lif96b, title={Foundations of Logic Programming}, author={Vladimir Lifschitz }, booktitle={Principles of Knowledge Representation}, editor={Brewka, Gerhard}, publisher={CSLI Publications}, pages={69-128}, url="http://www.cs.utexas.edu/users/ai-lab?lif96b", year={1996} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Mathematical Foundations
Nonmonotonic Reasoning