Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcos Cramer
ASPIC-END: Structured Argumentation With Explanations and Natural Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Introduction to Structured Argumentation
Argument and Computation
Linguistics
Computer Science Applications
Artificial Intelligence
Language
Computational Mathematics
Computing Argumentative Explanations in Bipolar Argumentation Frameworks
Proceedings of the AAAI Conference on Artificial Intelligence
Evidence-Based Development - Coupling Structured Argumentation With Requirements Development
Belief Revision in Structured Probabilistic Argumentation
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Natural Deduction in a Paracomplete Setting
Logical Investigations
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Towards a Canonical Classical Natural Deduction System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-End Maritime Security as Legal Argumentation
