Searching for authors named "Eugenia Ternovska" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
A Logic of Non-Monotone Inductive Definitions and its Modularity Properties
- … and Eugenia Ternovska 2 1 Department of Computer Science, K.U.Leuven, Belgium marcd@(email omitted); 2…
- Cited by 27 (18 self) – Add To MetaCart
-
Constraint programming with unrestricted quantification
- …Constraint Programming with Unrestricted Quantification David Mitchell and Eugenia Ternovska…
- Cited by 1 (1 self) – Add To MetaCart
-
Reducing inductive definitions to propositional satisfiability
- …Reducing Inductive Definitions to Propositional Satisfiability Nikolay Pelov and Eugenia Ternovska…
- Cited by 5 (3 self) – Add To MetaCart
-
Inductive Situation Calculus
- …Inductive Situation Calculus Marc Denecker a Eugenia Ternovska b a Department of Computer Science…
- Cited by 17 (10 self) – Add To MetaCart
-
A logic of non-monotone inductive definitions
- …A Logic of Non-Monotone Inductive Definitions MARC DENECKER K.U.Leuven, Belgium EUGENIA TERNOVSKA…
- Cited by 7 (6 self) – Add To MetaCart
-
Complexity of expanding a finite structure and related tasks
- …, David Mitchell, Eugenia Ternovska August 7, 2006 Abstract The authors of [MT05] proposed a declarative…
- Cited by 3 (3 self) – Add To MetaCart
-
Grounding for model expansion in k-guarded formulas with inductive definitions
- …, Yongmei Liu, Eugenia Ternovska, Arvind Gupta School of Computing Science Simon Fraser University, Canada…
- Cited by 5 (3 self) – Add To MetaCart
-
Model Expansion as a Framework for Modelling and Solving Search Problems
- … Technical Report TR 2006-24 DAVID MITCHELL, EUGENIA TERNOVSKA, FARAZ HACH, RAHELEH MOHEBALI Simon Fraser…
- Cited by 1 (1 self) – Add To MetaCart
-
Declarative Programming of Search Problems with Built-in Arithmetic
- …Declarative Programming of Search Problems with Built-in Arithmetic Eugenia Ternovska and David G…
- Add To MetaCart
-
Marc Denecker
- ….U.Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium email: marcd@(email omitted); Eugenia Ternovska School…
- Add To MetaCart
Showing 1 through 10.
