On the Semantics of Hybrid ASP Systems Based on Clingo

Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This i...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Algorithms Ročník 16; číslo 4; s. 185
Hlavní autori: Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Wanko, Philipp
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Basel MDPI AG 01.04.2023
Predmet:
answer set programming
answer set programming modulo theories
Certification
Computer models
Computers
Declarative programming
hybrid reasoning
Hybrid systems
Linear equations
Mathematical programming
Programming languages
semantic foundations
Semantics
Services
Syntax
Variables
Germany
ISSN:1999-4893, 1999-4893
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make the semantic characterization of clingo’s theory-reasoning framework precise. This provides us with a formal framework in which we can elaborate upon the formal properties of existing hybridizations of clingo, such as clingcon, clingo[dl], and clingo[lp].
AbstractList Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting constructs and inferences. This is even more severe when it comes to hybrid ASP languages and systems that are often needed to handle real-world applications. We address this challenge and introduce the concept of abstract and structured theories that allow us to formally elaborate upon their integration with ASP. We then use this concept to make the semantic characterization of clingo’s theory-reasoning framework precise. This provides us with a formal framework in which we can elaborate upon the formal properties of existing hybridizations of clingo, such as clingcon, clingo[ dl ], and clingo[ lp ].
Audience Academic
Author Fandinno, Jorge
Wanko, Philipp
Cabalar, Pedro
Schaub, Torsten
Author_xml – sequence: 1
  givenname: Pedro
  orcidid: 0000-0001-7440-0953
  surname: Cabalar
  fullname: Cabalar, Pedro
– sequence: 2
  givenname: Jorge
  orcidid: 0000-0002-3917-8717
  surname: Fandinno
  fullname: Fandinno, Jorge
– sequence: 3
  givenname: Torsten
  orcidid: 0000-0002-7456-041X
  surname: Schaub
  fullname: Schaub, Torsten
– sequence: 4
  givenname: Philipp
  orcidid: 0000-0003-4986-4881
  surname: Wanko
  fullname: Wanko, Philipp
