Imagen de Portada

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Švancár, Slavomír, Chrpa, Lukáš, Dvořák, Filip, Balyo, Tomáš
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Automating Video Game Regression Testing by Planning and Learning
por: Balyo, Tomáš, et al.
Publicado: (2024)

Decentralized Planning Using Probabilistic Hyperproperties
por: Pontiggia, Francesco, et al.
Publicado: (2025)

Planning Domain Model Acquisition from State Traces without Action Parameters
por: Balyo, Tomáš, et al.
Publicado: (2024)

Automated Process Planning Based on a Semantic Capability Model and SMT
por: Köcher, Aljosha, et al.
Publicado: (2023)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
por: Bártek, Filip, et al.
Publicado: (2024)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
por: Heck, Linus, et al.
Publicado: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
por: Cecconi, Alessio, et al.
Publicado: (2023)

Counterfactual Explanations as Plans
por: Belle, Vaishak
Publicado: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
por: Heck, Linus, et al.
Publicado: (2026)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
por: Ramani, Keshav, et al.
Publicado: (2025)

An Undecidability Proof for the Plan Existence Problem
por: Achilleos, Antonis
Publicado: (2026)

A Compositional Framework for On-the-Fly LTLf Synthesis
por: Li, Yongkang, et al.
Publicado: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
por: Gerlach, Lukas, et al.
Publicado: (2024)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
por: Wang, David, et al.
Publicado: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
por: Chevallier, Mark, et al.
Publicado: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
por: Romanchuk, Oleg, et al.
Publicado: (2026)

Long-term Power Grid Planning via Answer Set Programming
por: Ielo, Antonio, et al.
Publicado: (2026)

On logic and generative AI
por: Gurevich, Yuri, et al.
Publicado: (2024)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

Best-Effort Policies for Robust Markov Decision Processes
por: Abate, Alessandro, et al.
Publicado: (2025)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
por: Fishell, William, et al.
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
por: Xu, Lyris, et al.
Publicado: (2025)

Learning Algorithms for Verification of Markov Decision Processes
por: Brázdil, Tomáš, et al.
Publicado: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
por: Lamont, Sean, et al.
Publicado: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
por: Su, Yuheng, et al.
Publicado: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
por: Goertzel, Ben
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
por: Keyi, Hu
Publicado: (2025)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
por: Hamilton, Kyle, et al.
Publicado: (2026)

MacroSwarm: A Field-based Compositional Framework for Swarm Programming
por: Aguzzi, Gianluca, et al.
Publicado: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
por: Majkic, Zoran
Publicado: (2026)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
por: Kim, Chang-Eop
Publicado: (2024)