Sciweavers

3546 search results - page 194 / 710

» A Causal Logic of Logic Programming

106

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

15 years 8 months ago

Introduction to Logic Programming

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

117

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

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

15 years 8 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 »

106

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

15 years 8 months ago

Abstract Syntax and Logic Programming

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

105

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 8 months ago

Directional Type Checking of Logic Programs

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

66

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

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

15 years 6 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 194 / 710 Last » Next »