1000 search results - page 70 / 200 » An RDF Query Language based on Logic Programming |
129
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
111
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
213
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
128
Voted
LPKR
1997
Springer
15 years 6 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
130
Voted
DLOG
2004
15 years 4 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...