Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24364-6_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Uniform Satisfiability Problem for Local Temporal Logics Over Mazurkiewicz Traces

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Foundations of Temporal Conceptual Data Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy
Philosophy
2019English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

2016English

Temporal Updating, Temporal Reasoning, and the Domain of Time

Behavioral and Brain Sciences
PhysiologyPhysiological PsychologyNeuropsychologyBehavioral Neuroscience
2019English

Reasoning About Plausible Scenarios in Description Logics of Typicality

Intelligenza Artificiale
Artificial Intelligence
2017English

Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

A Modal Temporal Logic for Reasoning About Change

1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy