Search Sciweavers | Sciweavers

100 search results - page 1 / 20

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

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

13 years 10 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

13 years 10 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

13 years 6 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

13 years 6 months ago