Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-5

CTL-RP: A computation tree logic resolution prover

Lan Zhang, Ullrich Hustadt, Clare Dixon

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-9

Using Computational Tree Logic Methods to Analyze Reachability in User Documentation

Andrew J. Abbate, Ellen J. Bass

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

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 2009-4

Skolem Machines

John Fisher, Marc Bezem

Fundamenta Informaticae

Retricted access

Research article

First published 1996-11

Slalom tree computing – a tree computing theory for artificial intelligence

Cyrus F. Nourani

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2002-11

Automata-Theoretic Decision Procedures for Information Logics

Stéphane Demri, Ulrike Sattler

Fundamenta Informaticae

Retricted access

Research article

First published 1984-10

The Use of Logic Trees in Technical Documentation Alternative Diagrammatic Approaches

Michael J. Firment, Arthur D. Fisk

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 1996-2

AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS

Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orłowska

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Michał Knapik, Wojciech Penczek, Maciej Szreter [...]

Fundamenta Informaticae

Search results