Ternovska, Eugenia

A language-independent framework for reasoning about preferences for declarative problem solving

Arithmetic and Modularity in Declarative Languages for Knowledge Representation

Constraint programming solutions to LogicQL program verification and system resilience problems

Enfragmo: A System for Grounding Extended First-Order Logic to SAT