1083 search results - page 147 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
133
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
131
click to vote
PLPV
2009
ACM
15 years 11 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
100
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
111
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
114
click to vote
AAAI
2007
15 years 4 months ago
2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...