Dialogue Games for Classical Logic.
Jesse AlamaAleks KnoksSara L. UckelmanPublished in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
- classical logic
- dialogue games
- logic programming
- dialogue system
- modal logic
- intuitionistic logic
- artificial intelligence and law
- defeasible logic
- default logic
- multi agent systems
- resolve conflicts
- agent societies
- valued logic
- proceedings of the th international conference
- argumentation frameworks
- logic programs
- programming language
- conflict resolution
- machine learning
- case based reasoning