1137 search results - page 8 / 228 » Knowledge Representation with Logic Programs |
114
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
131
click to vote
AAAI
2008
15 years 4 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
111
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
126
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
105
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...