Vladimir Lifschitz

10 papers in the IJCAI proceedings

IJCAI 2013

Action Language BC: Preliminary Report

with Joohyung Lee, Fangkai Yang

Details PDF

IJCAI 2009

Symmetric Splitting in the General Theory of Stable Models

with Paolo Ferraris, Joohyung Lee, Ravi Palla

Details PDF

IJCAI 2007

A New Perspective on Stable Models

with Paolo Ferraris, Joohyung Lee

Details PDF

IJCAI 2003

Describing Additive Fluents in Action Language C+

with Joohyung Lee

Details PDF

IJCAI 1995

A Simple Formalization of Actions Using Circumscription

with G. Neelakantan Kartha

Details PDF

Dependent Fluents

with Enrico Giunchiglia

Details PDF

IJCAI 1991

Nonmonotonic Databases and Epistemic Queries

Details PDF

IJCAI 1989

Things That Change by Themselves

with Arkady Rabinov

Details PDF

IJCAI 1987

Formal Theories of Action (Preliminary Report)

Details PDF

IJCAI 1985

Computing Circumscription

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings