8766 search results - page 388 / 1754 » Functional logic programming |
254
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
113
click to vote
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
145
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
174
Voted
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
121
Voted
EUSFLAT
2001
15 years 4 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...