Real-Time Logics: Complexity and Expressiveness

Information and Computation - United States
doi 10.1006/inco.1993.1025
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Expressiveness and Complexity of Order Dependencies

Proceedings of the VLDB Endowment
Computer Science
2013English

Complexity of Prioritized Default Logics

Journal of Artificial Intelligence Research
Artificial Intelligence
1998English

The Effect of Reasoning Logics on Real-Time Decision Making

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
ControlSystems EngineeringInformation SystemsHuman-Computer InteractionElectronic EngineeringComputer Science ApplicationsElectricalSoftware
1997English

The Complexity of Lattice-Based Fuzzy Description Logics

Journal on Data Semantics
Computer NetworksInformation SystemsArtificial IntelligenceCommunications
2012English

The Complexity of Reasoning With Boolean Modal Logics

2002English

Complexity Reduction of Real-Time Depth Scanning on Graphics Hardware

2009English

Hoare Logics for Time Bounds

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy