Sciweavers

3891 search results - page 45 / 779

» A logic for strategic reasoning

22

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

13 years 11 months ago

Horn Programming in Linear Logic Is NP-Complete

Download www.csl.sri.com

Max I. Kanovich

claim paper

Read More »

22

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

13 years 11 months ago

UCG-E: An Equational Logic Programming System

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

22

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

13 years 11 months ago

Logic Programming and Databases

Download sp.cmc.msu.ru

Catriel Beeri

claim paper

Read More »

16

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

13 years 11 months ago

Logic Programs with Classical Negation

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

18

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

13 years 11 months ago

Parallel Logic Programming Systems

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

« Prev « First page 45 / 779 Last » Next »