850 search results - page 43 / 170 » A Logic Programming Language Based on Binding Algebras |
115
click to vote
CLEF
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
ECEASST
2008
15 years 1 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
125
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
169
click to vote
HIS
2009
14 years 11 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
156
click to vote
DLOG
2011
14 years 4 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...