Non-monotonic extensions of logic programming

The outer archives are busy

by International Conference on Logic Programming (11th 1994 Santa Margherita Ligure, Italy), Jurgen Dix, Luis Moniz Pereira

About this book

In [PAA92a, PAA93] we introduce a suitable form of closed world assumption (CWA), and use it to safely and undisputably assume false some of the atoms absent from the well founded model of a program.

Match Score

Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.

Create free account

Marks of the Realm

Marks left by readers of this tome

No community marks yet — be the first to inscribe this tome.

Pacing

—out of 5

Horror / Dark Elements

—out of 5

Romance

—out of 5

Spice Level

—out of 5

LGBTQ+ Representation

—out of 5

Social & Political Themes in Stories

—out of 5

Inscribe Your Rating

Mark this tome across each content category