966 search results - page 43 / 194 » Communicating Answer Set Programs |
118
click to vote
ATAL
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
103
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is
118
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
121
click to vote
PODS
1997
ACM
15 years 6 months ago
1997
ACM
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...
140
click to vote
SCCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...