352 search results - page 8 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
106
Voted
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...
102
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
176
Voted
AGP
2010
IEEE
15 years 23 days ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
118
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
111
Voted
IJCAI
2001
15 years 4 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...