183 search results - page 20 / 37 » A Prolog Implementation of Kem |
125
Voted
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
118
Voted
KR
1994
Springer
15 years 7 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...
120
Voted
WOA
2004
15 years 5 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
217
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
133
Voted
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...