Copertina

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bártek, Filip, Chvalovský, Karel, Suda, Martin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Neural Clause-Selection Reinforcement
di: Suda, Martin
Pubblicazione: (2025)

Towards Learning Infinite SMT Models (Work in Progress)
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
di: El-Kholany, Mohammed M. S., et al.
Pubblicazione: (2022)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Towards Automated Readable Proofs of Ruler and Compass Constructions
di: Marinković, Vesna, et al.
Pubblicazione: (2024)

An ASP-based Solution to the Medical Appointment Scheduling Problem
di: Vozna, Alina, et al.
Pubblicazione: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
di: Bruno, Pierangela, et al.
Pubblicazione: (2025)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
di: Švancár, Slavomír, et al.
Pubblicazione: (2024)

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

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
di: Bordg, Anthony
Pubblicazione: (2026)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

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

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
di: Bednarczyk, Bartosz
Pubblicazione: (2023)

Knowledge and Common Knowledge of Strategies
di: Miranda, Borja Sierra, et al.
Pubblicazione: (2025)

Probabilistic Strategy Logic with Degrees of Observability
di: Mu, Chunyan, et al.
Pubblicazione: (2024)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
di: Shahbazi, Alireza, et al.
Pubblicazione: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
di: Ghosh, Avijeet, et al.
Pubblicazione: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

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

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

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

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

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

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

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

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
di: Allen, Bradley P., et al.
Pubblicazione: (2025)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
di: Ahmad, Faseeh, et al.
Pubblicazione: (2019)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
di: Contreras, Ricardo, et al.
Pubblicazione: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Common Knowledge Always, Forever
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

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

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
di: Belly, Marius, et al.
Pubblicazione: (2024)

The Vampire Diary
di: Bártek, Filip, et al.
Pubblicazione: (2025)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
di: Subercaseaux, Bernardo
Pubblicazione: (2025)

A fuzzy loss for ontology classification
di: Flügel, Simon, et al.
Pubblicazione: (2024)

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
di: Grover, Kush, et al.
Pubblicazione: (2026)