754 search results - page 67 / 151 » An Ordered Logic Program Solver |
100
Voted
AICOM
2006
15 years 22 days ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
95
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
113
Voted
ML
2006
ACM
15 years 18 days ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
103
click to vote
AIPS
2008
15 years 3 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
96
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...