19 citations · 55 across the 10 of their papers we have counts for
10 papers
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF f…
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and…
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
A fact apparently not observed earlier in the literature of nonmonotonic reasoning is that Reiter, in his default logic paper, did not directly formalize informal defaults. Instead…
Logic programs with monotone cardinality atoms
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…
Ultimate approximations in nonmonotonic knowledge representation systems
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
We study fixpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sh…
Annotated revision programs
Victor Marek, Inna Pivkina, Miroslaw Truszczynski
Revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms.…