Triangle Logic Recomposition Exercise for Three-Clause Argument and Its Experimental Evaluation.
Tsukasa HirashimaTakuya KitamuraTomohiro OkinagaReo NagasawaYusuke HayashiPublished in: HCI (6) (2023)
Keyphrases
- experimental evaluation
- horn clauses
- logic based argumentation
- computational properties
- modal logic
- logic programming
- argumentation systems
- asynchronous circuits
- image analysis and retrieval
- search space
- temporal logic
- automated reasoning
- logical framework
- classical logic
- legal knowledge
- argumentation theory
- propositional variables