dl2asp: Implementing Default Logic via Answer Set Programming

DOI10.1007/978-3-642-15675-5_11zbMath1306.68188MaRDI QIDQ4930758

No author found.

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_11

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68N17: Logic programming

91B14: Social choice

Related Items

dl2asp, Well-Supported Semantics for Logic Programs with Generalized Rules