Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T05:53:05.089336Z
Paper Citation Record · LEDGER
Design and Results of the Second International Competition on Computational Models of Argumentation
As of 20 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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.