<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-02-01 08:05:06Mathematical logic Circumscription Closed world assumption Inference Literal Horn clause Function Logic Logic programming Mathematics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-02-01 08:05:06Mathematical logic Circumscription Closed world assumption Inference Literal Horn clause Function Logic Logic programming Mathematics |
Add to Reading List |
Ecient Reasoning using the Local Closed-World Assumption Patrick Doherty1? , Witold Lukaszewicz2, and Andrzej Szalas2 1 Department of Computer and Information Science,
