Temporal Logic

Querying TSQL2 databases with temporal logic

Query Translation / Database / Temporal Logic / Temporal Database

Temporalizing epistemic default logic

Cognitive Science / Philosophy / Linguistics / Default Logic / Temporal Logic

A Temporal Logic of Normative Systems

Model Checking / Deontic Logic / Multi Agent System / Indexation / Symbolic Representation of Drugs / Temporal Logic / Symbolic Model Checking / Temporal Logic / Symbolic Model Checking

A temporal logic of normative systems

Model Checking / Deontic Logic / Multi Agent System / Indexation / Symbolic Representation of Drugs / Temporal Logic / Symbolic Model Checking / Temporal Logic / Symbolic Model Checking

Temporal logics for real-time system specification

Modal Logic / Verification and Validation / Temporal Logics / Real Time Systems / Temporal Constraints / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic

Time, tense and aspect in natural language database interfaces

Cognitive Science / Linguistics / Natural language / Natural language interface / Temporal Logic / Database System / Intermediate Representation / Temporal Database / Natural language engineering / Database System / Intermediate Representation / Temporal Database / Natural language engineering

Copyright © 2017 DADOSPDF Inc.