1083 search results - page 59 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
117
click to vote
FOIKS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
124
click to vote
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
214
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
114
Voted
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...