Sage Journals: Discover world-class research

Free access

Research article

First published 2015-11

Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

Tatjana Kapus

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2004-8

Decision Procedure for Temporal Logic of Belief and Actions

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1995-12

ON THE SATISFIABILITY PROBLEM FOR LAMPORT'S PROPOSITIONAL TEMPORAL LOGIC OF ACTIONS AND SOME OF ITS EXTENSIONS

Y.S. Ramakrishna

Fundamenta Informaticae

Retricted access

Research article

First published 2008-1

Invariance Under Stuttering in a Temporal Logic without the "Until" Operator

Michael Kaminski

Fundamenta Informaticae

Retricted access

Research article

First published 2017-9

An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

Jin Tao Liu, Tao Tang, Jie Bei Zhu [...]

Proceedings of the Institution of Mechanical Engineers,Part F: Journal of Rail and Rapid Transit

Retricted access

Research article

First published 1994-5

A Survey on Temporal Reasoning in Artificial Intelligence

Lluís Vila

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2023-08-01

Complex objective optimization in fuzzy environments

Wuniu Liu, Zhihui Li, Yongming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2012-8

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2011-11

Temporal model for business process

Miltos Petridis, Jixin Ma, Brian Knight

Intelligent Decision Technologies

Retricted access

Research article

First published 1983-12

Hegel's Logic,Marx's Science,Rationalism's Perils

Joan Cocks

Political Studies

Search results