Eugenia Ternovskaia

4 papers in the IJCAI proceedings

IJCAI 2015

Modular Systems with Preferences

with Alireza Ensan

Details PDF

IJCAI 2009

Declarative Programming of Search Problems with Built-in Arithmetic

with David G. Mitchell

Details PDF

IJCAI 2007

Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions

with Murray Patterson, Yongmei Liu, Arvind Gupta

Details PDF

IJCAI 1999

Automata Theory for Reasoning About Actions

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings