1083 search results - page 73 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
161
click to vote
CL
1999
Springer
15 years 2 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
141
click to vote
LPKR
1997
Springer
15 years 6 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
145
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
122
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
107
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...