2395 search results - page 348 / 479 » Reasoning in Semantic Wikis |
193
Voted
ICLP
2005
Springer
16 years 14 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
203
Voted
CAISE
2004
Springer
16 years 10 days ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
168
click to vote
ICLP
2004
Springer
16 years 9 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
200
Voted
NMR
2004
Springer
16 years 9 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
198
Voted
ILP
2003
Springer
16 years 4 days ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...