BOOK-CHAPTER

SMT-Based Encoding of Argumentation Dialogue Games

Magdalena KacprzakAnna SawickaAndrzej Zbrzezny

Year: 2019 Lecture notes in computer science Pages: 564-574   Publisher: Springer Science+Business Media
Keywords:
Correctness Computer science Encoding (memory) Argumentation theory Satisfiability Theoretical computer science Feature (linguistics) Artificial intelligence Protocol (science) Conjunction (astronomy) Programming language Natural language processing Algorithm

Metrics

0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
13
Refs
0.08
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Speech and dialogue systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence
Natural Language Processing Techniques
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Multi-party Dialogue Games for Dialectical Argumentation

Jinping YuanYao LiZhiyong HaoYanjuan Wang

Journal:   Journal of Computers Year: 2012 Vol: 7 (10)
JOURNAL ARTICLE

Supporting Argumentation Schemes in Argumentative Dialogue Games

Simon Wells

Journal:   Studies in Logic Grammar and Rhetoric Year: 2014 Vol: 36 (1)Pages: 171-191
BOOK-CHAPTER

Dialogue Games for Argumentation Frameworks with Necessities

Farid NouiouaSara Boutouhami

Lecture notes in computer science Year: 2015 Pages: 72-82
© 2026 ScienceGate Book Chapters — All rights reserved.