Sciweavers

3470 search results - page 96 / 694

» Head-Elementary-Set-Free Logic Programs

123

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 9 months ago

Introduction to Logic Programming

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

141

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

15 years 9 months ago

A First-Order Theory of Types and Polymorphism in Logic Programming

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

130

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

15 years 9 months ago

Abstract Syntax and Logic Programming

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

124

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 9 months ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

88

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

15 years 8 months ago

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

« Prev « First page 96 / 694 Last » Next »