SMT-Based Encoding of Argumentation Dialogue Games

Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny

doi:10.1007/978-3-030-20915-5_50

ScienceGate Book Chapters

BOOK-CHAPTER

SMT-Based Encoding of Argumentation Dialogue Games

Magdalena Kacprzak Anna Sawicka Andrzej Zbrzezny

Year: 2019 Lecture notes in computer science Pages: 564-574 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-030-20915-5_50

Get Full-Text PDF Get Analytical Report

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

Cited By

0.00

FWCI (Field Weighted Citation Impact)

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

SMT-Based Encoding of Argumentation Dialogue Games

Metrics

Topics

Related Documents

Dialogue Games for Agent Argumentation

24 On Dialogue-Games, Argumentation, and Literature

Multi-party Dialogue Games for Dialectical Argumentation

Supporting Argumentation Schemes in Argumentative Dialogue Games

Dialogue Games for Argumentation Frameworks with Necessities