754 search results - page 94 / 151 » An Ordered Logic Program Solver |
110
Voted
KDD
2009
ACM
15 years 5 months ago
2009
ACM
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...
133
Voted
PLANX
2007
15 years 2 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
89
Voted
ENTCS
2008
15 years 22 days ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
118
Voted
DAGSTUHL
1998
15 years 2 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
119
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...