Pages that link to "Item:Q1096384"
From MaRDI portal
The following pages link to Temporal logics in AI: semantical and ontological considerations (Q1096384):
Displayed 20 items.
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning (Q1114431) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- The ''descriptive'' component of a hybrid knowledge representation language (Q1202682) (← links)
- Knowledge-based spatiotemporal linear abstraction (Q1271315) (← links)
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- Automated theorem proving in temporal logic: \(T\)-resolution (Q1322389) (← links)
- Time representation: A taxonomy of temporal models (Q1329227) (← links)
- Motivated action theory: A formal theory of causal reasoning (Q1341664) (← links)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- Dynamical temporal interpretation contexts for temporal abstraction (Q1383363) (← links)
- A framework for knowledge-based temporal abstraction (Q1402747) (← links)
- Representing Allen's properties, events, and processes (Q1910462) (← links)
- Temporal properties of repetitive entities (Q2386353) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- A logic for inductive probabilistic reasoning (Q2576405) (← links)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
- Event scheduling using allen's algebra (Q4256052) (← links)
- Knowledge-based temporal interpolation (Q4421287) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)