141 citations · 303 across the 30 of their papers we have counts for
3 papers · 2 filters
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
Liu Liu, Miroslaw Truszczynski
It is common for search and optimization problems to have alternative equivalent encodings in ASP. Typically none of them is uniformly better than others when evaluated on broad cl…
Beyond NP: Quantifying over Answer Sets
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems i…
The informal semantics of Answer Set Programming: A Tarskian perspective
Marc Denecker, Yuliya Lierler, Miroslaw truszczynski +1
In Knowledge Representation, it is crucial that knowledge engineers have a good understanding of the formal expressions that they write. What formal expressions state intuitively a…