Search Sciweavers | Sciweavers

100 search results - page 1 / 20

» Logic Programs with Abstract Constraint Atoms: The Role of C...

Voted

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 4 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

click to vote

LPNMR
2005
Springer

112views Automated Reasoning» more LPNMR 2005»

Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers

15 years 3 months ago

Download www.cs.uky.edu

Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...

Lengning Liu, Miroslaw Truszczynski

claim paper

Read More »

click to vote

AAAI
2004

111views Intelligent Agents» more AAAI 2004»

Logic Programs with Abstract Constraint Atoms

14 years 11 months ago

Download www.aaai.org

We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...

Victor W. Marek, Miroslaw Truszczynski

claim paper

Read More »

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

14 years 11 months ago