BookMark eNptUUtPAyEQJkYTtXrwH5B48tAKCwvLsTa-EhNNqmfCwlBpWlBYD_33ojWNMWYOTCbfi5ljtB9TBITOKJkwpsiloYJwQrt2Dx1RpdSYd4rt_-oP0XEpS0JEqwQ9QuIx4uEV8BzWJg7BFpw8vtv0OTg8nT_h-aYMsC74yhRwOEU8W4W4SCfowJtVgdOfd4Rebq6fZ3fjh8fb-9n0YWyZksNY9K3y3PW9AOmM55wDZUp51lnjjWrAOa6sJRYI5dC0nMiOMeJbIkXTgmEjdL_Vdcks9VsOa5M3OpmgvwcpL7TJNfYKNFedaDmTPakbYBK6ali_qVzvegKNrFrnW623nN4_oAx6mT5yrPF10xHBefVuKmqyRS1MFQ3RpyEbW8vBOti6bB_qfCq5ZETStquEiy3B5lRKBr-LSYn-uone3aRiL_9gbRjMEFKsJmH1D-MTXkiLyQ
CitedBy_id crossref_primary_10_1017_S1471068425100094
crossref_primary_10_4204_EPTCS_416_38
crossref_primary_10_1017_S1471068425100264
Cites_doi 10.1017/S1471068410000517
10.1017/S1471068415000150
10.1017/S1471068421000478
10.1017/S1471068417000138
10.1007/s13218-018-0548-6
10.1017/S1471068410000220
10.1017/S1471068412000142
10.1007/978-3-642-04238-6_14
10.1145/383779.383783
10.1017/S1471068418000285
10.1017/S1471068420000393
10.1007/978-3-642-15025-8_24
10.1007/s13218-018-0535-y
10.1017/S1471068417000242
10.1007/s10472-006-9028-z
10.1017/S1471068417000102
10.1007/978-3-642-30743-0_3
10.1017/S1471068413000549
10.1017/S1471068418000169
10.1016/j.artint.2019.01.001
10.1017/S1471068413000343
10.1016/j.artint.2013.10.004
ContentType Journal Article
Copyright COPYRIGHT 2023 MDPI AG
2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: COPYRIGHT 2023 MDPI AG
– notice: 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID AAYXX
CITATION
3V.
7SC
7TB
7XB
8AL
8FD
8FE
8FG
8FK
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FR3
GNUQQ
HCIFZ
JQ2
K7-
KR7
L6V
L7M
L~C
L~D
M0N
M7S
P62
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
DOA
DOI 10.3390/a16040185
DatabaseName CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
Mechanical & Transportation Engineering Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
ProQuest Technology Collection
ProQuest One
ProQuest Central Korea
Engineering Research Database
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Civil Engineering Abstracts
ProQuest Engineering Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
Engineering Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
Publicly Available Content Database
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
Mechanical & Transportation Engineering Abstracts
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Engineering Collection
Advanced Technologies & Aerospace Collection
Civil Engineering Abstracts
ProQuest Computing
Engineering Database
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
ProQuest One Academic UKI Edition
Materials Science & Engineering Collection
Engineering Research Database
ProQuest One Academic
ProQuest One Academic (New)
ProQuest Central (Alumni)
DatabaseTitleList
Publicly Available Content Database
CrossRef
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
– sequence: 2
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1999-4893
ExternalDocumentID oai_doaj_org_article_49865437b060437e8daf0069dbdb0e27
A747307158
10_3390_a16040185
GeographicLocations Germany
GeographicLocations_xml – name: Germany
GroupedDBID 23M
2WC
5VS
8FE
8FG
AADQD
AAFWJ
AAYXX
ABDBF
ABJCF
ABUWG
ACUHS
ADBBV
AFFHD
AFKRA
AFPKN
AFZYC
ALMA_UNASSIGNED_HOLDINGS
AMVHM
ARAPS
AZQEC
BCNDV
BENPR
BGLVJ
BPHCQ
CCPQU
CITATION
DWQXO
E3Z
ESX
GNUQQ
GROUPED_DOAJ
HCIFZ
IAO
ICD
ITC
J9A
K6V
K7-
KQ8
L6V
M7S
MODMG
M~E
OK1
OVT
P2P
PHGZM
PHGZT
PIMPY
PQGLB
PQQKQ
PROAC
PTHSS
TR2
TUS
3V.
7SC
7TB
7XB
8AL
8FD
8FK
FR3
JQ2
KR7
L7M
L~C
L~D
M0N
P62
PKEHL
PQEST
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c397t-6b59f4dbb6e7daf444e1399f38cafa92edd49cc0ce014e254078330f507625ea3
IEDL.DBID DOA
ISICitedReferencesCount 8
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000979110500001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1999-4893
IngestDate Fri Oct 03 12:39:16 EDT 2025
Fri Jul 25 11:56:40 EDT 2025
Tue Nov 04 17:35:46 EST 2025
Sat Nov 29 07:10:33 EST 2025
Tue Nov 18 21:49:18 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c397t-6b59f4dbb6e7daf444e1399f38cafa92edd49cc0ce014e254078330f507625ea3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0003-4986-4881
0000-0001-7440-0953
0000-0002-3917-8717
0000-0002-7456-041X
OpenAccessLink https://doaj.org/article/49865437b060437e8daf0069dbdb0e27
PQID 2806447832
PQPubID 2032439
ParticipantIDs doaj_primary_oai_doaj_org_article_49865437b060437e8daf0069dbdb0e27
proquest_journals_2806447832
gale_infotracacademiconefile_A747307158
crossref_primary_10_3390_a16040185
crossref_citationtrail_10_3390_a16040185
PublicationCentury 2000
PublicationDate 2023-04-01
PublicationDateYYYYMMDD 2023-04-01
PublicationDate_xml – month: 04
  year: 2023
  text: 2023-04-01
  day: 01
PublicationDecade 2020
PublicationPlace Basel
PublicationPlace_xml – name: Basel
PublicationTitle Algorithms
PublicationYear 2023
Publisher MDPI AG
Publisher_xml – name: MDPI AG
References Eiter (ref_33) 2020; 20
Cabalar (ref_25) 2011; 11
Cabalar (ref_28) 2018; 18
ref_12
Bartholomew (ref_27) 2019; 273
Balduccini (ref_19) 2017; 17
Bartholomew (ref_30) 2013; 13
ref_16
Erdem (ref_29) 2012; Volume 7265
Gebser (ref_3) 2015; 15
Lierler (ref_18) 2023; 23
Falkner (ref_4) 2018; 32
Janhunen (ref_14) 2017; 17
Pearce (ref_17) 2006; 47
Lierler (ref_5) 2014; 207
Blass (ref_1) 2010; Volume 6300
ref_24
Balduccini (ref_31) 2013; 13
Hill (ref_9) 2009; Volume 5649
Banbara (ref_13) 2017; 17
ref_23
ref_21
Erdem (ref_20) 2009; Volume 5753
Lierler (ref_22) 2016; 46
Drescher (ref_10) 2010; 10
Demoen (ref_8) 2004; Volume 3132
ref_2
Ostrowski (ref_11) 2012; 12
ref_26
Biere (ref_7) 2009; Volume 185
Eiter (ref_15) 2018; 32
Ianni (ref_6) 2017; Volume 10370
Lifschitz (ref_34) 2001; 2
Arias (ref_32) 2018; 18
References_xml – volume: 11
  start-page: 203
  year: 2011
  ident: ref_25
  article-title: Functional answer set programming
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068410000517
– volume: Volume 3132
  start-page: 73
  year: 2004
  ident: ref_8
  article-title: Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP
  publication-title: Proceedings of the Twentieth International Conference on Logic Programming (ICLP’04)
