On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

Keywords

Argumentation theory, Analogy, Computer science, Artificial intelligence, Dialectic

References

• Towards a First Order Theory of Reasoning AgentsNicholas Davies — 1990
• Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementationRégis Riveret — 2008
• Fundamentals of Argumentation Theory : A Handbook of Historical Backgrounds and Contemporary DevelopmentsFrans H. van Eemeren, Rob Grootendorst, Ralph H. Johnson — 1997
• Under the spell of Leibniz's dreamE. Dijkstra — 2001
• Legal rules and argumentation in a metalogic frameworkJenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt — 2007
• Relating Protocols For Dynamic Dispute With Logics For Defeasible ArgumentationHenry Prakken — 2000
• The Zeno argumentation frameworkThomas F. Gordon, Nikos Karacapilidis — 1997
• Participating in Synchronous Online EducationStefan Hrastinski — 2007
• Towards Using Metalevel Stratification for Coordinating Agent Strategies.Jenny Eriksson Lundström, Andreas Hamfelt — 2007
• Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in LawHenry Prakken — 1997
• Notes on the formalization of logicDana Scott, David Bostock — 1981
• Formale Dialektik : ein Beitrag zu einer Theorie des rationalen ArgumentierensRainer Hegselmann — 1985
• The New Rhetoric: A Treatise on ArgumentationChaïm Perelman, Lucie Olbrechts-Tyteca, John Wilkinson — 1971
• Relevance in argumentationDouglas Walton — 2003
• Specification and Implementation of Toulmin Dialogue GameTrevor Bench‐Capon — 1999
• ENTAILMENT: The Logic of Relevance and Necessity (Volume I)Helen Lewis — 1978
• Presumptions and Burdens of ProofHenry Prakken, Giovanni Sartor — 2006
• Dialectical Relevance in Persuasion DialogueDouglas Walton — 1999
• Law, Logic, Rhetoric: A Procedural Model of Legal ArgumentationA.R. Lodder — 2008
• Dialectics: A Controversy-Oriented Approach to the Theory of KnowledgeNicholas Rescher — 1977

Cited by

• Towards a dynamic metalogic implementation of legal argumentationJenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt — 2011
• IMPLEMENTATION OF A NON-GROUND META-INTERPRETERGiacomo Aceto, Andreas Hamfelt, Jenny Eriksson — 2010
• Implementation of a non-Ground Meta-Interpreter for Defeasible LogicGiacomo Aceto — 2010
• A Dynamic Metalogic Argumentation Framework ImplementationJ. Lundström, G. Aceto, A. Hamfelt — 2011

Related papers

• Argumentation and CP-Boolean GamesElise Bonzon, Caroline Devred, Marie-Christine Lagasquie-Schiex — 2010
• From Arguments in Natural Language to Argumentation FrameworksAdam Wyner — 2010
• A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoningMartín O. Moguillansky, Guillermo Ricardo Simari — 2016
• Argumentation and graph propertiesMamadou Bilo Doumbouya, Bernard Kamsu-Foguem, Hugues Kenfack — 2016
• An Incremental Algorithm for Computing the Grounded Extension of Dynamic Abstract Argumentation FrameworksGianvincenzo Alfano, Sergio Greco, Francesco Parisi — 2019
• Extension-based semantics of argumentation frameworks for agent interactionsCristian Gratie — 2012
• An Argumentation Framework based on Paraconsistent LogicYuichi Umeda, Takehisa Takahashi, Hajime Sawamura — 2004
• Studying the grounded semantics by using a suitable codificationJuan Carlos Nieves Sánchez, Mauricio Osorio, Ulises Cortés — 2008