Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PADL (26. : 2024 : London) Practical aspects of declarative languages
1. Verfasser:	Lester, Martin Mariusz (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic	2023	Lester, Martin Mariusz
Hardware Implementation of OCAML Using a Synchronous Functional Language	2023	Sylvestre, Loïc
Asynchronous Reactive Programming with Modal Types in Haskell	2023	Bahr, Patrick
A Direct ASP Encoding for Declare	2023	Chiariello, Francesco
Explanation and Knowledge Acquisition in Ad Hoc Teamwork	2023	Dodampegama, Hasra
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability	2023	Wang, Huaduo
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning	2023	Calimeri, Francesco
Marketplace Logistics via Answer Set Programming	2023	Alviano, Mario
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures	2023	Abeysinghe, Supun
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks	2023	Padalkar, Parth
Ontological Reasoning over Shy and Warded Datalog+/— for Streaming-Based Architectures	2023	Baldazzi, Teodoro
Rethinking Answer Set Programming Templates	2023	Alviano, Mario
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs	2023	Zeng, Yankai