Sage Journals: Discover world-class research

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

Book review

First published 1992-8

Artificial Intelligence and Learning Environments,Analogy for Automated Reasoning,Innovative Applications of Artificial Intelligence

Brian Mayoh

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018-4-9

Automated reasoning for equivalences in the applied pi calculus with barriers

Bruno Blanchet, Ben Smyth

Journal of Computer Security

Retricted access

Review article

First published 1983-04

Book Reviews : Automated Reasoning: Introduction and Applications,Larry Wos,Ross Overbeek,Ewing Lusk and Jim Boyle,Englewood Cliff NJ: Prentice-Hall,1984. 482 pages

Cynthia L. Tobias

Social Science Computer Review

Retricted access

Research article

First published 2012-5

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1992-10

A Model-Based Approach to the Automation of Failure Mode Effects Analysis for Design

C J Price, J E Hunt, M H Lee [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2014-2

European collaboration on automated reasoning

Alan Bundy

The European Journal on Artificial Intelligence

Open access

Research article

First published 2015-10

A Cognitive Adopted Framework for IoT Big-Data Management and Knowledge Discovery Prospective

Nilamadhab Mishra, Chung-Chih Lin, Hsien-Tsung Chang

International Journal of Distributed Sensor Networks

Retricted access

Other

First published 2013-11

Formalization of argument accrual: Acceptability semantics and dialectical proof procedure

Mauro J. Gómez Lucero

The European Journal on Artificial Intelligence

Open access

Research article

First published 2022-6

Can algorithmic recruitment systems lawfully utilise automated decision-making in the EU?

Henni Parviainen

European Labour Law Journal

Search results