Vladimir Lifschitz

Department of Computer Science , Univeristy of Texas at Austin

10 papers in the IJCAI proceedings

IJCAI 2013

Action Language BC: Preliminary Report

with Joohyung Lee, Fangkai Yang

Details PDF

Symmetric Splitting in the General Theory of Stable Models

with Paolo Ferraris, Joohyung Lee, Ravi Palla

Details PDF

A New Perspective on Stable Models

with Paolo Ferraris, Joohyung Lee

Details PDF

Describing Additive Fluents in Action Language C+

with Joohyung Lee

Details PDF

A Simple Formalization of Actions Using Circumscription

with G. Neelakantan Kartha

Details PDF

Dependent Fluents

with Enrico Giunchiglia

Details PDF

Nonmonotonic Databases and Epistemic Queries

Details PDF

Things That Change by Themselves

with Arkady Rabinov

Details PDF

Formal Theories of Action (Preliminary Report)

Details PDF

Computing Circumscription

Details PDF