Counting and Reasoning with Plans | Paper Citation Record

Observation 555f654e-89f2-4e2e-9b21-50d2e42b683e · outbound

This paper cites Faceted answer-set navigation.

Counting and Reasoning with Plans Faceted answer-set navigation

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.291638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67318a0c-2bda-4d54-bae3-1e00014425fb · outbound

This paper cites Advances in WASP.

Counting and Reasoning with Plans Advances in WASP

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.320715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27e51bf5-416c-470d-943e-2eecc6275507 · outbound

This paper cites Inconsistency proofs for ASP: the ASP - DRUPE format.

Counting and Reasoning with Plans Inconsistency proofs for ASP: the ASP - DRUPE format

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.325552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 749119fb-0a15-446b-85cd-3e916c66f3c7 · outbound

This paper cites ASP and subset minimality: Enumeration, cautious reasoning and MUS es.

Counting and Reasoning with Plans ASP and subset minimality: Enumeration, cautious reasoning and MUS es

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.334770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8846635f-960e-4857-a66e-d98835debd0a · outbound

This paper cites Optimizing planning domains by automatic action schema splitting.

Counting and Reasoning with Plans Optimizing planning domains by automatic action schema splitting

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.346828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6495d3f3-5787-443b-973d-117ce79ff29c · outbound

This paper cites Partial grounding in planning using small language models.

Counting and Reasoning with Plans Partial grounding in planning using small language models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.366857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0895fdc1-e44f-48d4-be75-fabdf6bc0116 · outbound

This paper cites On the glucose SAT solver.

Counting and Reasoning with Plans On the glucose SAT solver

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.371337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fea284d-db0b-450c-b2d2-9d1c444b032c · outbound

This paper cites A new exact solver for (weighted) max \# sat.

Counting and Reasoning with Plans A new exact solver for (weighted) max \# sat

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.375238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b19df23-0d32-4f6f-9dc3-9eb3218b5f86 · outbound

This paper cites Stable model counting and its application in probabilistic logic programming.

Counting and Reasoning with Plans Stable model counting and its application in probabilistic logic programming

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.379451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78bee6c5-c307-4654-99cf-d085ad41d5ef · outbound

This paper cites Learning planning domains from non-redundant fully-observed traces: Theoretical foundations and complexity analysis.

Counting and Reasoning with Plans Learning planning domains from non-redundant fully-observed traces: Theoretical foundations and complexity analysis

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.384416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb9cd1b3-f6e1-47a7-8b59-4d9bd4d93c70 · outbound

This paper cites CadiBack : Extracting backbones with CaDiCaL.

Counting and Reasoning with Plans CadiBack : Extracting backbones with CaDiCaL

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.424772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba0f036f-7d67-4cc1-9f49-4641c317dd4f · outbound

This paper cites Course of action generation for cyber security using classical planning.

Counting and Reasoning with Plans Course of action generation for cyber security using classical planning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.444335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cebd160c-b329-4607-87ab-3e0d4de132a3 · outbound

This paper cites Representative answer sets: Collecting something of everything.

Counting and Reasoning with Plans Representative answer sets: Collecting something of everything

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.488319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e7aec2a-9418-420e-965e-19e3cc178a6c · outbound

This paper cites Policies that generalize: Solving many planning problems with the same policy.

Counting and Reasoning with Plans Policies that generalize: Solving many planning problems with the same policy

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.504761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3346fa1b-c407-4514-8b80-886fb568a236 · outbound

This paper cites The computational complexity of propositional STRIPS planning.

Counting and Reasoning with Plans The computational complexity of propositional STRIPS planning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.514759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a3df2e9-fdaf-4ec4-a48b-88200c3249de · outbound

This paper cites A system for explainable answer set programming.

Counting and Reasoning with Plans A system for explainable answer set programming

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.519630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b72f972-1633-4c72-830c-560b45b31638 · outbound

This paper cites Interactive plan selection using linear temporal logic, disjunctive action landmarks, and natural language instruction.

Counting and Reasoning with Plans Interactive plan selection using linear temporal logic, disjunctive action landmarks, and natural language instruction

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.529387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0af6086-e3f0-42c6-8420-fb7513bec18b · outbound

This paper cites Chen, Sylvie Thi \'e baux, and Felipe Trevizan.

