ASPIC-END: Structured Argumentation With Explanations and Natural Deduction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-75553-3_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Introduction to Structured Argumentation

Argument and Computation
LinguisticsComputer Science ApplicationsArtificial IntelligenceLanguageComputational Mathematics
2014English

Computing Argumentative Explanations in Bipolar Argumentation Frameworks

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Evidence-Based Development - Coupling Structured Argumentation With Requirements Development

2012English

Belief Revision in Structured Probabilistic Argumentation

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2015English

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Natural Deduction in a Paracomplete Setting

Logical Investigations
2014English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Towards a Canonical Classical Natural Deduction System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

High-End Maritime Security as Legal Argumentation

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy