Eugenia Ternovska

Eugenia Ternovskaia

	2012
c21		Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell: Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR 2012: 15-22
	2011
c20		Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell: Grounding Formulas with Complex Terms. Canadian Conference on AI 2011: 13-25
c19		Shahab Tasharrofi, Eugenia Ternovska: A Semantic Account for Modularity in Multi-language Modelling of Search Problems. FroCoS 2011: 259-274
i2		Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska: Solving Modular Model Expansion Tasks. CoRR abs/1109.0583 (2011)
	2010
c18		Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell: Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) 2010: 13-26
c17		Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska: On the Complexity of Model Expansion. LPAR (Yogyakarta) 2010: 447-458
c16		Shahab Tasharrofi, Eugenia Ternovska: PBINT, A Logic for Modelling Search Problems Involving Arithmetic. LPAR (Yogyakarta) 2010: 610-624
	2009
c15		Eugenia Ternovska, David G. Mitchell: Declarative Programming of Search Problems with Built-in Arithmetic. IJCAI 2009: 942-947
	2008
j4		David G. Mitchell, Eugenia Ternovska: Expressive power and abstraction in Essence. Constraints 13(3): 343-384 (2008)
j3		Marc Denecker, Eugenia Ternovska: A logic of nonmonotone inductive definitions. ACM Trans. Comput. Log. 9(2) (2008)
	2007
j2		Marc Denecker, Eugenia Ternovska: Inductive situation calculus. Artif. Intell. 171(5-6): 332-360 (2007)
j1		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Fundam. Inform. 77(1-2): 105-141 (2007)
c14		Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta: Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI 2007: 161-166
	2006
c13		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
c12		David G. Mitchell, Eugenia Ternovska: A Framework for Representing and Solving NP Search Problems. AAAI 2005: 430-435
c11		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines 2005: 397-416
c10		Nikolay Pelov, Eugenia Ternovska: Reducing Inductive Definitions to Propositional Satisfiability. ICLP 2005: 221-234
c9		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. LPAR 2005: 443-458
i1		Marc Denecker, Eugenia Ternovska: A Logic for Non-Monotone Inductive Definitions. CoRR abs/cs/0501025 (2005)
	2004
c8		Marc Denecker, Eugenia Ternovska: Inductive Situation Calculus. KR 2004: 545-553
c7		Marc Denecker, Eugenia Ternovska: A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. LPNMR 2004: 47-60
	2002
c6		Leila Kalantari, Eugenia Ternovska: A Model Checker for Verifying ConGolog Programs. AAAI/IAAI 2002: 953-954
	2000
c5		Eugenia Ternovskaia: ID-logic and the Ramification Problem for the Situation Calculus. ECAI 2000: 563-570
	1999
c4		Eugenia Ternovskaia: Automata Theory for Reasoning About Actions. IJCAI 1999: 153-159
	1998
c3		Eugenia Ternovskaia: Inductive Definability and the Situation Calculus. Transactions and Change in Logic Databases 1998: 227-248
	1994
c2		Mikhail Soutchanski, Eugenia Ternovskaia: Logical Formalization of Concurrent Actions for Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 129-144
c1		Eugenia Ternovskaia: Interval Situation Calculus. KI 1994: 400

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 22:08:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page