593 search results - page 90 / 119 » RDF and Logic: Reasoning and Extension |
87
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
127
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
132
click to vote
ENTCS
2006
15 years 13 days ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
145
Voted
AMAI
1999
Springer
15 years 3 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
110
Voted
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...