1097 search results - page 20 / 220 » Revision Programming = Logic Programming Integrity Constra... |
158
click to vote
JELIA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
121
Voted
OWLED
2007
15 years 3 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
138
Voted
LISP
2007
15 years 2 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
115
click to vote
INAP
2001
Springer
15 years 7 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
116
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...