– volume: 15
  start-page: 449
  year: 2015
  ident: ref_3
  article-title: Abstract Gringo
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068415000150
– ident: ref_24
– ident: ref_26
– volume: 23
  start-page: 195
  year: 2023
  ident: ref_18
  article-title: Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068421000478
– volume: 17
  start-page: 408
  year: 2017
  ident: ref_13
  article-title: Clingcon: The Next Generation
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068417000138
– volume: 32
  start-page: 165
  year: 2018
  ident: ref_4
  article-title: Industrial Applications of Answer Set Programming
  publication-title: Künstliche Intell.
  doi: 10.1007/s13218-018-0548-6
– volume: Volume 10370
  start-page: 167
  year: 2017
  ident: ref_6
  article-title: A Tutorial on Hybrid Answer Set Solving with clingo
  publication-title: Proceedings of the Thirteenth International Summer School of the Reasoning Web
– volume: 10
  start-page: 465
  year: 2010
  ident: ref_10
  article-title: A Translational Approach to Constraint Answer Set Solving
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068410000220
– volume: 12
  start-page: 485
  year: 2012
  ident: ref_11
  article-title: ASP modulo CSP: The clingcon system
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068412000142
– volume: Volume 5753
  start-page: 142
  year: 2009
  ident: ref_20
  article-title: Computing Stable Models via Reductions to Difference Logic
  publication-title: Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09)
  doi: 10.1007/978-3-642-04238-6_14
– ident: ref_16
– volume: 2
  start-page: 526
  year: 2001
  ident: ref_34
  article-title: Strongly equivalent logic programs
  publication-title: ACM Trans. Comput. Log.
  doi: 10.1145/383779.383783
– volume: 18
  start-page: 337
  year: 2018
  ident: ref_32
  article-title: Constraint Answer Set Programming without Grounding
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068418000285
– ident: ref_23
– ident: ref_21
– volume: Volume 5649
  start-page: 235
  year: 2009
  ident: ref_9
  article-title: Constraint Answer Set Solving
  publication-title: Proceedings of the Twenty-Fifth International Conference on Logic Programming (ICLP’09)
– volume: 20
  start-page: 895
  year: 2020
  ident: ref_33
  article-title: ASP(AC): Answer Set Programming with Algebraic Constraints
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068420000393
– volume: Volume 6300
  start-page: 488
  year: 2010
  ident: ref_1
  article-title: Thirteen Definitions of a Stable Model
  publication-title: Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  doi: 10.1007/978-3-642-15025-8_24
– volume: 32
  start-page: 187
  year: 2018
  ident: ref_15
  article-title: The DLVHEX System
  publication-title: Künstliche Intell.
  doi: 10.1007/s13218-018-0535-y
– volume: 17
  start-page: 872
  year: 2017
  ident: ref_14
  article-title: Clingo goes Linear Constraints over Reals and Integers
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068417000242
– volume: 47
  start-page: 3
  year: 2006
  ident: ref_17
  article-title: Equilibrium logic
  publication-title: Ann. Math. Artif. Intell.
  doi: 10.1007/s10472-006-9028-z
– volume: 17
  start-page: 462
  year: 2017
  ident: ref_19
  article-title: Constraint answer set solver EZCSP and why integration schemas matter
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068417000102
– ident: ref_2
– volume: Volume 7265
  start-page: 24
  year: 2012
  ident: ref_29
  article-title: A “conservative” approach to extending answer set programming with nonherbrand functions
  publication-title: Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
  doi: 10.1007/978-3-642-30743-0_3
– volume: 13
  start-page: 863
  year: 2013
  ident: ref_30
  article-title: On the stable model semantics for intensional functions
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068413000549
– ident: ref_12
– volume: 18
  start-page: 390
  year: 2018
  ident: ref_28
  article-title: Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068418000169
