Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alessandro Artale
Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foundations of Temporal Conceptual Data Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Uniform Satisfiability Problem for Local Temporal Logics Over Mazurkiewicz Traces
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Fibring Epistemic and Temporal Logics
Logic and Logical Philosophy
Philosophy
Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models
Temporal Updating, Temporal Reasoning, and the Domain of Time
Behavioral and Brain Sciences
Physiology
Physiological Psychology
Neuropsychology
Behavioral Neuroscience
Reasoning About Plausible Scenarios in Description Logics of Typicality
Intelligenza Artificiale
Artificial Intelligence
Implementation of Propositional Temporal Logics Using BDDs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Temporal Logic for Reasoning About Change
