| 2008 |
|---|
| 19 | EE | Marc Denecker,
Eugenia Ternovska:
A logic of nonmonotone inductive definitions.
ACM Trans. Comput. Log. 9(2): (2008) |
| 18 | EE | David G. Mitchell,
Eugenia Ternovska:
Expressive power and abstraction in Essence.
Constraints 13(3): 343-384 (2008) |
| 2007 |
|---|
| 17 | EE | Murray Patterson,
Yongmei Liu,
Eugenia Ternovska,
Arvind Gupta:
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.
IJCAI 2007: 161-166 |
| 16 | EE | Marc Denecker,
Eugenia Ternovska:
Inductive situation calculus.
Artif. Intell. 171(5-6): 332-360 (2007) |
| 15 | EE | Calvin Kai Fan Tang,
Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming.
Fundam. Inform. 77(1-2): 105-141 (2007) |
| 2006 |
|---|
| 14 | EE | Jonathan Kavanagh,
David G. Mitchell,
Eugenia Ternovska,
Ján Manuch,
Xiaohong Zhao,
Arvind Gupta:
Constructing Camin-Sokal Phylogenies Via Answer Set Programming.
LPAR 2006: 452-466 |
| 2005 |
|---|
| 13 | | David G. Mitchell,
Eugenia Ternovska:
A Framework for Representing and Solving NP Search Problems.
AAAI 2005: 430-435 |
| 12 | EE | Calvin Kai Fan Tang,
Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming.
Abstract State Machines 2005: 397-416 |
| 11 | EE | Nikolay Pelov,
Eugenia Ternovska:
Reducing Inductive Definitions to Propositional Satisfiability.
ICLP 2005: 221-234 |
| 10 | EE | Calvin Kai Fan Tang,
Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming.
LPAR 2005: 443-458 |
| 9 | EE | Marc Denecker,
Eugenia Ternovska:
A Logic for Non-Monotone Inductive Definitions
CoRR abs/cs/0501025: (2005) |
| 2004 |
|---|
| 8 | | Marc Denecker,
Eugenia Ternovska:
Inductive Situation Calculus.
KR 2004: 545-553 |
| 7 | EE | Marc Denecker,
Eugenia Ternovska:
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.
LPNMR 2004: 47-60 |
| 2002 |
|---|
| 6 | | Leila Kalantari,
Eugenia Ternovska:
A Model Checker for Verifying ConGolog Programs.
AAAI/IAAI 2002: 953-954 |
| 2000 |
|---|
| 5 | | Eugenia Ternovskaia:
ID-logic and the Ramification Problem for the Situation Calculus.
ECAI 2000: 563-570 |
| 1999 |
|---|
| 4 | | Eugenia Ternovskaia:
Automata Theory for Reasoning About Actions.
IJCAI 1999: 153-159 |
| 1998 |
|---|
| 3 | EE | Eugenia Ternovskaia:
Inductive Definability and the Situation Calculus.
Transactions and Change in Logic Databases 1998: 227-248 |
| 1994 |
|---|
| 2 | | Mikhail Soutchanski,
Eugenia Ternovskaia:
Logical Formalization of Concurrent Actions for Multi-Agent Systems.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 129-144 |
| 1 | | Eugenia Ternovskaia:
Interval Situation Calculus.
KI 1994: 400 |
