Ultimate approximation and its application in nonmonotonic knowledge representation systems.

Marc Denecker Victor W. Marek Miroslaw Truszczynski

Published in: Inf. Comput. (2004)

Keyphrases

knowledge representation systems
knowledge representation
knowledge base
description logics
logic programming
approximation error

closed form
machine learning
default rules
approximation ratio
nonmonotonic logics
approximation algorithms

relational databases
information systems
modal logic
error bounds
default logic
nonmonotonic reasoning

case study
social networks
error tolerance
multiple inheritance
database