Abstract | ||
---|---|---|
The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative specifications. The ID-logic is an integration of typed classical logic and a definition logic. Different abduc- tive solvers for this language are being developed. This paper is a report of the integration of high order aggre- gates into ID-logic and the consequences on the solver SLDNFA. |
Year | Venue | Keywords |
---|---|---|
2000 | Clinical Orthopaedics and Related Research | artificial intelligent,classical logic |
Field | DocType | Volume |
Computational logic,Horn clause,Logic optimization,Computer science,Description logic,Multimodal logic,Abductive logic programming,Theoretical computer science,Logic programming,Dynamic logic (modal logic) | Journal | cs.AI/0003 |
Citations | PageRank | References |
2 | 0.48 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bert Van Nuffelen | 1 | 189 | 12.33 |
Marc Denecker | 2 | 1626 | 106.40 |