Counting and Reasoning with Plans Chen, Sylvie Thi \'e baux, and Felipe Trevizan

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.542869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 202a8e97-b47c-4a59-82c0-75369b6f43de · outbound

This paper cites Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence ( AAAI 2020).

Counting and Reasoning with Plans Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence ( AAAI 2020)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.584779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff6643fb-95df-41d9-8681-7fd5c6a96db2 · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:31.680146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5011b9b-87ea-4960-a771-70ba48722d2f · outbound

This paper cites Corr \^e a, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, and Stefan Woltran.

Counting and Reasoning with Plans Corr \^e a, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, and Stefan Woltran

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:37.128819Z

Source-reported events for the cited work

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

Observation 32ec8781-8512-4900-8a06-1b7f00f4d4cf · outbound

This paper cites A knowledge compilation map.

Counting and Reasoning with Plans A knowledge compilation map

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:37.117518Z

Source-reported events for the cited work

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

Observation 7bbb5bef-5844-4368-bf72-c04979798238 · outbound

This paper cites Knowledge compilation.

Counting and Reasoning with Plans Knowledge compilation

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:37.098329Z

Source-reported events for the cited work

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

Observation 4f20a7eb-6d9d-46ed-a7d9-8ee4b5ff6a5e · outbound

This paper cites Compiling knowledge into decomposable negation normal form.

Counting and Reasoning with Plans Compiling knowledge into decomposable negation normal form

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:37.064009Z

Source-reported events for the cited work

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

Observation ee9c910d-4144-44f9-84ea-3e6ea120fdcf · outbound

This paper cites Decomposable negation normal form.

Counting and Reasoning with Plans Decomposable negation normal form

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.943109Z

Source-reported events for the cited work

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

Observation 2eb8dbe2-20ba-46d5-b0e1-0fd5a54db3ae · outbound

This paper cites On the tractable counting of theory models and its application to truth maintenance and belief revision.

Counting and Reasoning with Plans On the tractable counting of theory models and its application to truth maintenance and belief revision

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.904848Z

Source-reported events for the cited work

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

Observation ac3bb831-43e2-48e5-8f02-41cecf3842c0 · outbound

This paper cites New advances in compiling CNF into decomposable negation normal form.

Counting and Reasoning with Plans New advances in compiling CNF into decomposable negation normal form

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.893363Z

Source-reported events for the cited work

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

Observation d28b32e5-6036-4aed-8f2f-48b780183ce1 · outbound

This paper cites Probabilistic planning via heuristic forward search and weighted model counting.

Counting and Reasoning with Plans Probabilistic planning via heuristic forward search and weighted model counting

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.815093Z

Source-reported events for the cited work

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

Observation 660a1604-d4be-43a4-b593-dac0f6305f2e · outbound

This paper cites Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence ( AAAI 2024).

Counting and Reasoning with Plans Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence ( AAAI 2024)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.771947Z

Source-reported events for the cited work

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

Observation e7a8f7ea-642d-4c7f-a034-5b8d02e500dc · outbound

This paper cites A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning.

Counting and Reasoning with Plans A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.760053Z

Source-reported events for the cited work

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

Observation f221b498-583a-4e89-858a-74f928e7f62e · outbound

This paper cites Epistemic logic programs: Non-ground and counting complexity.

Counting and Reasoning with Plans Epistemic logic programs: Non-ground and counting complexity

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.738185Z

Source-reported events for the cited work

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

Observation 44d9295b-1d92-437c-888a-e457c377e9ca · outbound

This paper cites aspmc: New frontiers of algebraic answer set counting.

Counting and Reasoning with Plans aspmc: New frontiers of algebraic answer set counting

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.680328Z

Source-reported events for the cited work

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

Observation fc199c32-24a4-47c4-aabc-17c9e0c19e89 · outbound

This paper cites Optimizing the optimization of planning domains by automatic action schema splitting.

Counting and Reasoning with Plans Optimizing the optimization of planning domains by automatic action schema splitting

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.668731Z

Source-reported events for the cited work

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

Observation eaf23316-17a5-4a8d-ab61-d782865af508 · outbound

This paper cites Fenner, Frederic Green, Steven Homer, and Randall Pruim.

Counting and Reasoning with Plans Fenner, Frederic Green, Steven Homer, and Randall Pruim

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.657074Z

Source-reported events for the cited work

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

