Restricted default theories: expressive power and outlier detection tasks

DOI10.1016/J.TCS.2014.11.010MaRDI QIDQ483301zbMATH OpenOpenAlexFDO

Authors Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Publication date 16 December 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.11.010

zbMATH Keywords

outlier detectioncomputational complexitydefault logictractable algorithms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Recommendations

• Outlier detection for simple default theories
• Outlier detection using default reasoning
• Logics in Artificial Intelligence
• Outlier detection by logic programming
• Discovery Science

Cites work

• scientific article; zbMATH DE number 1237865 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 6958 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A logic for default reasoning
• Artificial intelligence. A new synthesis
• Complexity Results for Nonmonotonic Logics
• Computational properties of metaquerying problems
• Hard problems for simple default logics
• Introduction to logic-based artificial intelligence
• Metaqueries: Semantics, complexity, and efficient algorithms
• On the parameterized complexity of default logic and autoepistemic logic
• Outlier detection for simple default theories
• Outlier detection using default reasoning
• Proof complexity of propositional default logic
• Propositional semantics for disjunctive logic programs
• The complexity of reasoning for fragments of default logic
• Yet some more complexity results for default logic

Cited in

(2)

• Outlier detection using default reasoning
• Outlier detection for simple default theories

This page was built for publication: Restricted default theories: expressive power and outlier detection tasks

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