Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:CLAR (4. : 2021 : Hangzhou) Logic and Argumentation
1. Verfasser: Li, Yanjun (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Towards a General Theory of Decomposability in Abstract Argumentation 2021 Giacomin, Massimiliano
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation 2021 Kampik, Timotheus
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks 2021 Lagasquie-Schiex, Marie-Christine
Relevant Epistemic Logic with Public Announcements and Common Knowledge 2021 Punčochář, Vít
Towards a Sound and Complete Dialogue System for Handling Enthymemes 2021 Xydis, Andreas
A Henkin-Style Completeness Proof for the Modal Logic S5 2021 Bentzen, Bruno
A Framework for Intuitionistic Grammar Logics 2021 Lyon, Tim S.
Choosing a Logic to Represent the Semantics of Natural Language 2021 Pease, Adam
Paranegations and the Square of Oppositions 2021 Urbański, Mariusz
Validity Under Assumptions and Modus Ponens 2021 Wen, Xuefeng
Entailments with Sentential Predicates 2021 Zuber, Richard
Resolving the Cohenian Paradox in Judicial Probability Theory 2021 Du, Wenjing
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter 2021 Satoh, Ken
New Weak Admissibility Semantics for Abstract Argumentation 2021 Dauphin, Jérémie
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation 2021 Diller, Martin
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans 2021 Li, Yanjun
Intrinsic Argument Strength in Structured Argumentation: A Principled Approach 2021 Spaans, Jeroen Paul
Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation 2021 Gonzalez, Melisa G. Escañuela
Collective Argumentation with Topological Restrictions 2021 Chen, Weiwei
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments 2021 Cramer, Marcos
Alle Artikel auflisten