A Sequent-Based Representation of Logical Argumentation

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-40624-9_5 ◽

2013 ◽

pp. 69-85 ◽

Cited By ~ 4

Author(s):

Ofer Arieli

Download Full-text