The following pages link to Eugenia Ternovska (Q941819):
Displayed 20 items.
- Expressive power and abstraction in Essence (Q941820) (← links)
- Inductive situation calculus (Q1028914) (← links)
- A language-independent framework for reasoning about preferences for declarative problem solving (Q2180217) (← links)
- An algebra of modular systems: static and dynamic perspectives (Q2180219) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Speed-Up Techniques for Negation in Grounding (Q3066087) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- Clause-Learning for Modular Systems (Q3449228) (← links)
- Propagators and Solvers for the Algebra of Modular Systems (Q4645738) (← links)
- On the Complexity of Model Expansion (Q4933324) (← links)
- PBINT, A Logic for Modelling Search Problems Involving Arithmetic (Q4933335) (← links)
- A logic of nonmonotone inductive definitions (Q5277803) (← links)
- (Q5294160) (← links)
- Model Checking Abstract State Machines with Answer Set Programming (Q5387857) (← links)
- Constructing Camin-Sokal Phylogenies Via Answer Set Programming (Q5387911) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424863) (← links)
- Logic Programming (Q5475780) (← links)
- (Q5740450) (← links)
- (Q5874357) (← links)
- Inputs, Outputs, and Composition in the Logic of Information Flows (Q6082230) (← links)