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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings - International Conference on Tools with Artificial Intelligence, TAI pp. 379 - 386
Main Authors:	Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor
Format:	Conference Proceeding
Language:	English
Published:	IEEE 28.10.2024
Subjects:	Answer set programming Artificial intelligence component Constraint handling formatting insert Iterative methods Logic Semantics style styling
ISSN:	2375-0197
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!