3441 search results - page 230 / 689 » Parallel Logic Programming Systems |
140
Voted
XSYM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
147
Voted
ASP
2001
Springer
15 years 7 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
157
Voted
ENTCS
2002
15 years 3 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
265
Voted
COSIT
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
119
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...