conftrace_

constraint reasoning

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

spatial reasoning (2) mutation operator (1) pseudo-boolean constraint (1) qualitative spatial reasoning (1) decision diagram (1) crystal structure (1) knowledge discovery (1) sequential pattern mining (1) universal algebra (1) language agent (1)

Papers

Language Model as Planner and Formalizer under Constraints ACL 2026 Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025 Revealing the Barriers of Language Agents in Planning NAACL 2025 Constraint Reasoning Embedded Structured Prediction JMLR 2022 Seq2Pat: Sequence-to-Pattern Generation for Constraint-Based Sequential Pattern Mining AAAI 2022 Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning ICML 2020 Abduction-Based Explanations for Machine Learning Models AAAI 2019 Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds IJCAI 2019 Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms IJCAI 2019 Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract) IJCAI 2017