Search Results for author:
Found 5 papers, 0 papers with code
Using Symmetries to Lift Satisfiability Checking
Thus, we propose a 2-step novel method: (i) the sentence to be satisfied is automatically translated into an equisatisfiable sentence over a ``lifted'' vocabulary that allows domain compression; (ii) satisfiability of the lifted sentence is checked by growing the (initially unknown) compressed domain until a satisfying structure is found.
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettled.
Justifications and a Reconstruction of Parity Game Solving Algorithms
Parity games are infinite two-player games played on directed graphs.
Logic in Computer Science
A MIP Backend for the IDP System
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver.
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
This paper provides a gentle introduction to problem solving with the IDP3 system.
