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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - International Conference on Tools with Artificial Intelligence, TAI s. 379 - 386
Hlavní autoři:	Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 28.10.2024
Témata:	Answer set programming Artificial intelligence component Constraint handling formatting insert Iterative methods Logic Semantics style styling
ISSN:	2375-0197
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!