Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-5

Automated reasoning in quantified modal and temporal logics

Claudio Castellini

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-1

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Francesco Belardinelli, Alessio Lomuscio

Fundamenta Informaticae

Retricted access

Research article

First published 2010-11

Graded Alternating-Time Temporal Logic

Marco Faella, Margherita Napoli, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Counterpart Semantics for a Second-Order μ-Calculus

Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10

Model Checking for Graded CTL

Alessandro Ferrante, Margherita Napoli,, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 2008-11

Analyzing Protein-Protein Spatial-Temporal Dependencies from Image Sequences Using Fuzzy Temporal Random Sets

María Elena Díaz, Guillermo Ayala, Teresa León [...]

Journal of Computational Biology

Open access

Research article

First published 2024-7

Deep Learning-Based Analysis of Emotional and Content Relevance Between Bullet Screens and Subtitles as Movie Narrative Medium

Wang Hanmei

Sage Open

Search results