ICLP 1991 | Sciweavers

45

ICLP
1991
Springer

139views Automated Reasoning» more ICLP 1991»

Nonmonotonic Reasoning with Well Founded Semantics

14 years 5 months ago

Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...

Luís Moniz Pereira, Joaquim Nunes Apar&iacu...

claim paper

Read More »

35

click to vote

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

14 years 5 months ago

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

44

click to vote

ICLP
1991
Springer

100views Automated Reasoning» more ICLP 1991»

{log}: A Logic Programming Language with Finite Sets

14 years 5 months ago

Download users.dimi.uniud.it

An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

44

click to vote

ICLP
1991
Springer

173views Automated Reasoning» more ICLP 1991»

Abstract Interpretation of Logic Programs

14 years 5 months ago

Download www.clip.dia.fi.upm.es

Interpretation of Logic Programs 1

Patrick Cousot