884 search results - page 53 / 177 » Using Nested Logic Programs for Answer Set Programming |
109
click to vote
FECS
2006
15 years 1 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
116
click to vote
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
CLEF
2005
Springer
15 years 5 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...
108
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
100
click to vote
LOPSTR
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...