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 (62)

Journals (0)

1-10 of 62 results for Foundations of Logic Programming

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Algebraic Foundations of Logic Programming,I: The Distributive Lattice of Logic Programs

Retricted access

Research article

First published 1990

Algebraic Foundations of Logic Programming,I: The Distributive Lattice of Logic Programs

Anil Hirani, V.S. Subrahmanian

Fundamenta Informaticae

Select article: A Theoretical Perspective of Coinductive Logic Programming

Retricted access

Research article

First published 2015-10

A Theoretical Perspective of Coinductive Logic Programming

Davide Ancona, Agostino Dovier

Fundamenta Informaticae

Select article: Evolving reactive logic programs

Retricted access

Research article

First published 2011-2

Evolving reactive logic programs

J.J. Alferes, F. Banti, A. Brogi

Intelligenza Artificiale

Select article: Using Logic Models in a Community-Based Agricultural Injury Prevention Project

Free access

Research article

First published 2009-7

Using Logic Models in a Community-Based Agricultural Injury Prevention Project

Deborah Helitzer, Cathleen Willging, Gary Hathorn [...]

Public Health Reports®

Select article: Logic Programming from the Perspective of Algebraic Semantics

Free access

Research article

First published 1996-11

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: Building a Logic Model to Foster Engagement and Learning Using the Case of a Province-Wide Multispecies Antimicrobial Use Monitoring System

Open access

Research article

First published 2024-8

Building a Logic Model to Foster Engagement and Learning Using the Case of a Province-Wide Multispecies Antimicrobial Use Monitoring System

Antoine Boudreau LeBlanc, Aude Motulsky, Marie-Pierre Moreault [...]

Evaluation Review

Select article: Measuring What Matters in Business Support Programs

Retricted access

Research article

First published 2023-2

Measuring What Matters in Business Support Programs

Phillip A. Singerman, Kenneth P. Voytek

Economic Development Quarterly

Select article: QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Retricted access

Research article

First published 1997-1

QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Anthony Karel Seda

Fundamenta Informaticae

1
2
3
•••
7
10 / page

Article type

Publication date

Subjects

Access