3 citations · 3 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2000
Problem solving in ID-logic with aggregates: some experiments
Bert Van Nuffelen, Marc Denecker
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…
cs.AI2000
SLDNFA-system
Bert Van Nuffelen
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 t…