Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

DOI10.1007/978-3-319-39378-0_20zbMath1358.68293OpenAlexW2488286927MaRDI QIDQ2814121

Krzysztof Kluza, Krystian Jobczyk, Antoni Ligȩza

Publication date: 17 June 2016

Published in: Artificial Intelligence and Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-39378-0_20

zbMATH Keywords

linear temporal logicengineering evaluationfuzzy linear temporal logicfuzzy-time tempora logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Temporal logic (03B44) Artificial intelligence for robotics (68T40)

Related Items (2)

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful?

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• Many-dimensional modal logics: theory and applications
• Using temporal logics to express search control knowledge for planning
• Why Systems of Temporal Logic Are Sometimes (Un)useful?
• Fuzzy Time in Linear Temporal Logic
• A propositional modal logic of time intervals

This page was built for publication: Selected Temporal Logic Systems: An Attempt at Engineering Evaluation