SLDNFA-system

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.Comment: 6 pages conference:NMR2000, special track on System descriptions and demonstratio

Problem solving in ID-logic with aggregates: some experiments

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.Comment: 9 pages conference: NMR2000, special track on abductive reasonin

Garth Leavitt and Bob Allen v. Glendon Corporation : Brief of Appellant

Appeal from Judgment Entered in the Second Circuit Court, State of Utah Davis County, Bountiful Department, Honorable S. Mark Johnson, Presidin

Raising interoperability among base registries : the evolution of the Linked Base Registry for addresses in Flanders

The transformation of society towards a digital economy and government austerity creates a new context leading to changing roles for both government and private sector. Boundaries between public and private services are blurring, enabling government and private sector to collaborate and share responsibilities. In Belgium, the regional Government of Flanders embedded the re-use of public sector information in its legislation and published a data portal containing well over 4000 Open Datasets. Due to a lack of interoperability, interconnecting and interpreting these sources of information remain challenges for public administrations, businesses and citizens. To dissolve the boundaries between the data silos, the Flemish government applied Linked Data design principles in an operational public sector context. This paper discusses the trends we have identified while ‘rewiring’ the Authentic Source for addresses to a Linked Base Registry. We observed the impact on multiple interoperability levels; namely on the legal, organisational, semantic and technical level. In conclusion Linked Data can increase semantic and technical interoperability and lead to a better adoption of government information in the public and private sector. We strongly believe that the insights from the past thirteen years in the region of Flanders could speed up processes in other countries that are facing the complexity of raising technical and semantic interoperability.This paper is related to the projects ‘OSLO and CRAB as Linked Open Data’ and the ‘Flemish Building Registry’, funded by Flanders Information Agency, Belgium and the program Flanders Radically Digital, Belgium.IMEC Ghent University, Belgiumhttp://www.elsevier.com/locate/websemhj2020Geography, Geoinformatics and Meteorolog

Abductive constraint logic programming: implementation and applications.

nrpages: 315 + xivstatus: publishe

Problem solving using declarative specifications

status: publishe

Reasoning with preferences in ID-logic

Presented as posterstatus: publishe