1097 search results - page 66 / 220 » Revision Programming = Logic Programming Integrity Constra... |
126
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
217
click to vote
ENTCS
2007
15 years 3 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
120
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
179
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
119
click to vote
UAI
2004
15 years 4 months ago
2004
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...