Results 31 to 40 of about 6,826 (311)
Bisimulations for Temporal Logic
Journal of Logic, Language and Information, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire +3 more sources
Temporal Logics of Agency [PDF]
Journal of Logic, Language and Information, 2010 Time is the grand stage where human activities take place (rational or otherwise). And the view of a branching temporal universe, or tree of possible events, with our actual history linearly advancing through it, is a widely shared cultural idea, not confined to Academia (cf. Borges brilliant 1941 essayEl Jardin de senderos que se bifurcan).
van Benthem, J., Pacuit, E.
openaire +3 more sources
Temporal Logics with Language Parameters [PDF]
Information and Computation, 2021 Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple regular properties like "Every other index is labelled a cannot be expressed in these logics. While many extensions were
Jens Oliver Gutsfeld +2 more
openaire +2 more sources
On the Expressive Power of Some Extensions of Linear Temporal Logic
Моделирование и анализ информационных систем, 2018 One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions.
Anton Gnatenko, Vladimir Zakharov
doaj +1 more source
Grounding Stream Reasoning Research [PDF]
Transactions on Graph Data and KnowledgeIn the last decade, there has been a growing interest in applying AI technologies to implement complex data analytics over data streams. To this end, researchers in various fields have been organising a yearly event called the "Stream Reasoning Workshop"
Bonte, Pieter +14 more
doaj +1 more source
Representation and Reasoning about Strategic Abilities with ω-Regular Properties
Mathematics, 2021 Specification and verification of coalitional strategic abilities have been an active research area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic logics, e.g., Strategy Logic (SL) and alternating-time temporal
Liping Xiong, Sumei Guo
doaj +1 more source
Temporal Data Modeling and Reasoning for Information Systems [PDF]
, 2006 Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research.
Spranger, Stephanie, Bry, François
core +1 more source
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties [PDF]
, 2022 Hyperproperties are properties of systems that relate different executions traces, with many applications from security to symmetry, consistency models of concurrency, etc.
Sanchez C., Peron A., Bozzelli L.
core +1 more source
Lietuvos Matematikos Rinkinys, 2013 We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”. The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis +1 more
doaj +1 more source
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption [PDF]
Logical Methods in Computer Science, 2022 The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning.
Laura Bozzelli +4 more
doaj +1 more source