3546 search results - page 388 / 710 » A Causal Logic of Logic Programming |
147
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
104
click to vote
AGI
2008
15 years 3 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
LREC
2010
15 years 3 months ago
2010
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...
114
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...