Eugenia Ternovska

Eugenia Ternovskaia

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

Coauthor Index

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] [20]
8	Murray Patterson	[17]
9	Nikolay Pelov	[11]
10	Mikhail Soutchanski	[2]
11	Calvin Kai Fan Tang	[10] [12] [15]
12	Xiaohong Zhao	[14]

Colors in the list of coauthors