Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation

DOI10.1145/2629669zbMath1354.68256OpenAlexW1974666098MaRDI QIDQ2946739

Dorota Leszczyńska-Jasion, Maciej Komosiński, Adam Kups, Mariusz Urbański

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2629669

zbMATH Keywords

abductionmulticriteria optimizationdominance relationsynthetic tableau method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (4)

Automated Generation of Erotetic Search Scenarios ⋮ On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations ⋮ Synthetic tableaux: Minimal tableau search heuristics ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abductive cognition. The epistemological and eco-cognitive dimensions of hypothetical reasoning
• Abductive reasoning. Logical investigations into discovery and explanation
• The computational complexity of abduction
• Handbook of proof theory
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• A Formal Logic for Abductive Reasoning
• Towards feasible solutions of the tautology problem
• First order abduction via tableau and sequent calculi
• The complexity of logic-based abduction
• Multicriteria Decision Aid and Artificial Intelligence
• Multicriteria Optimization
• Evolutionary Algorithms for Solving Multi-Objective Problems
• AI*IA 2003: Advances in Artificial Intelligence
• Handbook of metaheuristics

This page was built for publication: Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation