Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations

Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP) to offer a powerful framework for solving complex problems. While there exists various ways to represent CASP problems, fusing both in a way that benefits both communities remains difficult...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings - International Conference on Tools with Artificial Intelligence, TAI S. 379 - 386
Hauptverfasser:	Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 28.10.2024
Schlagworte:	Answer set programming Artificial intelligence component Constraint handling formatting insert Iterative methods Logic Semantics style styling
ISSN:	2375-0197
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!