Sage Journals: Discover world-class research

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 2015-12

Developing seismic vulnerability curves for typical Iranian buildings

Mehdi Sadeghi, Mohsen Ghafory-Ashtiany, Naghmeh Pakdel-Lahiji

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Other

First published 1999-2

Top‐down induction of first order logical decision trees

Hendrik Blockeel

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1982

Tree Rewriting Systems,Combinatory Weak Reduction Systems and Type Free Languages 1

Alberto Pettorossi

Fundamenta Informaticae

Retricted access

Research article

First published 2001-8

Reliability of sequential systems using the cause—consequence diagram method

J D Andrews, L M Ridley

Proceedings of the Institution of Mechanical Engineers,Part E: Journal of Process Mechanical Engineering

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 1999-8

Logic Tree Analysis of Secondary Nonstructural Systems with Independent Components

Christopher Roth

Earthquake Spectra

Retricted access

Research article

First published 2011-8

Logical models for the propagation of disparate information and uncertainty across effectivity trees

T. Ross, M. Reda Taha, J.J. Kim [...]

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2021-08-11

Uncertain data processing of PMU modules using fuzzy Petri net

Poonam Juneja, Rachana Garg, Parmod Kumar

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

Retricted access

Research article

First published 2025-4

Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

Ziyang Chen, Zhen Kan

The International Journal of Robotics Research

Search results