Sage Journals: Discover world-class research

Retricted access

Research article

First published 1998-7

Executing Suspended Logic Programs

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

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 1998-7

Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Carlos Castro

Fundamenta Informaticae

Retricted access

Research article

First published 1999-8

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach

Eric Monfroy, Christophe Ringeissen

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

Qualifying Answers According to User Needs and Preferences

Terry Gaasterland, Jorge Lobo

Fundamenta Informaticae

Open access

Research article

First published 2022-2-21

Deductive and abductive argumentation based on information graphs

Remi Wieten, Floris Bex, Henry Prakken [...]

Argument & Computation

Retricted access

Research article

First published 2009-10

The Impact of Performance Incentives during Training on Transfer of Learning

Patricia C. Brennan, Poornima Madhavan, Cleotilde Gonzalez [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 1998-06

Transmission,Barriers,and Constraints

Kelly M. Kadera

Journal of Conflict Resolution

Open access

Research article

First published 2025-4

Pre-Tax Deduction Policy for Employee Education Expenses and Corporate Digital Transformation: Evidence From China

Huiqiang Ni, Zhen Yang, Wenlong Liu [...]

Sage Open

Search results