You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (17)

Journals (0)

1-10 of 17 results for Modular Logic Programming

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Template programs for Disjunctive Logic Programming: An operational semantics

Retricted access

Research article

First published 2006-8

Template programs for Disjunctive Logic Programming: An operational semantics

Francesco Calimeri, Giovambattista Ianni

The European Journal on Artificial Intelligence

Select article: Towards a Logic Programming Tool for Cancer Data Analysis

Retricted access

Research article

First published 2020

Towards a Logic Programming Tool for Cancer Data Analysis

Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier [...]

Fundamenta Informaticae

Select article: Control Generation by Program Transformation

Retricted access

Research article

First published 2006-1

Control Generation by Program Transformation

Andy King, Jonathan C. Martin

Fundamenta Informaticae

Select article: A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations

Retricted access

Research article

First published 2025-9

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations

Mehmet Fatih Hocaoğlu

SIMULATION

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

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

Select article: SitLog: A Programming Language for Service Robot Tasks

Open access

Research article

First published 2013-10

SitLog: A Programming Language for Service Robot Tasks

Luis A. Pineda, Lisset Salinas, Ivan V. Meza [...]

International Journal of Advanced Robotic Systems

Select article: iMPACT3: Internet-Based Development and Administration of Utility Elicitation Protocols

Retricted access

Research article

First published 2002-12

iMPACT3: Internet-Based Development and Administration of Utility Elicitation Protocols

L. A. Lenert, A. Sturley, M. E. Watson

Medical Decision Making

Select article: On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Retricted access

Research article

First published 2019

On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Thomas Bittner

Applied Ontology

Select article: Leveraging Neurosymbolic AI for Slice Discovery

Open access

Research article

First published 2026

Leveraging Neurosymbolic AI for Slice Discovery

Michele Collevati, Thomas Eiter, Nelson Higuera

Neurosymbolic Artificial Intelligence

Select article: Mouse—A Computerized Uncertainty Analysis System

Retricted access

Research article

First published 1990-9

Mouse—A Computerized Uncertainty Analysis System

Albert J. Klee

Environmental Engineering Science

1
2
10 / page

Article type

Publication date

Subjects

Access