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!
Abstract 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 to this day. To address this, we propose to extend the Well Founded Semantics (WFS) to propositional constraint logic programs. To this end, we present an iterative process involving elementary rewriting transformations to simplify the program iteratively. Our method aims to give a better description of the interactions between ASP and CP inside of a constraint logic program.
AbstractList 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 to this day. To address this, we propose to extend the Well Founded Semantics (WFS) to propositional constraint logic programs. To this end, we present an iterative process involving elementary rewriting transformations to simplify the program iteratively. Our method aims to give a better description of the interactions between ASP and CP inside of a constraint logic program.
Author Garreau, Bryan
Lodeiro, Martin Dieguez
Monfroy, Eric
Stephan, Igor
Author_xml – sequence: 1
  givenname: Bryan
  surname: Garreau
  fullname: Garreau, Bryan
  email: bryan.garreau@univ-angers.fr
  organization: Université d'Angers,Angers,France
– sequence: 2
  givenname: Martin Dieguez
  surname: Lodeiro
  fullname: Lodeiro, Martin Dieguez
  email: martin.dieguezlodeiro@univ-angers.fr
  organization: Université d'Angers,Angers,France
– sequence: 3
  givenname: Eric
  surname: Monfroy
  fullname: Monfroy, Eric
  email: eric.monfroy@univ-angers.fr
  organization: Université d'Angers,Angers,France
– sequence: 4
  givenname: Igor
  surname: Stephan
  fullname: Stephan, Igor
  email: igor.stephan@univ-angers.fr
  organization: Université d'Angers,Angers,France
BookMark eNpNjF1LwzAYRqMouM39A4X-gc43b5KmuRzFj8JA0YmXI23SLrImI80Q_73z48KrBw7POVNy5oO3hFxTWFAK6qau1su6QEFxgYB8AQAFnpC5kqpkjAqUyMQpmSCTIgeq5AWZjuM7AIJANiH72qcYzKF1vs-q4McUtfMpe7O7XX4XDt5Yk73YQfvk2jHrQvz_WoXetdlTDH3Uw_CdWG9jOPTb7Nl-RJd-SNR-PHqDTu5oXpLzTu9GO__bGXm9u11XD_nq8b6ulqvcUShSziU2hlttGtEYbLAz2Bra8o53VpWtgsKYVoLCTthCUyatFkJJ1ggrRCmAzcjVb9dZazf76AYdPzcUSq64oOwLivxf-A
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ICTAI62512.2024.00062
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9798331527235
EISSN 2375-0197
EndPage 386
ExternalDocumentID 10849451
Genre orig-research
GroupedDBID 6IE
6IF
6IH
6IK
6IL
6IN
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
M43
OCL
RIE
RIL
RIO
ID FETCH-LOGICAL-i106t-472bd4eadb5bd2b2fd2cd1c4f4fe98c906ddc7092f5e6a137ea55973b5e558503
IEDL.DBID RIE
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001447778900053&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Feb 12 06:22:42 EST 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i106t-472bd4eadb5bd2b2fd2cd1c4f4fe98c906ddc7092f5e6a137ea55973b5e558503
PageCount 8
ParticipantIDs ieee_primary_10849451
PublicationCentury 2000
PublicationDate 2024-Oct.-28
PublicationDateYYYYMMDD 2024-10-28
PublicationDate_xml – month: 10
  year: 2024
  text: 2024-Oct.-28
  day: 28
PublicationDecade 2020
PublicationTitle Proceedings - International Conference on Tools with Artificial Intelligence, TAI
PublicationTitleAbbrev ICTAI
PublicationYear 2024
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0020523
Score 1.88744
Snippet Constraint Answer Set Programming (CASP) combines Answer Set Programming (ASP) and Constraint Programming (CP) to offer a powerful framework for solving...
SourceID ieee
SourceType Publisher
StartPage 379
SubjectTerms Answer set programming
Artificial intelligence
component
Constraint handling
formatting
insert
Iterative methods
Logic
Semantics
style
styling
Title Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations
URI https://ieeexplore.ieee.org/document/10849451
WOSCitedRecordID wos001447778900053&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELagYmAqjyLe8sBqSBw7jkdUUdGlqqCIblVsn6VKfalN4e_jc9PShYEtsi6xdGfr_Dn33UfIg_HaCCWAeQ-cidwB05kBpqxJM1fkZWqSKDaher1iONT9mqweuTAAEIvP4BEf4798N7drvCoLO7wQWiBh-lAptSFr7dAV3m_WFJ000U_d9uC5m2P2DiCQY4vsBBVx9iRUYgbpNP859wlp_XLxaH-XZU7JAczOSHMrxkDrvXlOFl2sOXdrG6woynBG8YeKfsJkwqJ4Ejj6DtPgybFd0XBW3bdCyWWL82Cx1hQ_MdgI-NA3-Ma-Rziyd8YNb7bIR-dl0H5ltZwCGwfcVzGhuHEirBwjjeOGe8etS63wwoMurE5y56xKNPcSQowyBSXCjcxIkAFUJNkFaczmM7gkVCcCJFdGSMtFaXiphIAimKtCltKXV6SFHhwtNh0zRlvnXf8xfkOOMUiYE3hxSxrVcg135Mh-VePV8j7G-QeQY62S
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZQQYKpPIp4k4HVkDh2HI-ooiKiVBUU0a2K7bNUqS-1Kfx9fGlaujCwRdYllu5snT_nvvsIudNOaS45UOeAUZ5YoCrWQKXRUWzTJI90WIpNyE4n7fdVtyKrl1wYACiLz-AeH8t_-XZqlnhV5nd4yhVHwvSu4JxFK7rWBl_hDWdF0olC9ZA1e49Zgvnbw0CGTbJD1MTZElEpc0ir_s_ZD0njl40XdDd55ojswOSY1NdyDEG1O0_ILMOqc7s03ipAIc5S_qEIPmE0oqV8EtjgHcbel0OzCPxpddsKRZcNzoPlWmP8RG8l4RO8wTd2PsKRrVOuf7NBPlpPveYzrQQV6NAjv4JyybTlfu1ooS3TzFlmbGS44w5UalSYWGtkqJgT4KMUS8gRcMRagPCwIoxPSW0yncAZCVTIQTCpuTCM55rlknNIvblMRS5cfk4a6MHBbNUzY7B23sUf47dk_7n32h60s87LJTnAgGGGYOkVqRXzJVyTPfNVDBfzmzLmP8DusNk
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+-+International+Conference+on+Tools+with+Artificial+Intelligence%2C+TAI&rft.atitle=Introducing+Constraint+Well-Founded+Semantics+for+Constraint+Logic+Programming+Through+Rewriting+Transformations&rft.au=Garreau%2C+Bryan&rft.au=Lodeiro%2C+Martin+Dieguez&rft.au=Monfroy%2C+Eric&rft.au=Stephan%2C+Igor&rft.date=2024-10-28&rft.pub=IEEE&rft.eissn=2375-0197&rft.spage=379&rft.epage=386&rft_id=info:doi/10.1109%2FICTAI62512.2024.00062&rft.externalDocID=10849451