dblp.uni-trier.dewww.uni-trier.de

Eugenia Ternovska Vis

Eugenia Ternovskaia

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
20EEEugenia Ternovska, David G. Mitchell: Declarative Programming of Search Problems with Built-in Arithmetic. IJCAI 2009: 942-947
2008
19EEMarc Denecker, Eugenia Ternovska: A logic of nonmonotone inductive definitions. ACM Trans. Comput. Log. 9(2): (2008)
18EEDavid G. Mitchell, Eugenia Ternovska: Expressive power and abstraction in Essence. Constraints 13(3): 343-384 (2008)
2007
17EEMurray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta: Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI 2007: 161-166
16EEMarc Denecker, Eugenia Ternovska: Inductive situation calculus. Artif. Intell. 171(5-6): 332-360 (2007)
15EECalvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Fundam. Inform. 77(1-2): 105-141 (2007)
2006
14EEJonathan 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
12EECalvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines 2005: 397-416
11EENikolay Pelov, Eugenia Ternovska: Reducing Inductive Definitions to Propositional Satisfiability. ICLP 2005: 221-234
10EECalvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. LPAR 2005: 443-458
9EEMarc 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
7EEMarc 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
3EEEugenia 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

Coauthor Index

1Marc Denecker [7] [8] [9] [16] [19]
2Arvind Gupta [14] [17]
3Leila Kalantari [6]
4Jonathan Kavanagh [14]
5Yongmei Liu [17]
6Ján Manuch [14]
7David G. Mitchell [13] [14] [18] [20]
8Murray Patterson [17]
9Nikolay Pelov [11]
10Mikhail Soutchanski [2]
11Calvin Kai Fan Tang [10] [12] [15]
12Xiaohong Zhao [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)