Reading Articles

Following temporariry lists my current reading. Each of them is categozed subjectively into a category.

Academic Papers

Abstract Argumentation

• Similarity, causality and argumentation

Argumentation Schemes

• Argumentation Schemes for Statutory Interpretation: A Logical Analysis
• Argumentation Schemes: From Informal Logic to Computational Models
• The function of negation in argumentation

Argumentation Systems

• Argumentation-based Normative Practical Reasoning

Logic Programming

• Foundations of Logic Programming
• Extended Logic Programs

Forums

Logic Programming

• Double negation and execution model in Prolog
• Negation in prolog
• Why double negation doesn’t bind in Prolog
• How does Negation-as-Failure works in Prolog?

Lecture Slides

Logic Programming

• Resolution in Propositional and First-Order Logic

Wikipedia

• Gödel’s incompleteness theorems