SLDNFA-system
| dc.creator | Van Nuffelen, Bert | |
| dc.date | 2000-03-08 | |
| dc.date.accessioned | 2026-07-07T03:15:59Z | |
| dc.date.available | 2026-07-07T03:15:59Z | |
| dc.description | 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. Different solvers are being developed for this logic and one of these is SLDNFA. A prototype of the system is available and used for investigating how to solve efficiently problems represented in ID-logic. | |
| dc.description | 6 pages conference:NMR2000, special track on System descriptions and demonstration | |
| dc.identifier | https://arxiv.org/abs/cs/0003027 | |
| dc.identifier | http://arxiv.org/abs/cs/0003027 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/30187 | |
| dc.subject | Artificial Intelligence | |
| dc.subject | F.4.1;I.2.3;I.2.4 | |
| dc.title | SLDNFA-system | |
| dc.type | text |