Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-12

Non-Clausal Reasoning with Definite Theories

Zbigniew Stachniak

Fundamenta Informaticae

Retricted access

Research article

First published 1997-8

Extension Rule for Non-Clausal Propositional Calculus

Kazimir Majorinc

Fundamenta Informaticae

Open access

Research article

First published 2019-6

GhostQ

William Klieber

Journal on Satisfiability,Boolean Modelling and Computation

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

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2007-8

An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas

Hans Kleine Büning, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-12

Optional opacity: A syntactically-based analysis of early Hebrew verb morphology

Lyle Lustigman

First Language

Retricted access

Research article

First published 2015-10

Exploring the potential relationship between eye gaze and English L2 speakers’ responses to recasts

Kim McDonough, Dustin Crowther, Paula Kielstra [...]

Second Language Research

Retricted access

Research article

First published 2012-10

Multicompetence and native speaker variation in clausal packaging in Japanese

Amanda Brown, Marianne Gullberg

Second Language Research

Open access

Research article

First published 2023

Linguistic markers of autism spectrum conditions in narratives: A comprehensive analysis

Kristen Schroeder, Joana Rosselló, Teresa Ribalta Torrades [...]

Autism & Developmental Language Impairments

Search results