Proceedings

Joohyung Lee

Arizona State University , Tempe , AZ , USA; Samsung Research , Seoul , South Korea

10 papers in the IJCAI proceedings

IJCAI 2020

NeurASP: Embracing Neural Networks into Answer Set Programming
with Zhun Yang, Adam Ishay
doi:10.24963/ijcai.2020/243
Details PDF

IJCAI 2013

Action Language BC: Preliminary Report
with Vladimir Lifschitz, Fangkai Yang
Details PDF
Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
with Yunsong Meng
Details PDF
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
with Michael Bartholomew
Details PDF

IJCAI 2011

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription
with Michael Bartholomew, Yunsong Meng
doi:10.5591/978-1-57735-516-8/IJCAI11-128
Details PDF

IJCAI 2009

Circumscriptive Event Calculus as Answer Set Programming
with Tae-Won Kim, Ravi Palla
Details PDF
Symmetric Splitting in the General Theory of Stable Models
with Paolo Ferraris, Vladimir Lifschitz, Ravi Palla
Details PDF

IJCAI 2007

A New Perspective on Stable Models
with Paolo Ferraris, Vladimir Lifschitz
Details PDF

IJCAI 2005

A Model-Theoretic Counterpart of Loop Formulas
Details PDF

IJCAI 2003

Describing Additive Fluents in Action Language C+
with Vladimir Lifschitz
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards