Nested expressions in logic programs (1999)

Cached

Download Links

by Vladimir Lifschitz
Venue:Annals of Mathematics and Artificial Intelligence
Citations:112 - 13 self

Active Bibliography

Nested Expressions in Logic Programs (Extended Abstract) – Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
62 Declarative Problem-Solving Using the DLV System – Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Chapter 7 Answer Sets – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Michael Gelfond
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
32 Sat-based answer set programming – Enrico Giunchiglia, Yuliya Lierler, Marco Maratea - 2004
63 Representing Knowledge in A-Prolog – Michael Gelfond
1 WASP WP3 Report: Language Extensions and Software Engineering for ASP – Ilkka Niemelä
80 Reasoning Agents In Dynamic Domains – Chitta Baral, Michael Gelfond - 2000
50 Representing Transition Systems by Logic Programs – Vladimir Lifschitz, Hudson Turner - 1999
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
137 Answer Set Programming and Plan Generation – Vladimir Lifschitz - 2002
54 Action Languages, Answer Sets and Planning – Vladimir Lifschitz - 1999
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
154 Answer Set Planning – Vladimir Lifschitz
267 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
21 Super Logic Programs – Stefan Brass, Jürgen Dix, Teodor C. Przymusinski - 1996
3 A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses – Tomi Janhunen - 2003
16 Some (in)translatability results for normal logic programs and propositional theories – Tomi Janhunen - 2006