Observation 63a0e7ca-4dcb-4292-8d1e-81277b6133c3 · outbound

This paper cites Answer set solving with bounded treewidth revisited.

Counting and Reasoning with Plans Answer set solving with bounded treewidth revisited

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.644831Z

Source-reported events for the cited work

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

Observation 2344d3cb-891e-4ac8-b1ff-ee6ade2a6be5 · outbound

This paper cites Fichte, Markus Hecher, and Florim Hamiti.

Counting and Reasoning with Plans Fichte, Markus Hecher, and Florim Hamiti

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.559120Z

Source-reported events for the cited work

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

Observation 725f2bd4-585b-4148-8fe7-65aeeb7ec8c6 · outbound

This paper cites Rushing and strolling among answer sets -- navigation made easy.

Counting and Reasoning with Plans Rushing and strolling among answer sets -- navigation made easy

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.545409Z

Source-reported events for the cited work

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

Observation f0db626e-b611-41bb-bcc1-fd0ce633183c · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:36.533432Z

Source-reported events for the cited work

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

Observation ce3d218c-e859-4ad1-a4de-1d0b12359b6d · outbound

This paper cites Proofs for propositional model counting.

Counting and Reasoning with Plans Proofs for propositional model counting

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.521404Z

Source-reported events for the cited work

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

Observation 6402cd91-7894-4d80-ac44-19cf33d020c2 · outbound

This paper cites IASCAR: incremental answer set counting by anytime refinement.

Counting and Reasoning with Plans IASCAR: incremental answer set counting by anytime refinement

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.487101Z

Source-reported events for the cited work

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

Observation 4635fabe-f417-431a-81e2-455b84d009d6 · outbound

This paper cites Benton, and Christian Muise.

Counting and Reasoning with Plans Benton, and Christian Muise

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.457986Z

Source-reported events for the cited work

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

Observation 29a41793-9f30-4f4e-9b29-3952d3600013 · outbound

This paper cites Frisch and Peter Gregory, editors.

Counting and Reasoning with Plans Frisch and Peter Gregory, editors

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.447882Z

Source-reported events for the cited work

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

Observation 1846249c-e4c0-46cf-9920-b9836ffdc364 · outbound

This paper cites Solution enumeration for projected boolean search problems.

Counting and Reasoning with Plans Solution enumeration for projected boolean search problems

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.438597Z

Source-reported events for the cited work

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

Observation 265124c2-1ea2-408b-b7ae-18c45269b68a · outbound

This paper cites Advances in gringo series 3.

Counting and Reasoning with Plans Advances in gringo series 3

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.426874Z

Source-reported events for the cited work

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

Observation 8a26aec0-d1a3-42de-902e-25970e8ffd2e · outbound

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

Counting and Reasoning with Plans Clingo = ASP + Control: Preliminary Report

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-09T20:08:32.234939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fbd6b34-526f-4072-9165-003e4588f55f · outbound

This paper cites Computational complexity of probabilistic turing machines.

Counting and Reasoning with Plans Computational complexity of probabilistic turing machines

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.414897Z

Source-reported events for the cited work

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

Observation 8163c7a0-9c04-4386-8a8c-26b4dac23be3 · outbound

This paper cites Learning how to ground a plan -- Partial grounding in classical planning.

Counting and Reasoning with Plans Learning how to ground a plan -- Partial grounding in classical planning

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.361764Z

Source-reported events for the cited work

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

Observation bf6be6d4-5e2a-4534-b9ab-b873bf62d06f · outbound

This paper cites A planning approach to repair domains with incomplete action effects.

Counting and Reasoning with Plans A planning approach to repair domains with incomplete action effects

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.350480Z

Source-reported events for the cited work

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

Observation ee9c3691-b1cf-4f5b-8f77-c4a33bf26b70 · outbound

This paper cites Plingo: A System for Probabilistic Reasoning in Clingo Based on LP \( ^ MLN \).

Counting and Reasoning with Plans Plingo: A System for Probabilistic Reasoning in Clingo Based on LP \( ^ MLN \)

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.339552Z

Source-reported events for the cited work

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

Observation ba0e8618-26d0-4bf5-99c5-f3ec0fb3a696 · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:36.310063Z

Source-reported events for the cited work

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

Observation e2673686-24a7-44d8-8438-7eab1f8f4c03 · outbound

