3546 search results - page 331 / 710 » A Causal Logic of Logic Programming |
166
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
177
click to vote
CLIMA
2010
15 years 7 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
182
Voted
DAGSTUHL
2004
15 years 7 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
161
click to vote
RWEB
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...