A New Computational Logic Approach to Reason with Conditionals

DOI10.1007/978-3-319-23264-5_23zbMath1467.68171OpenAlexW2396722271MaRDI QIDQ3449210

Emmanuelle-Anna Dietz, Steffen Hölldobler

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: A New Computational Logic Approach to Reason with Conditionals