1137 search results - page 23 / 228 » Logic Programming for Knowledge Representation |
105
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
134
Voted
DLOG
1998
15 years 3 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
133
Voted
KI
1990
Springer
15 years 6 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
100
Voted
ASP
2001
Springer
15 years 7 months ago
2001
Springer
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
