SLDNFA-system

Details SLDNFA-system SLDNFA-system

2000-03-08

arxiv.org/abs/cs/0003027v1

Computer Science

Artificial Intelligence

6 pages conference:NMR2000, special track on System descriptions and demonstration

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

SLDNFA-system does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with SLDNFA-system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SLDNFA-system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-143982