Disjunctive logic programs with inheritance

DOI10.1017/S1471068402001394zbMath1087.68527OpenAlexW3104122731MaRDI QIDQ4452618

Nicola Leone, Wolfgang Faber, Francesco Buccafurri

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

inheritanceknowledge representationnonmonotonic reasoningdisjunctive logic programmingexceptions.

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (9)

Semantic forgetting in answer set programming ⋮ Reasoning on with Defeasibility in ASP ⋮ Characterizing and extending answer set semantics using possibility theory ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ Linking Data to Ontologies ⋮ Answer Set Programming: A Primer ⋮ The refinement extension principle for semantics of dynamic logic programming ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures ⋮ LUPS -- A language for updating logic programs

This page was built for publication: Disjunctive logic programs with inheritance