2291 search results - page 184 / 459 » Logic Programming and Model Checking |
118
click to vote
AAAI
2004
15 years 4 months ago
2004
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 (...
146
click to vote
AMAI
2004
Springer
15 years 2 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
141
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
162
click to vote
AIME
2011
Springer
14 years 3 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
105
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...