Search Sciweavers | Sciweavers

3926 search results - page 260 / 786

» A Logic of Object-Oriented Programs

127

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 10 months ago

Download reference.kfupm.edu.sa

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

claim paper

Read More »

125

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

143

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

122

click to vote

WLP
1993
Springer

99views Artificial Intelligence» more WLP 1993»

Using Logic Programming and Coroutining for VLSI Design

15 years 10 months ago

Download ls12-www.cs.tu-dortmund.de

Ulrich Bieker, Andreas Neumann

claim paper

Read More »

135

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers