Selected temporal logic systems: an attempt at engineering evaluation

DOI10.1007/978-3-319-39378-0_20MaRDI QIDQ2814121zbMATH OpenOpenAlexFDO

Authors Krystian Jobczyk, Antoni Ligȩza, Krzysztof Kluza

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

engineering evaluationfuzzy linear temporal logicfuzzy-time tempora logiclinear temporal logic

Mathematics Subject Classification ID

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

Recommendations

• Why systems of temporal logic are sometimes (un)useful?
• A fuzzy real-time temporal logic
• The semantics and generalized tautology of fuzzy temporal logic
• Fuzzy Time in Linear Temporal Logic
• scientific article; zbMATH DE number 4119594

Cites work

• A propositional modal logic of time intervals
• Fuzzy Time in Linear Temporal Logic
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• 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?

Cited in

(4)

• A fuzzy real-time temporal logic
• Why systems of temporal logic are sometimes (un)useful?
• The semantics and generalized tautology of fuzzy temporal logic
• The Hybrid Plan Controller Construction for Trajectories in Sobolev Space

This page was built for publication: Selected temporal logic systems: an attempt at engineering evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814121)