This paper cites The Fast Downward planning system.

Counting and Reasoning with Plans The Fast Downward planning system

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.284154Z

Source-reported events for the cited work

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

Observation 28165ba5-04cd-421c-aada-290d3fcb6b01 · outbound

This paper cites Concise finite-domain representations for PDDL planning tasks.

Counting and Reasoning with Plans Concise finite-domain representations for PDDL planning tasks

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.273130Z

Source-reported events for the cited work

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

Observation 6d23aa86-86e4-4d6a-86ce-be093a5d4e7f · outbound

This paper cites Encoding lifted classical planning in propositional logic.

Counting and Reasoning with Plans Encoding lifted classical planning in propositional logic

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.263240Z

Source-reported events for the cited work

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

Observation 920f7470-888c-4c18-81a3-e5a569b08064 · outbound

This paper cites Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence ( AAAI 2022).

Counting and Reasoning with Plans Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence ( AAAI 2022)

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.238167Z

Source-reported events for the cited work

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

Observation f07ce53b-8471-4b15-ae8c-195002ba454e · outbound

This paper cites Everardo, Ankit K.

Counting and Reasoning with Plans Everardo, Ankit K

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.206304Z

Source-reported events for the cited work

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

Observation 292ea642-184d-4378-829d-7f129bb1f477 · outbound

This paper cites Cost-optimal planning with landmarks.

Counting and Reasoning with Plans Cost-optimal planning with landmarks

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.190462Z

Source-reported events for the cited work

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

Observation c28cd26d-617f-48d4-8be2-62893a4bc4c4 · outbound

This paper cites K* search over orbit space for top-k planning.

Counting and Reasoning with Plans K* search over orbit space for top-k planning

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.178847Z

Source-reported events for the cited work

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

Observation 70e31232-d23c-419f-8ce3-e4950668665f · outbound

This paper cites Reshaping diverse planning.

Counting and Reasoning with Plans Reshaping diverse planning

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.153122Z

Source-reported events for the cited work

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

Observation b0469fe9-8094-42b9-81af-45c2de2b160b · outbound

This paper cites A novel iterative approach to top-k planning.

Counting and Reasoning with Plans A novel iterative approach to top-k planning

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.120486Z

Source-reported events for the cited work

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

Observation 5ea70abd-5ff0-47f1-a5ac-0b199e0565aa · outbound

This paper cites Planning as satisfiability.

Counting and Reasoning with Plans Planning as satisfiability

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.109271Z

Source-reported events for the cited work

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

Observation 2e54c9ab-c604-42a1-9d96-1c81d32a7908 · outbound

This paper cites Knowledge compilation and more with SharpSAT-TD.

Counting and Reasoning with Plans Knowledge compilation and more with SharpSAT-TD

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.094730Z

Source-reported events for the cited work

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

Observation 6f3940e1-d76e-4c69-805e-0a421f5bcc3e · outbound

This paper cites Propositional logic -- deduction and algorithms , volume 48 of Cambridge tracts in theoretical computer science.

Counting and Reasoning with Plans Propositional logic -- deduction and algorithms , volume 48 of Cambridge tracts in theoretical computer science

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.082337Z

Source-reported events for the cited work

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

Observation 4737637e-f2ae-4a38-9ae5-894093b6469a · outbound

This paper cites Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023).

Counting and Reasoning with Plans Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023)

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:36.013587Z

Source-reported events for the cited work

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

Observation 23f46df1-5646-4718-b596-ada0b59f6971 · outbound

This paper cites Learning pruning rules for heuristic search planning.

Counting and Reasoning with Plans Learning pruning rules for heuristic search planning

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.857553Z

Source-reported events for the cited work

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

Observation b8e35cf1-a261-499a-9b41-3dfa8d45fc4b · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 65

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:35.836844Z

Source-reported events for the cited work

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

Observation 9189dbc1-3948-4d84-bf7a-aa6ef736b4cb · outbound

This paper cites An improved decision- DNNF compiler.

Counting and Reasoning with Plans An improved decision- DNNF compiler

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.825670Z

Source-reported events for the cited work

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

Observation 76d30d58-a07c-4fbe-a6a2-2d8c24880b60 · outbound

This paper cites Meel, and Roland H.

Counting and Reasoning with Plans Meel, and Roland H

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.814569Z

Source-reported events for the cited work

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

