Paper Citation Record · LEDGER

Design and Results of the Second International Competition on Computational Models of Argumentation

As of 22 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1909.00621.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1909.00621 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:53:05.089336Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

24 of 24 outbound references displayed

verified exact4
verified fuzzy15
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fb98dd01-1eb9-41a9-9cd4-7cc195736658 · outbound

This paper cites an unresolved cited work.

Design and Results of the Second International Competition on Computational Models of Argumentation Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T05:53:05.149888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6d7df696-ea74-400b-a57f-4b662095bcee · outbound

This paper cites An extensible SAT-solver.

Design and Results of the Second International Competition on Computational Models of Argumentation An extensible SAT-solver

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.361635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b417460c-de5f-401d-a05d-bf475fff38b9 · outbound

This paper cites The DIAMOND system for comput- ing with abstract dialectical frameworks.

Design and Results of the Second International Competition on Computational Models of Argumentation The DIAMOND system for comput- ing with abstract dialectical frameworks

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.351733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b6e2f199-4f27-46ac-9aef-e2aa999de173 · outbound

This paper cites CEUR- WS.org,.

Design and Results of the Second International Competition on Computational Models of Argumentation CEUR- WS.org,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.332034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 41ca67f0-343e-4b33-afad-4c14e7e46581 · outbound

This paper cites Heureka: A general heuristic backtracking solver for abstract argumentation.

Design and Results of the Second International Competition on Computational Models of Argumentation Heureka: A general heuristic backtracking solver for abstract argumentation

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.322265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d53941b4-f27e-4242-a8d2-11550f1288d7 · outbound

This paper cites http://www.argumentationcompetition.org/2017/ SolverRequirements.pdf.,.

Design and Results of the Second International Competition on Computational Models of Argumentation http://www.argumentationcompetition.org/2017/ SolverRequirements.pdf.,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.302286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1fe74cb7-82b4-4ebb-ac39-c8e618678059 · outbound

This paper cites http://www.

Design and Results of the Second International Competition on Computational Models of Argumentation http://www

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.291749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 335a98c7-2a81-4788-9eb1-87d53d45a4dc · outbound

This paper cites Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly.

Design and Results of the Second International Competition on Computational Models of Argumentation Jean-Marie Lagniez, Emmanuel Lonca, and Jean-Guy Mailly

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T05:53:05.132552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0ddc075d-d1a5-4eb8-af4f-94ece4479395 · outbound

This paper cites CEUR- WS.org,.

Design and Results of the Second International Competition on Computational Models of Argumentation CEUR- WS.org,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.281700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 71b5292e-02c3-49f7-892b-3d24554bdb9e · outbound

This paper cites an unresolved cited work.

Design and Results of the Second International Competition on Computational Models of Argumentation Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:53:05.270626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4146f3b0-46d9-4767-b990-a4de182f8fa8 · outbound

This paper cites Constraint propagation in propositional planning.

Design and Results of the Second International Competition on Computational Models of Argumentation Constraint propagation in propositional planning

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.260334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 10eff49a-4cf5-436d-bd61-aae1ca99f1a2 · outbound

This paper cites System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15).

Design and Results of the Second International Competition on Computational Models of Argumentation System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)

Reference 23

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T05:53:05.173618Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e405446a-d07c-4f9b-9fe5-35a154cadcc0 · outbound

This paper cites Mauro Vallati, Luk ´as Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, and Scott Sanner.

Design and Results of the Second International Competition on Computational Models of Argumentation Mauro Vallati, Luk ´as Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, and Scott Sanner

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T05:53:05.082990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0926b67d-4c89-4aca-8d30-72fdede878b9 · outbound

This paper cites On the combina- tion of argumentation solvers into parallel portfolios.

Design and Results of the Second International Competition on Computational Models of Argumentation On the combina- tion of argumentation solvers into parallel portfolios

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.250234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 77347096-a011-4d7f-82e6-6dbd1cb00e90 · outbound

This paper cites URL https://doi.org/10.1007/s11225-009-9210-5.

Design and Results of the Second International Competition on Computational Models of Argumentation URL https://doi.org/10.1007/s11225-009-9210-5

Reference 26

Resolution: verified exact; doi, observed 2026-08-14T05:53:05.121594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e882270f-90fc-4575-a0d4-9b597229d972 · outbound

This paper cites Solving set optimization problems by cardinality optimization with an applica- tion to argumentation.

Design and Results of the Second International Competition on Computational Models of Argumentation Solving set optimization problems by cardinality optimization with an applica- tion to argumentation

Reference 1959

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.341783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 20a8e013-8ada-4710-80df-e99e20988a4a · outbound

This paper cites http://www.argumentationcompetition.org/2017/ submissions.html.,.

Design and Results of the Second International Competition on Computational Models of Argumentation http://www.argumentationcompetition.org/2017/ submissions.html.,

Reference 2006

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.312442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 47e4bd56-2a57-41bd-b3cf-294a95b35ab7 · outbound

This paper cites Overview and analysis of the SAT challenge 2012 solver competition.

Design and Results of the Second International Competition on Computational Models of Argumentation Overview and analysis of the SAT challenge 2012 solver competition

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.381365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e59be248-e702-455d-b1af-3b1c70fed594 · outbound

This paper cites Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati.

Design and Results of the Second International Competition on Computational Models of Argumentation Federico Cerutti, Massimiliano Giacomin, and Mauro Vallati

Reference 2010

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.371350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2977f2c0-84ff-4066-af5e-1e9906c264c6 · outbound

This paper cites 2013.06.004.

Design and Results of the Second International Competition on Computational Models of Argumentation 2013.06.004

Reference 2013

Resolution: malformed identifier; no resolver link, observed 2026-08-14T05:53:05.022026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 177eec32-2a30-48c7-81d8-8f3313a0ec3a · outbound

This paper cites Stefano Bistarelli, Fabio Rossi, and Francesco Santini.

Design and Results of the Second International Competition on Computational Models of Argumentation Stefano Bistarelli, Fabio Rossi, and Francesco Santini

Reference 2015

Resolution: verified exact; doi, observed 2026-08-14T05:53:05.160028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6deaac59-9038-401e-af20-4c1143b2bc7e · outbound

This paper cites CEUR-WS.org,.

Design and Results of the Second International Competition on Computational Models of Argumentation CEUR-WS.org,

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.401622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation dbae6501-e101-40a0-80f8-3f61902af70c · outbound

This paper cites Predicting learnt clauses quality in modern SAT solvers.

Design and Results of the Second International Competition on Computational Models of Argumentation Predicting learnt clauses quality in modern SAT solvers

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:53:05.391682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c1482c5a-641f-46dd-bae4-c6d39672de06 · outbound

This paper cites Clingo = ASP + Control: Preliminary Report.

Design and Results of the Second International Competition on Computational Models of Argumentation Clingo = ASP + Control: Preliminary Report

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-14T05:53:05.039572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.