Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-11

Informational logic in knowledge representation and automated deduction

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2002-5

The impact of CASC in the development of automated deduction systems

Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1998-1

Automated Deduction Techniques for Studying Rough Algebras

Laurent Vigneron

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

SOLAR: An automated deduction system for consequence finding

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue [...]

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

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density

Luis Fariñas del Cerro, Olivier Gasquet

Fundamenta Informaticae

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

Tree Automata and Automated Model Building

Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 2016-10

Automated Thinking and the Limits of Reason

Luciana Parisi

Cultural Studies ↔ Critical Methodologies

Free access

Research article

First published 2013-11

Paraconsistent OWL and related logics

Frederick Maier, Yue Ma, Pascal Hitzler

Semantic Web: – Interoperability,Usability,Applicability

Search results