3470 search results - page 417 / 694 » Head-Elementary-Set-Free Logic Programs |
187
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
172
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
184
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
177
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...
191
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...