Copertina

An ASP-based approach to Solving General Stochastic Two-Player Games

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Yifan, Thielscher, Michael
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Repairing General Game Descriptions (extended version)
di: He, Yifan, et al.
Pubblicazione: (2025)

Traces via Strategies in Two-Player Games
di: Plummer, Benjamin, 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)

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

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

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

Towards Mass Spectrum Analysis with ASP
di: Küchenmeister, Nils, et al.
Pubblicazione: (2025)

Direct Encoding of Declare Constraints in ASP
di: Chiariello, Francesco, et al.
Pubblicazione: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
di: Watanabe, Kazuki
Pubblicazione: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2025)

Polytopal Stochastic Games
di: Castro, Pablo F., et al.
Pubblicazione: (2025)

Faster Game Solving by Fixpoint Acceleration
di: Hausmann, Daniel
Pubblicazione: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
di: Yang, HuanYu, et al.
Pubblicazione: (2025)

Reintroducing the Second Player in EPR
di: Chew, Leroy, et al.
Pubblicazione: (2026)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
di: Gerlach, Lina, et al.
Pubblicazione: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
di: Santana, Manuel Alejandro Borroto, et al.
Pubblicazione: (2026)

Reliable Conversational Agents under ASP Control that Understand Natural Language
di: Zeng, Yankai
Pubblicazione: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
di: Fandinno, Jorge, et al.
Pubblicazione: (2026)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
di: Hanisch, Philipp, et al.
Pubblicazione: (2026)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)

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

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
di: Lemke, Caroline, et al.
Pubblicazione: (2025)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

Memoryless Strategies in Stochastic Reachability Games
di: Kiefer, Stefan, et al.
Pubblicazione: (2024)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
di: Murugesan, Anitha, et al.
Pubblicazione: (2024)

Generalizing Unit Commitment Problem Solving via SAT-based Decoupling
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
di: Vialard, Isa
Pubblicazione: (2025)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

SAT Solving for Variants of First-Order Subsumption
di: Coutelier, Robin, et al.
Pubblicazione: (2024)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
di: Doyen, Laurent, et al.
Pubblicazione: (2026)

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)