conftrace_

constraint reasoning

10 papers

Explore in graph

Co-occurring keywords

spatial reasoning (223) mutation operator (4) pseudo-boolean constraint (6) qualitative spatial reasoning (5) decision diagram (19) crystal structure (10) knowledge discovery (28) sequential pattern mining (10) universal algebra (4) language agent (54)

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
Seq2Pat: Sequence-to-Pattern Generation for Constraint-Based Sequential Pattern Mining AAAI 2022
Constraint Reasoning Embedded Structured Prediction JMLR 2022
Deep Reasoning Networks for Unsupervised Pattern De-mixing with Constraint Reasoning ICML 2020
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds IJCAI 2019
Abduction-Based Explanations for Machine Learning Models AAAI 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