Observation 3e06de20-d3d4-4b56-a540-5cb330611792 · outbound

This paper cites Towards automated modeling assistance: An efficient approach for repairing flawed planning domains.

Counting and Reasoning with Plans Towards automated modeling assistance: An efficient approach for repairing flawed planning domains

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.802846Z

Source-reported events for the cited work

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

Observation c4ca3a1e-4a10-419d-9aaa-4713c5295b3c · outbound

This paper cites Proceedings of Twenty-Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) , volume 271.

Counting and Reasoning with Plans Proceedings of Twenty-Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) , volume 271

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.709798Z

Source-reported events for the cited work

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

Observation 7cb49ec5-ab4e-41bc-8e7a-be4a00783186 · outbound

This paper cites On CNF conversion for disjoint SAT enumeration.

Counting and Reasoning with Plans On CNF conversion for disjoint SAT enumeration

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.584798Z

Source-reported events for the cited work

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

Observation 00940556-b243-4969-90ef-e5b56eed7433 · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:35.571372Z

Source-reported events for the cited work

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

Observation f2328890-c6f2-4a8b-9732-a7eec17374aa · outbound

This paper cites Planning.Domains.

Counting and Reasoning with Plans Planning.Domains

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.558977Z

Source-reported events for the cited work

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

Observation 88e5a8cd-ccf0-42d0-9f2b-0fb4051d4388 · outbound

This paper cites Papadimitriou and Mihalis Yannakakis.

Counting and Reasoning with Plans Papadimitriou and Mihalis Yannakakis

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.544506Z

Source-reported events for the cited work

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

Observation 29d9bd97-9851-4385-90ae-b4d2d5aad48e · outbound

This paper cites Papadimitriou.

Counting and Reasoning with Plans Papadimitriou

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.372328Z

Source-reported events for the cited work

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

Observation 1f555084-1398-4358-bd82-2a9de4de18d3 · outbound

This paper cites Benton, and Christian Muise.

Counting and Reasoning with Plans Benton, and Christian Muise

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.303790Z

Source-reported events for the cited work

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

Observation dc1a9d92-eaa2-4502-a1cc-beea6b91fcd1 · outbound

This paper cites On the extraction, ordering, and usage of landmarks in planning.

Counting and Reasoning with Plans On the extraction, ordering, and usage of landmarks in planning

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.291305Z

Source-reported events for the cited work

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

Observation 97af89ce-ca0a-478d-a2fc-25cc3b4d3128 · outbound

This paper cites Landmarks revisited.

Counting and Reasoning with Plans Landmarks revisited

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.279351Z

Source-reported events for the cited work

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

Observation 28c533ac-b516-434e-b2dd-383722697265 · outbound

This paper cites Madagascar: Scalable planning with SAT.

Counting and Reasoning with Plans Madagascar: Scalable planning with SAT

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.267579Z

Source-reported events for the cited work

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

Observation d08863f3-4223-4749-8733-6af5e8ce6a1d · outbound

This paper cites Planning as satisfiability: Heuristics.

Counting and Reasoning with Plans Planning as satisfiability: Heuristics

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:35.066536Z

Source-reported events for the cited work

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

Observation f4663e44-98f3-45ec-9a5c-a91851893574 · outbound

This paper cites Madagascar: Scalable planning with SAT.

Counting and Reasoning with Plans Madagascar: Scalable planning with SAT

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.998414Z

Source-reported events for the cited work

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

Observation 79fccf8f-4666-4193-9b3c-ba750aa8b172 · outbound

This paper cites Handbook of Automated Reasoning (in 2 volumes).

Counting and Reasoning with Plans Handbook of Automated Reasoning (in 2 volumes)

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.977664Z

Source-reported events for the cited work

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

Observation 37b5ab8b-b1fc-4180-ab9b-0acf801638ac · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:34.777042Z

Source-reported events for the cited work

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

Observation b6c68dc8-196c-4427-8e2e-a72b4633b194 · outbound

This paper cites Artificial I ntelligence --- A Modern Approach.

Counting and Reasoning with Plans Artificial I ntelligence --- A Modern Approach

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.764795Z

Source-reported events for the cited work

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

Observation 22e056ae-0d68-4451-b009-eaed1310441a · outbound

This paper cites Learning domain-independent planning heuristics with hypergraph networks.

Counting and Reasoning with Plans Learning domain-independent planning heuristics with hypergraph networks

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.751435Z

Source-reported events for the cited work

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

Observation dd15066d-daaa-4788-a5a5-1321fccf224d · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 85

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:34.568131Z

Source-reported events for the cited work

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

Observation 064ff06b-d527-4657-a3d5-0c017681db07 · outbound

This paper cites Riabov, Michael Katz, and Octavian Udrea.

Counting and Reasoning with Plans Riabov, Michael Katz, and Octavian Udrea

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.522461Z

Source-reported events for the cited work

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

Observation 95755179-32bb-4f2e-91be-0f3320df1953 · outbound

This paper cites Disjoint partial enumeration without blocking clauses.

Counting and Reasoning with Plans Disjoint partial enumeration without blocking clauses

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.509934Z

Source-reported events for the cited work

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

Observation 94917ec6-7d7b-4d37-9688-a9944e2d3da1 · outbound

This paper cites Symbolic top-k planning.

Counting and Reasoning with Plans Symbolic top-k planning

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.496640Z

Source-reported events for the cited work

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

Observation fe26206c-2263-4122-9df1-0198c0caab2b · outbound

This paper cites Fichte, and Augusto B.

Counting and Reasoning with Plans Fichte, and Augusto B

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.362826Z

Source-reported events for the cited work

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

Observation 00d77eca-42b5-426a-a441-cb740d6488db · outbound

This paper cites Stockmeyer and Albert R.

Counting and Reasoning with Plans Stockmeyer and Albert R

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.238001Z

Source-reported events for the cited work

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

Observation a46be665-2766-4c4b-af44-bb12329c437f · outbound

This paper cites Stockmeyer.

Counting and Reasoning with Plans Stockmeyer

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.223763Z

Source-reported events for the cited work

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

Observation 636b874b-e50a-4092-9be6-527aaef51992 · outbound

This paper cites Reusing d- DNNFs for efficient feature-model counting.

Counting and Reasoning with Plans Reusing d- DNNFs for efficient feature-model counting

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:34.209003Z

Source-reported events for the cited work

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

Observation c1620163-1caf-4263-86fa-9d850aabac4b · outbound

This paper cites The 2023 International Planning Competition.

Counting and Reasoning with Plans The 2023 International Planning Competition

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.990096Z

Source-reported events for the cited work

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

Observation c4fd9dfc-48b1-4ee4-a114-9e5e7d823b60 · outbound

This paper cites Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022).

Counting and Reasoning with Plans Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022)

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.977033Z

Source-reported events for the cited work

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

Observation 76bb8f88-8e10-4f4f-bb59-3613102b03a4 · outbound

This paper cites Efficient symbolic search for cost-optimal planning.

Counting and Reasoning with Plans Efficient symbolic search for cost-optimal planning

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.962856Z

Source-reported events for the cited work

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

Observation 1f765ca9-b93c-404e-8c2b-b7dd3401c2c7 · outbound

This paper cites Understanding Inconsistency -- A Contribution to the Field of Non-monotonic Reasoning.

Counting and Reasoning with Plans Understanding Inconsistency -- A Contribution to the Field of Non-monotonic Reasoning

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.867168Z

Source-reported events for the cited work

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

Observation cbdffab1-92ff-4d5b-b305-c415866737fe · outbound

This paper cites an unresolved cited work.

Counting and Reasoning with Plans Unresolved cited work

Reference 97

Resolution: unresolved; raw_fallback, observed 2026-08-09T20:08:33.748989Z

Source-reported events for the cited work

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

Observation 77d47214-1aa2-46db-89cc-86469d343e96 · outbound

This paper cites Loopless top-k planning.

Counting and Reasoning with Plans Loopless top-k planning

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.736215Z

Source-reported events for the cited work

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

Observation a6988f65-15fb-4fa3-9378-b9d5cd0d7a62 · outbound

This paper cites Complete sets and the polynomial-time hierarchy.

Counting and Reasoning with Plans Complete sets and the polynomial-time hierarchy

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.722805Z

Source-reported events for the cited work

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

Observation 92009db4-033f-479d-9f1e-2cf61cf09aac · outbound

This paper cites Landmark extraction via planning graph propagation.

Counting and Reasoning with Plans Landmark extraction via planning graph propagation

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T20:08:33.594374Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers