Reasoning about partially ordered events

&
Artificial Intelligence 36 (3):375-399 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(88)90087-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

From a connected, partially ordered set of events to a partially ordered field of time intervals.P. G. Vroegindewey, V. Ja Kreinovič & O. M. Kosheleva - 1980 - Foundations of Physics 10 (5-6):469-484.
Partially ordered connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
Partially Ordered Quantifiers vs. Partially Ordered Ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89-99.
Partially ordered quantifiers vs. partially ordered ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89--99.
Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
A quantum theory of space and time.Geoffrey Hemion - 1980 - Foundations of Physics 10 (11-12):819-840.
Partially ordered sets and the independence property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.
Possibilistic reasoning with partially ordered beliefs.Fayçal Touazi, Claudette Cayrol & Didier Dubois - 2015 - Journal of Applied Logic 13 (4):770-798.
Combinatorial Criteria for Ramifiable Ordered Sets.R. Hinnion & O. Esser - 2001 - Mathematical Logic Quarterly 47 (4):539-556.
Real functions on the family of all well-ordered subsets of a partially ordered set.Stevo Todorčević - 1983 - Journal of Symbolic Logic 48 (1):91-96.
If-logic and truth-definition.Gabriel Sandu - 1998 - Journal of Philosophical Logic 27 (2):143-164.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,706,065)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.
An algorithm for probabilistic planning.Nicholas Kushmerick, Steve Hanks & Daniel S. Weld - 1995 - Artificial Intelligence 76 (1-2):239-286.
Temporal reasoning based on semi-intervals.Christian Freksa - 1992 - Artificial Intelligence 54 (1-2):199-227.

View all 14 citations / Add more citations

References found in this work

Planning for conjunctive goals.David Chapman - 1987 - Artificial Intelligence 32 (3):333-377.
Temporal data base management.Thomas L. Dean & Drew V. McDermott - 1987 - Artificial Intelligence 32 (1):1-55.

Add more references