3546 search results - page 330 / 710 » A Causal Logic of Logic Programming |
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
147
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
218
click to vote
POPL
2011
ACM
14 years 8 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
164
click to vote
ESWS
2009
Springer
16 years 17 days 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 ...
151
click to vote
PPDP
2007
Springer
16 years 3 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...