A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur

DOI10.1007/978-3-030-20528-7_13OpenAlexW2945669152MaRDI QIDQ2326724

Sopo Pkhakadze, Hans Tompits

Publication date: 10 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-20528-7_13

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur