Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T17:19:20.987111Z
Paper Citation Record · LEDGER
Counting Answer Sets of Disjunctive Answer Set Programs
As of 8 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:2507.11655.
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-08T06:32:00.761636+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
66 of 66 outbound references displayed
- verified exact3
- verified fuzzy50
- unresolved13
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b269b98a-1aca-424d-ae59-ffd9c9b00850 · outbound
This paper cites write newline.
Counting Answer Sets of Disjunctive Answer Set Programs write newline
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:19:15.165392Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e81a6f19-2221-437e-9ab5-927b4a2d883a · outbound
This paper cites , Amendola, G.
Counting Answer Sets of Disjunctive Answer Set Programs , Amendola, G
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:27.888360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation db3ece5f-4256-4ee5-843b-d964c90da9c3 · outbound
This paper cites , Dodaro, C.
Counting Answer Sets of Disjunctive Answer Set Programs , Dodaro, C
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:27.705714Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0f860e37-846a-4761-87ba-468708d64cf2 · outbound
This paper cites , Ricca, F.
Counting Answer Sets of Disjunctive Answer Set Programs , Ricca, F
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:27.521865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9fd8ecbc-1371-478c-a759-a0f4f3f18027 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:27.346938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 320c5214-e7bb-41e0-8480-6e75d53ea10e · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:27.155962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 42bd5a0e-11e2-4117-a527-2862468e8cf7 · outbound
This paper cites , Heule, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Heule, M
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:26.950624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a6261203-3535-40c6-ba09-7624ef667229 · outbound
This paper cites and Dechter, R.
Counting Answer Sets of Disjunctive Answer Set Programs and Dechter, R
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:26.802454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7cbe964e-165b-415b-b5ce-e2f22a5cce47 · outbound
This paper cites , Angiulli, F.
Counting Answer Sets of Disjunctive Answer Set Programs , Angiulli, F
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:26.601113Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 82a8baad-1d0f-4d2d-a87d-ac8fa05f42e6 · outbound
This paper cites and Meel, K.
Counting Answer Sets of Disjunctive Answer Set Programs and Meel, K
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:26.435521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 550df899-c21b-4772-a3ac-736422902530 · outbound
This paper cites , Lagniez, J.-M.
Counting Answer Sets of Disjunctive Answer Set Programs , Lagniez, J.-M
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:26.267989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a051430f-7392-42e4-a23f-ef43c445b0ab · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:26.114619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3de30391-b12d-4ff7-bb41-08172ef8d291 · outbound
This paper cites , Hermann, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Hermann, M
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.963933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d62e76da-42b5-4c84-8d6f-ae6f83ac1227 · outbound
This paper cites , Eiter, T.
Counting Answer Sets of Disjunctive Answer Set Programs , Eiter, T
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.929857Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 55868c05-a4cb-48b4-9b8d-e075d5294820 · outbound
This paper cites , Fink, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Fink, M
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.886593Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 90d7a177-638a-4252-9f43-0e7834eec703 · outbound
This paper cites and Gottlob, G.
Counting Answer Sets of Disjunctive Answer Set Programs and Gottlob, G
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.857835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5ca8237d-5d0b-4d34-bd67-159346eb1b6f · outbound
This paper cites , Hecher, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Hecher, M
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.815215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 45510c34-c18f-40f4-9972-77acf96541e2 · outbound
This paper cites , Hecher, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Hecher, M
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.784601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 98219686-c239-4bc8-b03d-5ac66afd6d49 · outbound
This paper cites Consistency of C lark's completion and existence of stable models.
Counting Answer Sets of Disjunctive Answer Set Programs Consistency of C lark's completion and existence of stable models
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.763928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c09d2b86-150f-4e86-829b-8cdb24337432 · outbound
This paper cites and Schulz, C.
Counting Answer Sets of Disjunctive Answer Set Programs and Schulz, C
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.740579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 496885d9-f583-4cf7-948c-12471194e1c9 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.715096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 116f850a-2407-4c3c-bcf7-89a3cfdf082f · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.688356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4fe06415-5a77-46b3-a5ac-cad732e6e241 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.652912Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d2439252-628a-4698-b470-884992ac68f6 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.618600Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a146ef4c-2e0c-4e69-a07d-9dd7e94ef577 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.594813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ef01573d-1cbf-4ccd-a5df-db052a857344 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.572662Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 411b0bce-98f5-48df-8f4e-28a7a4c2a8f8 · outbound
This paper cites , Kaufmann, B.
Counting Answer Sets of Disjunctive Answer Set Programs , Kaufmann, B
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.544619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 08ed3986-f101-4042-8d70-0ede6410ae98 · outbound
This paper cites , Maratea, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Maratea, M
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.514512Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 31767dd2-ac8d-4ab6-9411-fb4a02105f96 · outbound
This paper cites , Schaub, T.
Counting Answer Sets of Disjunctive Answer Set Programs , Schaub, T
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.486520Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4dd02bca-5431-442d-ae7a-4f4af0e455d1 · outbound
This paper cites and Lifschitz, V.
Counting Answer Sets of Disjunctive Answer Set Programs and Lifschitz, V
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.462307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c3ce558e-27a3-482b-835d-ab78ca8c39ef · outbound
This paper cites and Lifschitz, V.
Counting Answer Sets of Disjunctive Answer Set Programs and Lifschitz, V
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.441013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 30fc18c2-790c-410e-a8a3-7c31f25e4841 · outbound
This paper cites Treewidth-aware reductions of normal ASP to SAT --is normal ASP harder than SAT after all? Artificial Intelligence , 304:103651 2022.
Counting Answer Sets of Disjunctive Answer Set Programs Treewidth-aware reductions of normal ASP to SAT --is normal ASP harder than SAT after all? Artificial Intelligence , 304:103651 2022
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.418909Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4aba7c50-100a-4fd3-8609-0afdb74d62a0 · outbound
This paper cites and Kiesel, R.
Counting Answer Sets of Disjunctive Answer Set Programs and Kiesel, R
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.395460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 17e89b2d-60c8-4602-b007-b71f5e852f31 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:25.370745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b6a41d01-bb17-4f61-98a2-84695f666b8b · outbound
This paper cites Some (in) translatability results for normal logic programs and propositional theories.
Counting Answer Sets of Disjunctive Answer Set Programs Some (in) translatability results for normal logic programs and propositional theories
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.346989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 117eae61-e143-4650-92c7-38e161b68c6a · outbound
This paper cites and Niemel \"a , I.
Counting Answer Sets of Disjunctive Answer Set Programs and Niemel \"a , I
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.321974Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d32bdbc1-a8db-44a5-a1f2-67a0b2b376ee · outbound
This paper cites , Niemel \"a , I.
Counting Answer Sets of Disjunctive Answer Set Programs , Niemel \"a , I
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.300529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7cd8b9bd-1187-4ce4-988b-ba9754fc2bf7 · outbound
This paper cites , Wan, H.
Counting Answer Sets of Disjunctive Answer Set Programs , Wan, H
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.277049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4fd7bf35-ed5a-4f70-9852-8f09562c7c4a · outbound
This paper cites Minimal Model Counting via Knowledge Compilation.
Counting Answer Sets of Disjunctive Answer Set Programs Minimal Model Counting via Knowledge Compilation
Reference 39
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T17:19:21.565729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 913a802d-717d-4729-b4c2-205a9851b002 · outbound
This paper cites , Chakraborty, S.
Counting Answer Sets of Disjunctive Answer Set Programs , Chakraborty, S
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.250343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6e31c9ee-d69b-442d-b6af-961c21c18101 · outbound
This paper cites , Everardo, F.
Counting Answer Sets of Disjunctive Answer Set Programs , Everardo, F
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.229346Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 78fc6c23-d474-4d4d-8ee0-7aa4c4a5fb4b · outbound
This paper cites and Meel, K.
Counting Answer Sets of Disjunctive Answer Set Programs and Meel, K
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.204998Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d6d0e961-7d32-4e41-9ff6-aac0f2eb694e · outbound
This paper cites and Meel, K.
Counting Answer Sets of Disjunctive Answer Set Programs and Meel, K
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.178793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 54e0c737-6d51-45a1-aab1-4e7cbfbd2f35 · outbound
This paper cites and Meel, K.
Counting Answer Sets of Disjunctive Answer Set Programs and Meel, K
Reference 44
- Resolution
- verified exact
- raw_fallback, observed 2026-08-06T17:19:21.377139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b28f7a84-2743-44e0-943b-1441627ef947 · outbound
This paper cites Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.
Counting Answer Sets of Disjunctive Answer Set Programs Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
Reference 45
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T17:19:21.174529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b4186bed-1807-4675-9c27-7aba9758d105 · outbound
This paper cites and Stuckey, P.
Counting Answer Sets of Disjunctive Answer Set Programs and Stuckey, P
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.150554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6cbc26b4-379d-4830-a05b-82105332a685 · outbound
This paper cites and Marquis, P.
Counting Answer Sets of Disjunctive Answer Set Programs and Marquis, P
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.122007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1cfeebf7-2ec3-45b3-83d5-c136dfd526d1 · outbound
This paper cites and Marquis, P.
Counting Answer Sets of Disjunctive Answer Set Programs and Marquis, P
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.093355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7093d7ad-6bee-4d37-81b2-93e18011fe7c · outbound
This paper cites and Lifschitz, V.
Counting Answer Sets of Disjunctive Answer Set Programs and Lifschitz, V
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.049774Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b568c406-7aa1-4d86-a2b5-920ad2d9d489 · outbound
This paper cites , Talsania, S.
Counting Answer Sets of Disjunctive Answer Set Programs , Talsania, S
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:25.015057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 08ea392a-bf82-48a4-86d5-f0ccb4bd2eb1 · outbound
This paper cites and Ricca, F.
Counting Answer Sets of Disjunctive Answer Set Programs and Ricca, F
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.985617Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 97aa584a-3451-4428-8907-b19bc8f69270 · outbound
This paper cites Cmodels -- SAT -based disjunctive answer set solver.
Counting Answer Sets of Disjunctive Answer Set Programs Cmodels -- SAT -based disjunctive answer set solver
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.950258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b286cb7f-2387-4f83-8ef4-74931e7c5945 · outbound
This paper cites Thirteen definitions of a stable model.
Counting Answer Sets of Disjunctive Answer Set Programs Thirteen definitions of a stable model
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.918068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c20255cf-6119-4f45-b630-3779480a9ed5 · outbound
This paper cites and Razborov, A.
Counting Answer Sets of Disjunctive Answer Set Programs and Razborov, A
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.877010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2064a5d6-5998-4159-9ced-1643fe02dc1b · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:24.682374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ceb50132-5278-4eb4-9db1-cf5c7f080fa4 · outbound
This paper cites and Truszczy \'n ski, M.
Counting Answer Sets of Disjunctive Answer Set Programs and Truszczy \'n ski, M
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.449608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 010384f6-5b66-420f-95a9-2be9e1222275 · outbound
This paper cites , Balduccini, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Balduccini, M
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:24.172092Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 629ba614-7268-4514-9a3e-ddd90fc23451 · outbound
This paper cites , Son, T.
Counting Answer Sets of Disjunctive Answer Set Programs , Son, T
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:23.944672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 22edcaf7-3d3c-46c2-b91a-d0decab9a85c · outbound
This paper cites , Hecher, M.
Counting Answer Sets of Disjunctive Answer Set Programs , Hecher, M
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:23.620164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8dcb9bd4-730d-4719-a910-053912966d7d · outbound
This paper cites , Roy, S.
Counting Answer Sets of Disjunctive Answer Set Programs , Roy, S
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:23.410350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4efe3b00-1fd9-4a09-a4ca-4cac66c20e2b · outbound
This paper cites , M \"o hle, S.
Counting Answer Sets of Disjunctive Answer Set Programs , M \"o hle, S
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:23.158206Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a77141cd-331a-40de-b855-318db4d45639 · outbound
This paper cites , Hashimoto, K.
Counting Answer Sets of Disjunctive Answer Set Programs , Hashimoto, K
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:22.872402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2aec85f6-e6d3-4504-975d-ae0f8a76bef4 · outbound
This paper cites , Benhamou, B.
Counting Answer Sets of Disjunctive Answer Set Programs , Benhamou, B
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:22.622822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e8015e78-5d57-4c49-b3e4-3c2af2a74f53 · outbound
This paper cites an unresolved cited work.
Counting Answer Sets of Disjunctive Answer Set Programs Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:19:22.418867Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5edef516-9714-4696-92a6-af138a85cd32 · outbound
This paper cites From disjunctive to normal logic programs via unfolding and shifting.
Counting Answer Sets of Disjunctive Answer Set Programs From disjunctive to normal logic programs via unfolding and shifting
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:22.116121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ec22567c-45c6-4d68-ac52-d31b79e7144c · outbound
This paper cites write newline.
Counting Answer Sets of Disjunctive Answer Set Programs write newline
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:19:21.865886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.