Sciweavers

Share
197 search results - page 1 / 40
» Logic Programs with Abstract Constraint Atoms
Sort
View
AAAI
2004
9 years 8 months ago
Logic Programs with Abstract Constraint Atoms
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
ICLP
2007
Springer
10 years 1 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
CORR
2006
Springer
126views Education» more  CORR 2006»
9 years 7 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
LPNMR
2009
Springer
10 years 1 months ago
A Default Approach to Semantics of Logic Programs with Constraint Atoms
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
Yi-Dong Shen, Jia-Huai You
books