275 search results - page 1 / 55 » Non-Termination Inference of Logic Programs |
CORR
2004
Springer
13 years 4 months ago
2004
Springer
IFIP12
2009
13 years 2 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
POPL
2012
ACM
12 years 15 days ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
JAIR
2008
13 years 4 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
ACL
2012
11 years 7 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...