Translation-Based Revision and Merging for Minimal Horn Reasoning.

DOI10.3233/978-1-61499-672-9-734zbMATH Open1403.68254OpenAlexW2571594325MaRDI QIDQ4576205FDOQ4576205

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)