A Resolution-Based Calculus for Preferential Logics

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94205-6_33 ◽

2018 ◽

pp. 498-515 ◽

Cited By ~ 1

Author(s):

Cláudia Nalon ◽

Dirk Pattinson

Download Full-text