1083 search results - page 119 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
103
Voted
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
100
Voted
EMNLP
2008
15 years 4 months ago
2008
Previous work on ordering events in text has typically focused on local pairwise decisions, ignoring globally inconsistent labels. However, temporal ordering is the type of domain...
113
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
135
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
114
Voted
ENTCS
2008
15 years 2 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...