Name
Abstract | ||
|---|---|---|
The SLDNFA-system results from the LP+ project at the K.U.Leuven, which investigates logics and proof procedures for these logics for declarative knowledge representation. Within this project inductive definition logic (ID-logic) is used as representation logic. Differ- ent solvers are being developed for this logic and one of these is SLDNFA. A prototype of the system is avail- able and used for investigating how to solve efficiently problems represented in ID-logic. |
Year | Venue | DocType |
|---|---|---|
2000 | Computing Research Repository | Journal |
Volume | Citations | PageRank |
cs.AI/0003 | 0 | 0.34 |
References | Authors | |
7 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bert Van Nuffelen | 1 | 189 | 12.33 |