Sage Journals: Discover world-class research

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Retricted access

Research article

First published 1993

A Prolegomenon to Partial Deduction

Jan Komorowski

Fundamenta Informaticae

Retricted access

Research article

First published 2022-7

Analysis for full face mechanical behaviors through spatial deduction model with real-time monitoring data

Xuyan Tan, Yuhang Wang, Bowen Du [...]

Structural Health Monitoring

Retricted access

Research article

First published 2002-2

Interpreted Petri Nets used for human-machine dialogue specification

F. Moussa, M. Riahi, C. Kolski [...]

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2002-8

Reliability assessment of hydraulic shovel system using fault trees

Bimal Samanta, B. Sarkar, S. K. Mukherjee

Mining Technology: Transactions of the Institutions of Mining and Metallurgy

Retricted access

Research article

First published 2010-5

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2024-11

Analysis of the Outcome of the Driving Test for Learner Drivers Based on an Interpretable Machine Learning Framework

Yang Ding, Xiaohua Zhao, Ying Yao [...]

Transportation Research Record: Journal of the Transportation Research Board

Free access

Research article

First published 2010-2

A reasonable Semantic Web

Pascal Hitzler, Frank van Harmelen

Semantic Web: – Interoperability,Usability,Applicability

Open access

Research article

First published 2024-01

An Examination of the Use of Large Language Models to Aid Analysis of Textual Data

Robert H. Tai, Lillian R. Bentley, Xin Xia [...]

International Journal of Qualitative Methods

Retricted access

Research article

First published 2019-3

Critical Computation: Digital Automata and General Artificial Thinking

Luciana Parisi

Theory,Culture & Society

Search results