3470 search results - page 118 / 694 » Head-Elementary-Set-Free Logic Programs |
174
click to vote
JMLR
2012
13 years 7 months ago
2012
We propose a novel mixtures of Gaussian processes model in which the gating function is interconnected with a probabilistic logical model, in our case Markov logic networks. In th...
185
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
133
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
142
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
190
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...