Abstract | ||
---|---|---|
Simple practical reasoning with propositions whose truth values depend on time is a matter of logical engineering. One needs an expressive language in which simple inferences are productive. Here's one approach, along with some algorithms for implementing it. We also consider reified and non-reified logics, and show that, contrary to a claim of Bacchus et al., a reified logic is more appropriate t... |
Year | DOI | Venue |
---|---|---|
2002 | 10.1093/jigpal/10.4.379 | Logic Journal of the IGPL |
Keywords | DocType | Volume |
Temporal reasoning,temporal logic,union-of-convex intervals | Journal | 10 |
Issue | ISSN | Citations |
4 | 1367-0751 | 6 |
PageRank | References | Authors |
0.57 | 4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
maroua bouzid | 1 | 105 | 19.42 |
Peter B. Ladkin | 2 | 626 | 90.51 |