– volume: 46
  start-page: 1:1
  year: 2016
  ident: ref_22
  article-title: SMT-Based Constraint Answer Set Solver EZSMT (System Description)
  publication-title: Comput. Sci. Fac. Proc. Present.
– volume: 273
  start-page: 56
  year: 2019
  ident: ref_27
  article-title: First-order stable model semantics with intensional functions
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2019.01.001
– volume: 13
  start-page: 547
  year: 2013
  ident: ref_31
  article-title: ASP with non-herbrand partial functions: A language and system for practical use
  publication-title: Theory Pract. Log. Program.
  doi: 10.1017/S1471068413000343
– volume: Volume 185
  start-page: 825
  year: 2009
  ident: ref_7
  article-title: Satisfiability Modulo Theories
  publication-title: Handbook of Satisfiability
– volume: 207
  start-page: 1
  year: 2014
  ident: ref_5
  article-title: Relating constraint answer set programming languages and algorithms
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2013.10.004
SSID ssj0065961
Score 2.3166058
Snippet Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems....
SourceID doaj
proquest
gale
crossref
SourceType Open Website
Aggregation Database
Enrichment Source
Index Database
StartPage 185
SubjectTerms answer set programming
answer set programming modulo theories
Certification
Computer models
Computers
Declarative programming
hybrid reasoning
Hybrid systems
Linear equations
Mathematical programming
Programming languages
semantic foundations
Semantics
Services
Syntax
Variables
SummonAdditionalLinks – databaseName: Engineering Database
  dbid: M7S
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LTxsxEB4VyoELtDxEaFpZCKlcVuzG3tepClVRDhVFCkXcLD9RJNiFJCDx75lxvCkH4NLLHnatle15e8bfABzy0vnKeZWI8DDGJhrNZGJz4XlmndKh2v3yd3l2Vl1d1efxwG0Wyyo7nRgUtW0NnZEfUwZQiBIZ8MfdfUJdoyi7GltorMBHQklIQ-neuNPERV4X2QJNiGNof6yyAlk2o7bJL2xQgOp_SyEHK3O6-b_z-wQb0b9kwwVDfIYPrtmCza53A4uivA3Fn4ah78fG7hb3dmJmrPVs9ET3t9hwfM4ikjk7QStnWdswSvVetzvw9_TXxc9REnsoJAY9jXlS6Lz2wmpduNIqL4Rw6PPVnldGeVUPnLWiNiY1DmMlN8hDWo-nHt1EjIyc4ruw2rSN2wOGht0IahBjUy4URp9VjX_Q2cBwU_Iy78FRt6vSRIBx6nNxIzHQIALIJQF6cLAcerdA1Xht0AmRZjmAgLDDi3Z6LaNcSVFXdDu21AQChIxX4SIJfdlqq1M3KHvwnQgrSVxxMkbFWwe4JAK-kkMMp1DNZXnVg35HWBnleCb_UXX__c9fYJ0a0S9qevqwOp8-uK-wZh7nk9n0W2DLZ9UT6cg
  priority: 102
  providerName: ProQuest
