Research map / Large language models / Reasoning and chain of thought
Qualitative Reasoning About Cardinal Directions Using Answer Set Programming
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| generate cell assignments incrementally from given constraints instead of all at once | ASP CDC consistency checking · Connected consistent, n=6 | CPU time (s): 69.93 -> 13.20 | Helped |
| generate cell assignments incrementally from given constraints instead of all at once | ASP CDC consistency checking · Connected inconsistent, n=6 | CPU time (s): 278.70 -> 19.30 | Helped |
| generate cell assignments incrementally from given constraints instead of all at once | ASP CDC consistency checking · Possibly disconnected consistent, n=6 | CPU time (s): 65.30 -> 11.25 | Helped |
| generate cell assignments incrementally from given constraints instead of all at once | ASP CDC consistency checking · Possibly disconnected inconsistent, n=6 | CPU time (s): 90.91 -> 11.64 | Helped |
| add connectedness constraints on regions | ASP CDC consistency checking · CDC consistency, n=6, CDC-ASP-1 consistent | CPU time (s): 65.30 -> 69.93 | Hurt |
Closest papers by meaning
- Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming (AAAI 2025 · similarity 0.86)
- Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence (AAAI 2025 · similarity 0.83)
- Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought (NeurIPS 2025 · similarity 0.83)
- QuestBench: Can LLMs ask the right question to acquire information in reasoning tasks? (NeurIPS 2025 · similarity 0.82)
- Neural Reasoning for Sure Through Constructing Explainable Models (AAAI 2025 · similarity 0.82)
- A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming (AAAI 2024 · similarity 0.82)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.