Search results: Sage Journals

Open accessResearch articleFirst published February, 2006

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published 2025

Gunjan Singh, Riccardo Tommasini, Sumit Bhatia [...]

Neurosymbolic Artificial Intelligence

Free accessResearch articleFirst published May 23, 2019

William Van Woensel, Syed Sibte Raza Abidi

Semantic Web: – Interoperability,Usability,Applicability

Restricted accessResearch articleFirst published February, 2013

Rajesh S Prabhu Gaonkar, Min Xie, Indranil Majumdar

Proceedings of the Institution of Mechanical Engineers,Part M: Journal of Engineering for the Maritime Environment

Open accessResearch articleFirst published 2026

Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer [...]

Neurosymbolic Artificial Intelligence

Free accessResearch articleFirst published March, 2018

Thomas S. Popkewitz, Jingying Feng, Lei Zheng

ECNU Review of Education

Restricted accessResearch articleFirst published January, 2021

Zheng Lu, Naiyin Ma, Hengrui Zhang

Journal of Vibration and Control

Restricted accessResearch articleFirst published May, 2015

Tingliang Huang, Ying‐Ju Chen

Production and Operations Management

Restricted accessResearch articleFirst published September, 2002

Robert Pollin

Review of Radical Political Economics

Restricted accessOtherFirst published February, 2011

Rod McKay, Regina McDonald, Tim Coombs

Australasian Psychiatry