Title On the Semantics of Hybrid ASP Systems Based on Clingo
URI https://www.proquest.com/docview/2806447832
https://doaj.org/article/49865437b060437e8daf0069dbdb0e27
Volume 16
WOSCitedRecordID wos000979110500001&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
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: DOA
  dateStart: 20080101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: M~E
  dateStart: 20080101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: K7-
  dateStart: 20080301
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: M7S
  dateStart: 20080301
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: BENPR
  dateStart: 20080301
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Publicly Available Content Database
  customDbUrl:
  eissn: 1999-4893
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0065961
  issn: 1999-4893
  databaseCode: PIMPY
  dateStart: 20080301
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/publiccontent
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LT9tAEB5VtAcuQB-IQIhWVSV6sbC968ceExRE1TZYTYvoabVPFAkcREKlXvjtnbGdKIdWvXDZg71e7c54d-bTznwD8IEXPpQ-6Eg0jbUuMmgmI5eJwBPntWmi3a--FJNJeX0tq41SXxQT1tIDt4I7FbKk9MfCEMsLjlw6HYhe1xlnYp82eeRxIVdgqj2D80zmScsjxBHUn-oEP44TKpi8YX0akv5_HcWNfTnfg53OMWTDdkKv4YWv38DuqugC6_bgW8gva4ZOG5v6OxTKzC7YPLCL35R4xYbTinUU5GyE5smxec3ojvZm_g5-nI-_n11EXfGDyKKLsIxyk8kgnDG5L3DJQgiPzpoMvLQ6aJl654S0NrYeQY5Ps-Y-jscB_TuENF7zfdiq57U_AIYW2Qqq7OJiLjTCxlLiCCZJLbcFL7IefFwJRdmOGZwKVNwqRAgkP7WWXw_er7vet3QYf-s0IsmuOxCDdfMA9ao6var_6bUHJ6QXRfsMJ2N1ly6ASyLGKjVEHITnU5KVPeivVKe6DbhQdGEsBIokPXyO2RzBNtWZb0N2-rC1fHj0x_DK_lrOFg8DeDkaT6pvg-YfxPZzEQ0oiHRK7dMY31efvlY__wCMS-FR
linkProvider Directory of Open Access Journals
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VggSXlqfY0oKFQHCJmsTOwweEtoVqq12WSi2oN9fPqhJN2t0F1D_Fb2Qmj4UDcOuBSw6JZTmZb14Zez6AF7zwofRBR6K5WOsig24ycpkIPHFem2a3--dJMZ2Wx8fyYAV-9GdhaFtlbxMbQ-1qS__It6kCKESBAHx7cRkRaxRVV3sKjRYWY3_1HVO2-Zv9dyjfl2m69_5odxR1rAKRRd-7iHKTySCcMbkvnA5CCI9RkAy8tDpomXrnhLQ2th6zB59mTaGLxwEDJ8wVvOY47w24KXiZk16Ni6i3_Hkm86TtXsS5jLd1kqOKJETT_JvPa6gB_uYAGq-2t_6_fY-7sNbFz2zYAv4erPjqPqz33BSsM1UPIP9YMYxt2aE_R-yc2TmrAxtd0fk0Njw8YF2ndraDXtyxumJUyj6tH8Kna1n9I1it6so_BoaBixVEgONiLjRm16XEGUySWm4LXmQDeN1LUdmugTrxeHxRmEiRwNVS4AN4vhx60XYN-dOgHYLCcgA1-m5u1LNT1dkNJWRJp38LQ02OULFKfEnqLu2MM7FPiwG8IiApMke4GKu7UxX4StTYSw0xXUQznmTlADZ7IKnOTs3VLxRt_PvxM7g9OvowUZP96fgJ3Ekx1Gv3L23C6mL21W_BLfttcTafPW1UgsHJdWPuJ-G8R3M
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VghAXylMsbcFCILhEm8ROHB9QtaWsWrVaVlpAvZnEj6pSm5Tdpah_jV_HjJMsHIBbD1xySCzLyXzzyrwAXnLpfOF8GYlwMcZGFarJyGbC88S6sgrZ7p-P5GRSHB-r6Rr86GthKK2yl4lBUNvG0D_yIUUAhZAIwKHv0iKme-Odi68RTZCiSGs_TqOFyKG7-o7u2-LtwR7S-lWajt9_fLcfdRMGIoN6eBnlVaa8sFWVO2lLL4RwaBEpzwtT-lKlzlqhjImNQ0_CpVkIevHYoxGFfoMrOe57A25KgW5NSBuc9Vogz1SetJ2MOFfxsExyZJeERjb_pv_CmIC_KYOg4cYb__O3uQd3O7uajVpGuA9rrn4AG_3MCtaJsIeQf6gZ2rxs5s4RU6dmwRrP9q-obo2NZlPWdXBnu6jdLWtqRiHuk-YRfLqW0z-G9bqp3RNgaNAYQYNxbMxFiV53oXCHKkkNN5LLbABveopq0zVWp_keZxodLCK-XhF_AC9WSy_abiJ_WrRLsFgtoAbg4UYzP9GdPNFCFVQVLCtqfoQMV-BLUtdpW9kqdqkcwGsClSYxhYcxZVdtga9EDb_0CN1IFO9JVgxgqweV7uTXQv9C1NN_P34OtxFq-uhgcrgJd1K0ANu0pi1YX86_uW24ZS6Xp4v5s8AdDL5cN-R-AolhUHs
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%3Ajournal&rft.genre=article&rft.atitle=On+the+Semantics+of+Hybrid+ASP+Systems+Based+on+Clingo&rft.jtitle=Algorithms&rft.au=Pedro+Cabalar&rft.au=Jorge+Fandinno&rft.au=Torsten+Schaub&rft.au=Philipp+Wanko&rft.date=2023-04-01&rft.pub=MDPI+AG&rft.eissn=1999-4893&rft.volume=16&rft.issue=4&rft.spage=185&rft_id=info:doi/10.3390%2Fa16040185&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_49865437b060437e8daf0069dbdb0e27
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1999-4893&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1999-4893&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1999-4893&client=summon