15 found
Order:
  1. Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based model.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2018 - Historical Social Research 43 (1):285-309.
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  2. Justification, stability and relevance in incomplete argumentation frameworks.Daphne Odekerken, AnneMarie Borg & Floris Bex - forthcoming - Argument and Computation:1-58.
    We explore the computational complexity of justification, stability and relevance in incomplete argumentation frameworks (IAFs). IAFs are abstract argumentation frameworks that encode qualitative uncertainty by distinguishing between certain and uncertain arguments and attacks. These IAFs can be completed by deciding for each uncertain argument or attack whether it is present or absent. Such a completion is an abstract argumentation framework, for which it can be decided which arguments are acceptable under a given semantics. The justification status of an argument in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 391--406.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  4.  72
    Theory-choice, transient diversity and the efficiency of scientific inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2019 - European Journal for Philosophy of Science 9 (2):26.
    Recent studies of scientific interaction based on agent-based models suggest that a crucial factor conducive to efficient inquiry is what Zollman has dubbed ‘transient diversity’. It signifies a process in which a community engages in parallel exploration of rivaling theories lasting sufficiently long for the community to identify the best theory and to converge on it. But what exactly generates transient diversity? And is transient diversity a decisive factor when it comes to the efficiency of inquiry? In this paper we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  42
    Formal Models of Scientific Inquiry in a Social Context: An Introduction.Dunja Šešelja, Christian Straßer & AnneMarie Borg - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):211-217.
    Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different forms of ‘methodological iteration’ whereby the models initiate new lines (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  15
    Reasoning with maximal consistency by argumentative approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
    Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. An Argumentative Agent-Based Model of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2017 - In Salem Benferhat, Karim Tabia & Moonis Ali (eds.), Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Iea/Aie 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. Springer Verlag. pp. 507--510.
  8.  18
    A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.
    In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These structures are an extension of sequent-based argumentation frameworks, in which arguments and the attack relations among them are expressed not only by Gentzen-style sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the known weaknesses of logical argumentation frameworks and to prove several desirable properties of the entailments that are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Prioritized sequent-based argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
  10.  12
    Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.AnneMarie Borg, Ofer Arieli & Christian Straßer - 2018 - In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Springer. pp. 17–34.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Relevance in Structured Argumentation.AnneMarie Borg & Christian Straßer - 2018 - In Jérôme Lang (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18).
  12.  6
    Argumentative Approaches to Reasoning with Consistent Subsets of Premises.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2017 - Lecture Notes in Computer Science:455–465.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  24
    A postulate-driven study of logical argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2023 - Artificial Intelligence 322 (C):103966.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Proceedings of Flairs 2020.Ofer Arieli, AnneMarie Borg & Christian Straßer (eds.) - forthcoming
    No categories
     
    Export citation  
     
    Bookmark  
  15. Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Ofer Arieli, AnneMarie Borg & Christian Straßer (eds.), Proceedings of Flairs 2020.
    No categories
     
    Export citation  
     
    Bookmark