Buchumschlag

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaminski, Roland, Schaub, Torsten, Son, Tran Cao, Švancara, Jiří, Wanko, Philipp
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
von: Brown, Chad E., et al.
Veröffentlicht: (2026)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

Solving unification in the description logic $\mathcal{FL}_\bot$
von: Morawska, Barbara, et al.
Veröffentlicht: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
von: Desmond, Harry
Veröffentlicht: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
von: Mansutti, Alessio, et al.
Veröffentlicht: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
von: Kop, Cynthia, et al.
Veröffentlicht: (2025)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Pseudo-Complex Quantifier Elimination
von: Faroß, Nicolas, et al.
Veröffentlicht: (2026)

Rings with common division, common meadows and their conditional equational theories
von: Bergstra, Jan A, et al.
Veröffentlicht: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
von: Wang, Zhonghan
Veröffentlicht: (2024)

Saturating Sorting without Sorts
von: Georgiou, Pamina, et al.
Veröffentlicht: (2024)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
von: Bournez, Olivier, et al.
Veröffentlicht: (2026)

A Local Search Algorithm for MaxSMT(LIA)
von: He, Xiang, et al.
Veröffentlicht: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
von: Wu, Yulun, et al.
Veröffentlicht: (2024)

Nominal Equational Rewriting and Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
von: Manjrekar, Mayank
Veröffentlicht: (2025)

Structuring Definitions in Mathematical Libraries
von: Gusakov, Alena, et al.
Veröffentlicht: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

SCL(FOL) Revisited
von: Bromberger, Martin, et al.
Veröffentlicht: (2023)

Symbolic Sets for Proving Bounds on Rado Numbers
von: Ahmed, Tanbir, et al.
Veröffentlicht: (2025)

An Algebraic Approach to Weighted Answer-set Programming
von: Coelho, Francisco, et al.
Veröffentlicht: (2025)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Identity Testing for Radical Expressions
von: Balaji, Nikhil, et al.
Veröffentlicht: (2022)

On Ambiguity: The case of fraction, its meanings and roles
von: Bergstra, Jan A, et al.
Veröffentlicht: (2026)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

Confluence of Conditional Rewriting Modulo
von: Lucas, Salvador
Veröffentlicht: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
von: Lucas, Salvador
Veröffentlicht: (2025)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

Frex: dependently-typed algebraic simplification
von: Allais, Guillaume, et al.
Veröffentlicht: (2023)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

Practical Modelling with Bigraphs
von: Archibald, Blair, et al.
Veröffentlicht: (2024)

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
von: Ding, Tianyi, et al.
Veröffentlicht: (2025)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
von: Urban, Josef
Veröffentlicht: (2026)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
von: Işık, İlker, et al.
Veröffentlicht: (2026)

Proceedings 13th International Workshop on Developments in Computational Models
von: Alves, Sandra, et al.
Veröffentlicht: (2024)