The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Eugenia Ternovska Eugenia Ternovskaia ( http://dblp.L3S.de/Authors/Eugenia_Ternovska )

URL (Homepage):  http://www.cs.sfu.ca/~ter/  Author page on DBLP  Author page in RDF  Community of Eugenia Ternovska in ASPL-2

Publication years (Num. hits)
1994-2007 (17) 2008-2013 (16) 2014-2019 (15)
Publication types (Num. hits)
article(11) inproceedings(35) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 49 publication records. Showing 48 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Eugenia Ternovska An Algebra of Modular Systems: Static and Dynamic Perspectives. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. Search on Bibsonomy FroCos The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska, Heng Liu A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska A Semantic Approach to Combining Preference Formalisms. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Eugenia Ternovska Recent Progress on the Algebra of Modular Systems. Search on Bibsonomy AMW The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Eugenia Ternovska Lifted Relational Algebra with Recursion and Connections to Modal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska Clause-Learning for Modular Systems. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska Towards a Preference Formalism for Modular Systems. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Eugenia Ternovska An Algebra of Combined Constraint Solving. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska Modular Systems with Preferences. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Three Semantics for Modular Systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Generalized Multi-Context Systems. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Amir Aavani, Eugenia Ternovska, David G. Mitchell Problem Solving with the Enfragmo System. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Konstantin Korovin, Stephan Schulz 0001, Eugenia Ternovska (eds.) IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 Search on Bibsonomy IWIL@LPAR The full citation details ... 2013 DBLP  BibTeX  RDF
1Amir Aavani, David G. Mitchell, Eugenia Ternovska New Encoding for Translating Pseudo-Boolean Constraints into SAT. Search on Bibsonomy SARA The full citation details ... 2013 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Stephan Schulz 0001, Eugenia Ternovska (eds.) The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 Search on Bibsonomy IWIL@LPAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell Enfragmo: A System for Modelling and Solving Search Problems with Logic. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Modular Representation of a Business Process Planner. Search on Bibsonomy KiBP@KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska Solving Modular Model Expansion Tasks Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska Solving Modular Model Expansion: Case Studies. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell Grounding Formulas with Complex Terms. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska A Semantic Account for Modularity in Multi-language Modelling of Search Problems. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell Speed-Up Techniques for Negation in Grounding. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonina Kolokolova, Yongmei Liu 0001, David G. Mitchell, Eugenia Ternovska On the Complexity of Model Expansion. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska PBINT, A Logic for Modelling Search Problems Involving Arithmetic. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eugenia Ternovska, David G. Mitchell Declarative Programming of Search Problems with Built-in Arithmetic. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
1David G. Mitchell, Eugenia Ternovska Expressive power and abstraction in Essence. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
1Calvin Kai Fan Tang, Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Marc Denecker, Eugenia Ternovska Inductive situation calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Murray Patterson, Yongmei Liu 0001, Eugenia Ternovska, Arvind Gupta Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta Constructing Camin-Sokal Phylogenies Via Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Camin-Sokal, answer set programming, phylogeny, maximum parsimony
1Marc Denecker, Eugenia Ternovska A Logic for Non-Monotone Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Calvin Kai Fan Tang, Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Eugenia Ternovska Reducing Inductive Definitions to Propositional Satisfiability. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska A Framework for Representing and Solving NP Search Problems. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Calvin Kai Fan Tang, Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
1Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Eugenia Ternovska Inductive Situation Calculus. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Leila Kalantari, Eugenia Ternovska A Model Checker for Verifying ConGolog Programs. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Eugenia Ternovskaia ID-logic and the Ramification Problem for the Situation Calculus. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Eugenia Ternovskaia Automata Theory for Reasoning About Actions. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Eugenia Ternovskaia Inductive Definability and the Situation Calculus. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Eugenia Ternovskaia Interval Situation Calculus. Search on Bibsonomy KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Mikhail Soutchanski, Eugenia Ternovskaia Logical Formalization of Concurrent Actions for Multi-Agent Systems. Search on Bibsonomy ECAI Workshop on Agent Theories, Architectures, and Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license