Problem solving in ID-logic with aggregates: some experiments

Details Problem solving in ID-logic with aggregates: some experiments Problem solving in ID-logic with aggregates: some experiments

2000-03-08

arxiv.org/abs/cs/0003030v1

Computer Science

Artificial Intelligence

9 pages conference: NMR2000, special track on abductive reasoning

Scientific paper

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 abductive solvers for this language are being developed. This paper is a report of the integration of high order aggregates into ID-logic and the consequences on the solver SLDNFA.

Affiliated with

Also associated with

No associations

Rating

Problem solving in ID-logic with aggregates: some experiments 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 Problem solving in ID-logic with aggregates: some experiments, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Problem solving in ID-logic with aggregates: some experiments will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-143998