Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-5

A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics

Sébastien Ferré, Ross D. King

Fundamenta Informaticae

Retricted access

Research article

First published 2006-12

Cost-based Partitioning for Distributed and Parallel Simulation of Decomposable Multiscale Constructive Models

Sunwoo Park, C. Anthony Hunt, Bernard P. Zeigler

SIMULATION

Retricted access

Research article

First published 2022-2

The impact of a music education program on meta-musical awareness,logical-mathematical,and notational skills in preschoolers

Oriana Incognito, Laura Scaccioni, Giuliana Pinto

International Journal of Music Education

Retricted access

Research article

First published 2023-12

Supervised Bayesian specification inference from demonstrations

Ankit Shah, Pritish Kamath, Shen Li [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2006-8

Differential diagnosis of dementia in an argumentation framework

Helena Lindgren, Patrik Eklund

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Extending Logic Programming with Labelled Variables: Model and Semantics

Roberta Calegari, Enrico Denti, Agostino Dovier [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Federico Chesani, Paola Mello, Marco Montali [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2002-09

Gender differences in self‐estimated intelligence and their relation to gender‐role orientation

Beatrice Rammstedt, Thomas H. Rammsayer

European Journal of Personality

Retricted access

Research article

First published 2010-11

A Logic-Based System for e-Tourism

Francesco Ricca, Antonella Dimasi, Giovanni Grasso [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019

A Circuit Simplification Mechanism Based on DNA Combinatorial Strands Displacement

Ying Niu, Feng Han, Xuncai Zhang [...]

Fundamenta Informaticae

Search results