1143 search results - page 87 / 229 » Abstract Syntax and Logic Programming |
254
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
140
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
170
click to vote
OPODIS
2003
15 years 5 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
131
click to vote
CADE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
132
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...