Improved Answer-Set Programming Encodings for Abstract Argumentation

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.Comment: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 201

Improved predictions by Pcons.net using multiple templates

Summary: Multiple templates can often be used to build more accurate homology models than models built from a single template. Here we introduce PconsM, an automated protocol that uses multiple templates to build protein models. PconsM has been among the top-performing methods in the recent CASP experiments and consistently perform better than the single template models used in Pcons.net. In particular for the easier targets with many alternative templates with a high degree of sequence identity, quality is readily improved with a few percentages over the highest ranked model built on a single template. PconsM is available as an additional pipeline within the Pcons.net protein structure prediction server

New attempts to understand nanodiamond stardust

We report on a concerted effort aimed at understanding the origin and history of the pre-solar nanodiamonds in meteorites including the astrophysical sources of the observed isotopic abundance signatures. This includes measurement of light elements by secondary ion mass spectrometry (SIMS), analysis of additional heavy trace elements by accelerator mass spectrometry (AMS) and dynamic calculations of r-process nucleosynthesis with updated nuclear properties. Results obtained indicate: a) there is no evidence for the former presence of now extinct 26Al and 44Ti in our diamond samples other than what can be attributed to silicon carbide and other "impurities"; this does not offer support for a supernova (SN) origin but neither does it negate it; b) analysis by AMS of platinum in "bulk diamond" yields an overabundance of r-only 198Pt that at face value seems more consistent with the neutron burst than with the separation model for the origin of heavy trace elements in the diamonds, although this conclusion is not firm given analytical uncertainties; c) if the Xe-H pattern was established by an unadulterated r-process, it must have been a strong variant of the main r-process, which possibly could also account for the new observations in platinum.Comment: Workshop on Astronomy with Radioactvities VII; Publications of the Astronomical Society of Australia, accepte

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

Peer reviewe

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

Peer reviewe

Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation

Peer reviewe

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

Peer reviewe

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Peer reviewe

Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism

Peer reviewe

From Structured to Abstract Argumentation : Assumption-Based Acceptance via AF Reasoning

Peer reviewe