AnneMarie Borg

Orcid: 0000-0002-7204-6046

Affiliations:
  • Universiteit Utrecht, The Netherlands


According to our database1, AnneMarie Borg authored at least 37 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A postulate-driven study of logical argumentation.
Artif. Intell., September, 2023

Human-centred explanation of rule-based decision-making systems in the legal domain.
CoRR, 2023

Argumentative Reasoning in ASPIC+ under Incomplete Information.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Accessible Algorithms for Applied Argumentation.
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Human-Centred Explanation of Rule-Based Decision-Making Systems in the Legal Domain: Demonstration.
Proceedings of the Legal Knowledge and Information Systems, 2023

Demonstrating PyArg 2.0.
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022
Approximating stability for applied argument-based inquiry.
Intell. Syst. Appl., 2022

Abductive Reasoning with Sequent-Based Argumentation.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Stability and Relevance in Incomplete Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2022

Everyday Argumentative Explanations for Classification.
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

PyArg for Solving and Explaining Argumentation in Python: Demonstration.
Proceedings of the Computational Models of Argument, 2022

Modeling Contrastiveness in Argumentation.
Proceedings of the 22nd Workshop on Computational Models of Natural Argument, 2022

Explainable Logic-Based Argumentation.
Proceedings of the Computational Models of Argument, 2022

Contrastive Explanations for Argumentation-Based Conclusions.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.
Stud Logica, 2021

Logic-Based Approaches to Formal Argumentation.
FLAP, 2021

A Basic Framework for Explanations in Argumentation.
IEEE Intell. Syst., 2021

Enforcing Sets of Formulas in Structured Argumentation.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Characterizations and Classifications of Argumentative Entailments.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Necessary and Sufficient Explanations for Argumentation-Based Conclusions.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
Modeling defeasible reasoning from an argumentative angle.
PhD thesis, 2020

Assumptive Sequent-Based Argumentation.
FLAP, 2020

Necessary and Sufficient Explanations in Abstract Argumentation.
CoRR, 2020

Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Estimating Stability for Efficient Argument-Based Inquiry.
Proceedings of the Computational Models of Argument, 2020

Explaining Arguments at the Dutch National Police.
Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2019
A review of the relations between logical argumentation and reasoning with maximal consistency.
Ann. Math. Artif. Intell., 2019

2018
Reasoning with maximal consistency by argumentative approaches.
J. Log. Comput., 2018

Relevance in Structured Argumentation.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Equipping Sequent-Based Argumentation with Defeasible Assumptions.
Proceedings of the Computational Models of Argument, 2018

Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Prioritized Sequent-Based Argumentation.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

An Argumentative Agent-Based Model of Scientific Inquiry.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Argumentative Approaches to Reasoning with Consistent Subsets of Premises.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2015
Realization Theorems for Justification Logics: Full Modularity.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015


  Loading...