Sciweavers

3481 search results - page 214 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

43

ICAIL
1989
ACM

58views Artificial Intelligence» more ICAIL 1989»

The Treatment of Negation in Logic Programs for Representing Legislation

15 years 7 months ago

The Treatment of Negation in Logic Programs for Representing Legislation

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

87

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

15 years 7 months ago

Logic Programming and Databases

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

90

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

15 years 7 months ago

Logic Programs with Classical Negation

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

94

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

15 years 7 months ago

Parallel Logic Programming Systems

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

113

Voted

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

15 years 7 months ago

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

Download www.cse.iitb.ac.in

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...

claim paper

Read More »

« Prev « First page 214 / 697 Last » Next »