Towards an Executable Methodology for the Formalizationof Legal Texts

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:CLAR (3. : 2020 : Hangzhou) Logic and Argumentation
1. Verfasser: Libal, D. Tomer (VerfasserIn)
Weitere Verfasser: Steen, Alexander (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Preservation of Admissibility with Rationality and Feasibility Constraints 2020 Chen, Weiwei
Dynamics of Fuzzy Argumentation Frameworks 2020 Wang, Zongshun
A Formalization of the Slippery Slope Argument 2020 Yu, Zhe
Semirings of Evidence 2020 Baur, Michael
Logic Programming, Argumentation and Human Reasoning 2020 Cramer, Marcos
A Logic of Knowledge and Belief Based on Abstract Arguments 2020 Li, Xu
Computer-Supported Analysis of Arguments in Climate Engineering 2020 Fuenmayor, David
Towards an Executable Methodology for the Formalizationof Legal Texts 2020 Libal, D. Tomer
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. 2020 Berkel, Kees van
Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope 2020 Liga, Davide
Further Steps Towards a Logic of Polarization in Social Networks 2020 Pedersen, Mina Young
Group Belief 2020 Agotnes, Thomas
Broadening Label-Based Argumentation Semantics with May-Must Scales . 2020 Arisaka, Ryuta
Ideal Related Algebras and Their Logics Extended Abstract 2020 Düntsch, Ivo
Reasoning About Degrees of Confirmation 2020 Dautovié, Sejla
A Meta-level Annotation Language for Legal Texts 2020 Libal, Tomer
Intuitionistic-Bayesian Semantics of First-Order Logic for Generics 2020 Suzuki, Satoru
Probabilistic Three-Valued Argumentation Frameworks 2020 Wu, Jiachao
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting 2020 Oliveira, Tiago
Ambiguity Preference and Context Learning in Uncertain Signaling Liping Tang 2020 Tang, Liping
Alle Artikel auflisten