1083 search results - page 53 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
108
click to vote
AMAI
2005
Springer
15 years 1 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
102
click to vote
DLOG
1998
15 years 3 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
140
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
117
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
111
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...