INSPECTING AND PREFERRING ABDUCTIVE MODELS

DOI10.1142/9789814329484_0010zbMath1348.68029OpenAlexW625616724WikidataQ62045802 ScholiaQ62045802MaRDI QIDQ2829938

Gonçalo Lopes, Alexandre Miguel Pinto, Pierangelo Dell'Acqua, Luís Moniz Pereira

Publication date: 9 November 2016

Published in: The Handbook on Reasoning-Based Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/726908a113e82497cebc4417d80f0925524540e1

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Naturalizing logic

This page was built for publication: INSPECTING AND PREFERRING ABDUCTIVE MODELS