Search Sciweavers | Sciweavers

1151 search results - page 5 / 231

» Collaborative Programming: Applications of Logic and Automat...

132

click to vote

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

15 years 10 months ago

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

108

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

15 years 10 months ago

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

115

Voted

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

15 years 10 months ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

122

Voted

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

15 years 10 months ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

133

Voted

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers