Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-11

Automated reasoning

Marco Gavanelli, Toni Mancini

Intelligenza Artificiale

Retricted access

Research article

First published 2014-2

European collaboration on automated reasoning

Alan Bundy

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2016-10

Automated Thinking and the Limits of Reason

Luciana Parisi

Cultural Studies ↔ Critical Methodologies

Retricted access

Research article

First published 2006-5

Automated reasoning in quantified modal and temporal logics

Claudio Castellini

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2010-2

Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning

Luca Pulina

The European Journal on Artificial Intelligence

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 2015-10-23

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF ( X ) 1

Liu Yi, Xu Yang, Zhong Xiaomei

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

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

Free access

Research article

First published 2006-5

A Cost-Effective Knowledge-Based Reasoning System for Design for Automation

E M Shehab, H S Abdalla

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 1998-5

Reasoning about Sensor Data for Automated System Identification

Elizabeth Bradley, Matthew Easley

Intelligent Data Analysis: An International Journal

Search results