Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-6

Individual Differences in Deductive Logic,Abductive Logic,and Cognitive Styles

Tristan P. Visconti, Robert G. Kunzendorf

Imagination,Cognition and Personality

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Evaluating Compliance: From LTL to Abductive Logic Programming

Federico Chesani, Marco Gavanelli, Evelina Lamma [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Reasoning on Datalog ± Ontologies with Abductive Logic Programming

Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Abduction: A Logical Criterion For Programme and Project Evaluation

Miri Levin-Rozalis

Evaluation

Retricted access

Research article

First published 1998-12

The Extraordinary Ordinary Powers of Abductive Reasoning

Gary Shank

Theory & Psychology

Retricted access

Research article

First published 2011-2

Learning specifications of interaction protocols and business processes and proving their properties

Marco Alberti, Marco Gavanelli, Evelina Lamma [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2003-5

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2011-2

Computational logic in agent based systems

Paolo Mancarella, Francesca Toni

Intelligenza Artificiale

Retricted access

Research article

First published 1998-7

Executing Suspended Logic Programs

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

Search results