Main Page
From Argumentation Community Group
Contents
- Community Group Website
- Community Portal
- Argumentation Discussion Topics
- Technical Discussion Topics
Journals
- American Dialectic
- Annals of Mathematics and Artificial Intelligence
- Argument and Computation
- Argumentation
- Argumentation and Advocacy
- Argumentation et Analyse du Discours
- Artificial Intelligence and Law
- Artificial Intelligence Journal
- Cogency
- Connection Science
- Controversia
- Critical Discourse Studies
- Electronic Journal of Integrated Studies in Discourse and Argumentation
- History and Philosophy of Logic
- Informal Logic
- Journal of Applied Communication Research
- Journal of Applied Logic
- Journal of Applied Non-Classical Logics
- Journal of Argumentation in Context
- Journal of Artificial Intelligence Research
- Journal of Automated Reasoning
- Journal of Experimental and Theoretical Artificial Intelligence
- Journal of Logic and Computation
- Journal of Symbolic Logic
- Kairos: A Journal of Rhetoric, Technology, and Pedagogy
- Logique et Analyse
- Noûs
- Philosophical Review
- Philosophy and Rhetoric
- Present Tense: A Journal of Rhetoric in Society
- Quarterly Journal of Speech
- Revista Iberoamericana de Argumentación
- Rhetor
- Rhetoric Review
- Rhetoric Society Quarterly
- Rhetorica
- Semantics and Pragmatics
- Studies in Communication Sciences
- Studies in Logic, Grammar, and Rhetoric
- The Philosophical Quarterly
- The Reasoner
Conferences
- Association for the Advancement of Artificial Intelligence (AAAI)
- Autonomous Agents and Multiagent Systems (AAMAS)
- Argumentation in Multi-Agent Systems (ArgMAS)
- International Conference on Automated Deduction (CADE)
- International Conference on Computer Aided Verification (CAV)
- Computational Models of Natural Argument (CMNA)
- International Conference on Computational Models of Argument (COMMA)
- International Conference on AI and Law (ICAIL)
- International Joint Conference on Automated Reasoning (IJCAR)
- International Society for the Study of Argumentation Conference on Argumentation (ISSA)
- Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
- Proof Exchange for Theorem Proving (PxTP)
- International Web Rule Symposium (RuleML)
- Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
- Theory and Applications of Formal Argumentation (TAFA)
- Workshop on Logic, Language, Information and Computation (WoLLIC)
Organizations
- Association for the Advancement of Artificial Intelligence (AAAI)
- Analyse du Discours, Argumentation, Rhétorique (ADARR)
- American Forensic Association (AFA)
- The Association for Informal Logic and Critical Thinking (AILACT)
- Argumentacja, Dialog, Perswazja (ArgDiaP)
- Laboratório de Argumentaçào (ArgLab)
- Argumentation in Multi-Agent Systems (ArgMAS)
- American Society for the History of Rhetoric (ASHR)
- Centro de Estudios de la Argumentación y el Razonamiento (CEAR)
- The Centre for Research in Reasoning, Argumentation and Rhetoric (CRRAR)
- Canadian Society for the Study of Rhetoric (CSSR)
- The Association for Logic, Language and Information (FoLLI)
- Le site du Groupe de Recherche en Rhétorique et en Argumentation Linguistique (GRAL)
- International Association for Dialogue Analysis (IADA)
- International Debate Education Association (IDEA)
- International Pragmatics Association (IPrA)
- International Society for the History of Rhetoric (ISHR)
- The International Society for the Study of Argumentation (ISSA)
- Japan Debate Association (JDA)
- National Communication Association (NCA)
- Nationaal Centrum voor Navorsingen in de Logica (NCNL)
- Nordic Network for the History of Rhetoric (NNHR)
- The Ontario Society for the Study of Argumentation (OSSA)
- Polskie Towarzystwo Retoryczne (Polish Rhetoric Society) (PTR)
- Rhetoric Society of America (RSA)
- Rhetoric Society of Europe (RSE)
Argumentation Formats
- Akoma Ntoso
- Argument Interchange Format (AIF)
- Argument Markup Language (AML)
- LegalDocumentXML (LegalDocML)
- Legal Knowledge Interchange Format (LKIF)
- Mizar
- Open Mathematical Documents (OMDoc)
- Proof Markup Language (PML)
- SALT Rhetorical Ontology (SRO)
- Thousands of Problems for Theorem Provers (TPTP)
- Thousands of Solutions for Theorem Provers (TSTP)
Ethical Reasoning Systems and Legal Expert Systems
- CABARET
- CATO
- ETHAN
- Ethos System
- GenEth
- GREBE
- HYPO
- IBP
- Jeremy
- MedEthEx
- PETE
- SHYSTER
- SIROCCO
- Truth-Teller
- WD
Theorem Provers and Proof Assistants
- ACL2
- Agda
- Alfa
- Automath
- CARINE
- CLAM
- Coq
- CVC
- E
- EQP
- Gandalf
- Isabelle / HOL
- INKA
- IsaPlanner
- j'Imp
- Jape
- KED Theorem Prover
- KeY
- KeYmeara
- LambdaCLAM
- LEGO
- Leo II
- LoTREC
- Matita
- MetaPRL
- Metis
- MINLOG
- Mizar
- Nqthm
- NuPRL
- OBJ3
- OMEGA
- OSHL
- Otter
- Paradox
- PhoX
- Prover9 / Mace4
- PVS
- ReDuX
- SAD
- SASyLF
- Saturate
- SNARK
- SPASS
- Tau
- Theorem Checker
- Theorem Proving System
- Theorema
- Twelf
- Typelab
- Vampire / Vampyre
- Waldmeister
- Yarrow
