Translation-Based Revision and Merging for Minimal Horn Reasoning.

DOI10.3233/978-1-61499-672-9-734zbMATHOpenAlexMaRDI QIDQ4576205FDO

Authors Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran

Publication date 12 July 2018

Full work available at URL http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#BrewkaMW16

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Compilability and compact representations of revision of Horn knowledge bases
• Translations and similarity-based logic programming
• Semantics-Based Translation Methods for Modal Logics
• A translation-based approach for revision of argumentation frameworks
• scientific article; zbMATH DE number 861622
• Reasoning and revision in hybrid representation systems
• scientific article; zbMATH DE number 4053071
• scientific article; zbMATH DE number 517003
• Translations between logics: a survey
• A unified framework for disambiguating finite transductions

Cited in

(1)

• Enumerating Minimally Revised Specifications Using Dualization

This page was built for publication: Translation-Based Revision and Merging for Minimal Horn Reasoning.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576205)