Eugenia Ternovskaia
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Marc Denecker | [7] [8] [9] [16] [19] |
2 | Arvind Gupta | [14] [17] |
3 | Leila Kalantari | [6] |
4 | Jonathan Kavanagh | [14] |
5 | Yongmei Liu | [17] |
6 | Ján Manuch | [14] |
7 | David G. Mitchell | [13] [14] [18] |
8 | Murray Patterson | [17] |
9 | Nikolay Pelov | [11] |
10 | Mikhail Soutchanski | [2] |
11 | Calvin Kai Fan Tang | [10] [12] [15] |
12 | Xiaohong Zhao | [14] |