Integrating answer set programming and constraint logic programming

We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Annals of mathematics and artificial intelligence Ročník 53; číslo 1-4; s. 251 - 287
Hlavní autoři:	Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.08.2008 Springer Nature B.V
Témata:	Abduction Algorithms Artificial Intelligence Chromium Complex Systems Computer Science Declarative programming Expert systems Knowledge representation Logic programming Mathematical analysis Mathematical programming Mathematics Programming Prolog Semantics Solvers 68T20 68T27 03B70 Answer set programming 68T35 Constraint logic programming Knowledge representation and reasoning 68T30
ISSN:	1012-2443, 1573-7470
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!

Abstract	We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction. The based approach often allows to solve problems which are impossible to solve by more traditional ASP solving techniques. We believe that further investigation of the language and development of more efficient and reliable solvers for its programs can help to substantially expand the domain of applicability of the answer set programming paradigm.
AbstractList	We introduce a knowledge representation language AC(C)() extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolversolver , for computing answer sets of AC(C)() programs. The algorithm does not require full grounding of a program and combines 'classical' ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction. The AC(C)() based approach often allows to solve problems which are impossible to solve by more traditional ASP solving techniques. We believe that further investigation of the language and development of more efficient and reliable solvers for its programs can help to substantially expand the domain of applicability of the answer set programming paradigm. We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction. The based approach often allows to solve problems which are impossible to solve by more traditional ASP solving techniques. We believe that further investigation of the language and development of more efficient and reliable solvers for its programs can help to substantially expand the domain of applicability of the answer set programming paradigm. We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction. The based approach often allows to solve problems which are impossible to solve by more traditional ASP solving techniques. We believe that further investigation of the language and development of more efficient and reliable solvers for its programs can help to substantially expand the domain of applicability of the answer set programming paradigm.
Author	Zhang, Yuanlin Mellarkod, Veena S. Gelfond, Michael
Author_xml	– sequence: 1 givenname: Veena S. surname: Mellarkod fullname: Mellarkod, Veena S. organization: Texas Tech University – sequence: 2 givenname: Michael surname: Gelfond fullname: Gelfond, Michael email: mgelfond@cs.ttu.edu organization: Texas Tech University – sequence: 3 givenname: Yuanlin surname: Zhang fullname: Zhang, Yuanlin organization: Texas Tech University
BookMark	eNp9kE1LxDAQhoOs4O7qD_BW8OApmknz0Rxl8WNhwYueQ5qmpUubrkkX2X9vlgrKgp4yDM87mXkWaOYH7xC6BnIHhMj7CIRJiglRWAEIfDhDc-Ayx5JJMks1AYopY_kFWsS4JQkUhZij1dqPrglmbH2TGR8_XciiG7NdGFK376d2ldnBxzGY1o9ZNzSt_Q1covPadNFdfb9L9P70-LZ6wZvX5_XqYYNtzooRm5oyJ0quROmUrSilrMzzmjjJjbCGWahVoSwXknMQznAoSQlV5YA5pojNl-h2mpv-_ti7OOq-jdZ1nfFu2EetQClGhaKJvDkht8M--LScpgoKUDypSZScKBuGGIOrtW3HZGLwx0s7DUQf3erJrU7K9NGtPqQknCR3oe1NOPyboVMmJtY3Lvzs9HfoC_9JjtM
CitedBy_id	crossref_primary_10_1017_S147106841300032X crossref_primary_10_1016_j_artint_2016_03_004 crossref_primary_10_1017_S1471068417000187 crossref_primary_10_1017_S1471068425100306 crossref_primary_10_1145_3571200 crossref_primary_10_1017_S1471068417000424 crossref_primary_10_1017_S1471068410000220 crossref_primary_10_1017_S1471068417000102 crossref_primary_10_1017_S1471068419000061 crossref_primary_10_1007_s10472_011_9237_y crossref_primary_10_1017_S1471068424000115 crossref_primary_10_1007_s13218_018_0548_6 crossref_primary_10_1017_S1471068412000142 crossref_primary_10_1017_S1471068421000478 crossref_primary_10_1017_S1471068421000156 crossref_primary_10_1017_S1471068417000199 crossref_primary_10_1016_j_artint_2013_10_004 crossref_primary_10_1017_S1471068417000138 crossref_primary_10_1017_S1471068417000412 crossref_primary_10_1017_S1471068417000114 crossref_primary_10_1016_j_artint_2019_01_001 crossref_primary_10_1017_S1471068415000113 crossref_primary_10_1017_S147106841000058X crossref_primary_10_1017_S1471068421000508 crossref_primary_10_1017_S1471068424000103 crossref_primary_10_1609_aimag_v37i3_2671 crossref_primary_10_1609_aimag_v37i3_2673 crossref_primary_10_1016_j_artint_2016_04_005 crossref_primary_10_1016_j_apal_2013_07_008 crossref_primary_10_1017_S1471068419000449 crossref_primary_10_1017_S1471068422000072
Cites_doi	10.1016/j.artint.2004.04.004 10.1145/129393.129398 10.1007/978-3-540-72200-7_13 10.1007/s10817-006-9033-2 10.1023/A:1018930122475 10.1016/0743-1066(94)00028-5 10.1007/s10472-006-9026-1 10.1007/BF03037168 10.1007/BF03037169 10.1016/0743-1066(94)90033-7 10.1007/PL00009261 10.1145/1149114.1149117 10.1017/CBO9780511543357 10.1007/11562931_7 10.1007/978-1-4684-3384-5_11 10.7551/mitpress/5625.001.0001 10.1007/978-3-642-60085-2_17 10.1007/978-3-540-72200-7_31 10.1007/978-3-540-30557-6_5 10.1007/978-3-540-74610-2_20 10.1007/3-540-63255-7_2 10.1007/11546207_40 10.1007/3-540-49201-1_21 10.1007/978-3-540-24836-1_10 10.1007/3-540-63255-7_32 10.1109/LICS.1991.151657 10.1093/bioinformatics/bth918
ContentType	Journal Article
Copyright	Springer Science+Business Media B.V. 2009 Springer Science+Business Media B.V. 2009.
Copyright_xml	– notice: Springer Science+Business Media B.V. 2009 – notice: Springer Science+Business Media B.V. 2009.
DBID	AAYXX CITATION 8FE 8FG ABJCF AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PTHSS 7SC 8FD L7M L~C L~D
DOI	10.1007/s10472-009-9116-y
DatabaseName	CrossRef ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection ProQuest Engineering Database ProQuest Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic 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 Engineering Collection Computer and Information Systems Abstracts Technology Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest One Community College ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts Computer Science Database
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central - New (Subscription) url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Mathematics Computer Science
EISSN	1573-7470
EndPage	287
ExternalDocumentID	10_1007_s10472_009_9116_y
GroupedDBID	-4Z -59 -5G -BR -EM -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 2.D 203 23M 28- 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BBWZM BDATZ BENPR BGLVJ BGNMA BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IAO IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K7- KDC KOV KOW LAK LLZTM M4Y M7S MA- N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P9O PF0 PT4 PT5 PTHSS QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TN5 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z81 Z83 Z88 Z92 ZMTXR ~A9 ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG ADKFA AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 8FE 8FG AZQEC DWQXO GNUQQ JQ2 L6V P62 PKEHL PQEST PQQKQ PQUKI 7SC 8FD L7M L~C L~D PUEGO
ID	FETCH-LOGICAL-c348t-af24e6b596be9cd2224b33f0e75a6ca4c1f989c5675516ea51b0b1dde14e490c3
IEDL.DBID	K7-
ISICitedReferencesCount	52
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000265523800011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1012-2443
IngestDate	Thu Oct 02 05:26:43 EDT 2025 Wed Nov 05 15:02:46 EST 2025 Tue Nov 18 22:33:13 EST 2025 Sat Nov 29 05:14:34 EST 2025 Fri Feb 21 02:32:49 EST 2025
IsDoiOpenAccess	false
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1-4
Keywords	68T20 68T27 03B70 Answer set programming 68T35 Constraint logic programming Knowledge representation and reasoning 68T30
Language	English
License	http://www.springer.com/tdm
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c348t-af24e6b596be9cd2224b33f0e75a6ca4c1f989c5675516ea51b0b1dde14e490c3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23
PQID	2918195573
PQPubID	2043872
PageCount	37
ParticipantIDs	proquest_miscellaneous_919942692 proquest_journals_2918195573 crossref_citationtrail_10_1007_s10472_009_9116_y crossref_primary_10_1007_s10472_009_9116_y springer_journals_10_1007_s10472_009_9116_y
PublicationCentury	2000
PublicationDate	20080800 2008-8-00 20080801
PublicationDateYYYYMMDD	2008-08-01
PublicationDate_xml	– month: 8 year: 2008 text: 20080800
PublicationDecade	2000
PublicationPlace	Dordrecht
PublicationPlace_xml	– name: Dordrecht
PublicationTitle	Annals of mathematics and artificial intelligence
PublicationTitleAbbrev	Ann Math Artif Intell
PublicationYear	2008
Publisher	Springer Netherlands Springer Nature B.V
Publisher_xml	– name: Springer Netherlands – name: Springer Nature B.V
References	Apt, Bezem (CR1) 1991; 9 Jaffar, Maher (CR22) 1994; 19/20 Balduccini, Baral, Brewka, Schlipf (CR4) 2007 CR18 CR39 CR16 Marek, Truszczynski (CR28) 1999 CR38 CR37 CR14 Gebser, Kaufman, Neumann, Schaub, Baral, Brewka, Schlipf (CR17) 2007 Lifschitz, Turner (CR24) 1994 CR34 CR11 CR10 CR32 CR31 Van Hentenryck (CR42) 1989 Ramalingam, Song, Joskowicz, Miller (CR36) 1999; 23 Gelfond, Lifschitz (CR19) 1991; 9 Baral (CR7) 2003 CR2 Giunchiglia, Lierler, Maratea (CR20) 2006; 36 Clark, Gallaire, Minker (CR13) 1978 CR3 CR5 CR8 CR29 CR9 Leone, Pfeifer, Faber, Eiter, Gottlob, Perri, Scarcello (CR23) 2006; 7 CR26 Eiter, Leone, Mateis, Pfeifer, Scarcello (CR15) 1997 Niemela (CR33) 1999; 25 Jaffar, Michaylov, Stuckey, Yap (CR21) 1992; 14 Lin, Zhao (CR25) 2004; 157 CR41 Niemela, Simons, Soininen (CR35) 2002; 138 CR40 Chen, Swift, Warren (CR12) 1995; 24 Marriott, Stuckey (CR30) 1998 Balduccini, Gelfond, Nogueira (CR6) 2006; 47 Marek, Truszczynski (CR27) 1993 K. Marriott (9116_CR30) 1998 K. Apt (9116_CR1) 1991; 9 J. Jaffar (9116_CR21) 1992; 14 F. Lin (9116_CR25) 2004; 157 E. Giunchiglia (9116_CR20) 2006; 36 9116_CR41 M. Balduccini (9116_CR4) 2007 9116_CR40 M. Gelfond (9116_CR19) 1991; 9 9116_CR8 V.W. Marek (9116_CR27) 1993 9116_CR5 9116_CR26 9116_CR3 9116_CR2 K. Clark (9116_CR13) 1978 N. Leone (9116_CR23) 2006; 7 9116_CR9 9116_CR29 I. Niemela (9116_CR35) 2002; 138 V. Lifschitz (9116_CR24) 1994 G. Ramalingam (9116_CR36) 1999; 23 W. Chen (9116_CR12) 1995; 24 M. Gebser (9116_CR17) 2007 9116_CR31 C. Baral (9116_CR7) 2003 T. Eiter (9116_CR15) 1997 J. Jaffar (9116_CR22) 1994; 19/20 I. Niemela (9116_CR33) 1999; 25 9116_CR39 9116_CR16 9116_CR38 9116_CR37 9116_CR14 9116_CR34 9116_CR11 9116_CR10 V.W. Marek (9116_CR28) 1999 9116_CR32 P. Hentenryck Van (9116_CR42) 1989 M. Balduccini (9116_CR6) 2006; 47 9116_CR18
References_xml	– ident: CR18 – volume: 157 start-page: 115 issue: 1–2 year: 2004 end-page: 137 ident: CR25 article-title: ASSAT: computing answer sets of a logic program by SAT solvers publication-title: Artif. Intell. doi: 10.1016/j.artint.2004.04.004 – ident: CR14 – ident: CR39 – ident: CR2 – ident: CR16 – ident: CR37 – volume: 14 start-page: 339 issue: 3 year: 1992 end-page: 395 ident: CR21 article-title: The CLP(R) language and system publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/129393.129398 – year: 1989 ident: CR42 publication-title: Constraint Satisfaction in Logic Programming – start-page: 136 year: 2007 end-page: 148 ident: CR17 article-title: Conflict-driven answer set enumeration publication-title: Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07). lnai, vol. 3662 doi: 10.1007/978-3-540-72200-7_13 – ident: CR10 – start-page: 23 year: 1994 end-page: 37 ident: CR24 article-title: Splitting a logic program publication-title: Proceedings of the Eleventh International Conference on Logic Programming – ident: CR29 – volume: 36 start-page: 345 year: 2006 end-page: 377 ident: CR20 article-title: Answer set programming based on propositional satisfiability publication-title: J. Autom. Reason. doi: 10.1007/s10817-006-9033-2 – volume: 25 start-page: 241 issue: 3–4 year: 1999 end-page: 273 ident: CR33 article-title: Logic programs with stable model semantics as a constraint programming paradigm publication-title: Ann. Math. Artif. Intell. doi: 10.1023/A:1018930122475 – ident: CR8 – volume: 138 start-page: 181 issue: 1–2 year: 2002 end-page: 2340 ident: CR35 article-title: Extending and implementing the stable model semantics publication-title: Artif. Intell. – ident: CR40 – year: 2003 ident: CR7 publication-title: Knowledge representation, reasoning, and declarative problem solving – start-page: 293 year: 1978 end-page: 322 ident: CR13 article-title: Negation as failure publication-title: Logic and Data Bases – start-page: 375 year: 1999 end-page: 398 ident: CR28 publication-title: Stable Models and an Alternative Logic Programming Paradigm – volume: 24 start-page: 161 issue: 3 year: 1995 end-page: 201 ident: CR12 article-title: Efficient top-down computation of queries under the well-founded semantics publication-title: J. Log. Program. doi: 10.1016/0743-1066(94)00028-5 – start-page: 363 year: 1997 end-page: 374 ident: CR15 article-title: A deductive system for nonmonotonic reasoning publication-title: International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR97, LNAI, vol. 1265 – ident: CR3 – year: 1998 ident: CR30 publication-title: Programming with Constraints: An Introduction – ident: CR38 – ident: CR31 – ident: CR11 – volume: 47 start-page: 183 year: 2006 end-page: 219 ident: CR6 article-title: Answer set based design of knowledge systems publication-title: Ann. Math. Artif. Intell. doi: 10.1007/s10472-006-9026-1 – ident: CR9 – year: 1993 ident: CR27 publication-title: Nonmonotonic Logics; Context Dependent Reasoning – ident: CR32 – ident: CR34 – ident: CR5 – volume: 9 start-page: 335 issue: 3,4 year: 1991 end-page: 365 ident: CR1 article-title: Acyclic programs publication-title: New Gener. Comput. doi: 10.1007/BF03037168 – volume: 9 start-page: 365 issue: 3/4 year: 1991 end-page: 386 ident: CR19 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Gener. Comput. doi: 10.1007/BF03037169 – volume: 19/20 start-page: 503 year: 1994 end-page: 581 ident: CR22 article-title: Constraint logic programming publication-title: J. Log. Program. doi: 10.1016/0743-1066(94)90033-7 – volume: 23 start-page: 261 issue: 3 year: 1999 end-page: 275 ident: CR36 article-title: Solving systems of difference constraints incrementally publication-title: Algorithmica doi: 10.1007/PL00009261 – ident: CR41 – start-page: 18 year: 2007 end-page: 30 ident: CR4 article-title: CR-MODELS: an inference engine for CR-Prolog publication-title: Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’07). Lecture Notes in Artificial Intelligence, vol. 3662 – ident: CR26 – volume: 7 start-page: 499 year: 2006 end-page: 562 ident: CR23 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. doi: 10.1145/1149114.1149117 – volume-title: Knowledge representation, reasoning, and declarative problem solving year: 2003 ident: 9116_CR7 doi: 10.1017/CBO9780511543357 – ident: 9116_CR9 doi: 10.1007/11562931_7 – ident: 9116_CR14 – start-page: 293 volume-title: Logic and Data Bases year: 1978 ident: 9116_CR13 doi: 10.1007/978-1-4684-3384-5_11 – volume-title: Programming with Constraints: An Introduction year: 1998 ident: 9116_CR30 doi: 10.7551/mitpress/5625.001.0001 – start-page: 375 volume-title: Stable Models and an Alternative Logic Programming Paradigm year: 1999 ident: 9116_CR28 doi: 10.1007/978-3-642-60085-2_17 – volume: 47 start-page: 183 year: 2006 ident: 9116_CR6 publication-title: Ann. Math. Artif. Intell. doi: 10.1007/s10472-006-9026-1 – ident: 9116_CR32 doi: 10.1007/978-3-540-72200-7_31 – ident: 9116_CR10 doi: 10.1007/978-3-540-30557-6_5 – start-page: 136 volume-title: Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07). lnai, vol. 3662 year: 2007 ident: 9116_CR17 – start-page: 23 volume-title: Proceedings of the Eleventh International Conference on Logic Programming year: 1994 ident: 9116_CR24 – volume: 14 start-page: 339 issue: 3 year: 1992 ident: 9116_CR21 publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/129393.129398 – volume-title: Constraint Satisfaction in Logic Programming year: 1989 ident: 9116_CR42 – start-page: 363 volume-title: International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR97, LNAI, vol. 1265 year: 1997 ident: 9116_CR15 – ident: 9116_CR29 – ident: 9116_CR41 – start-page: 18 volume-title: Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’07). Lecture Notes in Artificial Intelligence, vol. 3662 year: 2007 ident: 9116_CR4 – ident: 9116_CR2 – ident: 9116_CR26 doi: 10.1007/978-3-540-74610-2_20 – ident: 9116_CR11 doi: 10.1007/3-540-63255-7_2 – volume: 19/20 start-page: 503 year: 1994 ident: 9116_CR22 publication-title: J. Log. Program. doi: 10.1016/0743-1066(94)90033-7 – volume: 24 start-page: 161 issue: 3 year: 1995 ident: 9116_CR12 publication-title: J. Log. Program. doi: 10.1016/0743-1066(94)00028-5 – volume: 157 start-page: 115 issue: 1–2 year: 2004 ident: 9116_CR25 publication-title: Artif. Intell. doi: 10.1016/j.artint.2004.04.004 – ident: 9116_CR16 doi: 10.1007/11546207_40 – volume: 7 start-page: 499 year: 2006 ident: 9116_CR23 publication-title: ACM Trans. Comput. Log. doi: 10.1145/1149114.1149117 – volume: 138 start-page: 181 issue: 1–2 year: 2002 ident: 9116_CR35 publication-title: Artif. Intell. – volume: 36 start-page: 345 year: 2006 ident: 9116_CR20 publication-title: J. Autom. Reason. doi: 10.1007/s10817-006-9033-2 – ident: 9116_CR38 – volume: 23 start-page: 261 issue: 3 year: 1999 ident: 9116_CR36 publication-title: Algorithmica doi: 10.1007/PL00009261 – volume: 9 start-page: 335 issue: 3,4 year: 1991 ident: 9116_CR1 publication-title: New Gener. Comput. doi: 10.1007/BF03037168 – volume: 25 start-page: 241 issue: 3–4 year: 1999 ident: 9116_CR33 publication-title: Ann. Math. Artif. Intell. doi: 10.1023/A:1018930122475 – ident: 9116_CR39 doi: 10.1007/3-540-49201-1_21 – ident: 9116_CR3 doi: 10.1007/978-3-540-24836-1_10 – volume: 9 start-page: 365 issue: 3/4 year: 1991 ident: 9116_CR19 publication-title: New Gener. Comput. doi: 10.1007/BF03037169 – ident: 9116_CR34 doi: 10.1007/3-540-63255-7_32 – ident: 9116_CR40 doi: 10.1109/LICS.1991.151657 – ident: 9116_CR5 – ident: 9116_CR8 doi: 10.1093/bioinformatics/bth918 – volume-title: Nonmonotonic Logics; Context Dependent Reasoning year: 1993 ident: 9116_CR27 – ident: 9116_CR31 – ident: 9116_CR37 – ident: 9116_CR18
SSID	ssj0009686
Score	2.1616406
Snippet	We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an... We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an... We introduce a knowledge representation language AC(C)() extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	251
SubjectTerms	Abduction Algorithms Artificial Intelligence Chromium Complex Systems Computer Science Declarative programming Expert systems Knowledge representation Logic programming Mathematical analysis Mathematical programming Mathematics Programming Prolog Semantics Solvers
SummonAdditionalLinks	– databaseName: SpringerLink dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEB509aAHV1fF-qIHT0qhjyRtjrK46MFFfLG30qQpCNqVbVfZf--kTberqKDHtpMHk0zmS-cFcCIoSVHruk6aKLyg-ClxooToaLQkpExliILTqthEOBxGoxG_MXHcRePt3pgkq5N6IdiNhL6jf-ajgDJntgwrqO0iLY23d49tpl1WlXfUeasc1F1BY8r8rovPyqhFmF-MopWuGXT_NctN2DDQ0j6v98IWLKm8B92mbINtpLgH69fzVK3FNvSvTMIIHMVGvfWOpIUqbeO49VK_Tm2pgaSuJ1Ha1XG5SLADD4OL-_6lYyorODIgUekkmU8UE5QzobhMESMQEQSZq0KaMJkQ6WU84pLibYJ6TCXUE67w8CT0iCLclcEudPJxrvbA9hCeC4UgJKOMRJkUiE88njF8VCGiKwvchsWxNGnH9Wyf4zZhsmZZjCyLNcvimQWn8yavdc6N34gPm3WLjfgVsc89bR-kYWCBPf-MgqOtIUmuxtMCm3Ou43h9C86apWx7-HG8_T9RH8Ba7WCiPQYPoVNOpuoIVuVb-VRMjquN-wElROia priority: 102 providerName: Springer Nature
Title	Integrating answer set programming and constraint logic programming
URI	https://link.springer.com/article/10.1007/s10472-009-9116-y https://www.proquest.com/docview/2918195573 https://www.proquest.com/docview/919942692
Volume	53
WOSCitedRecordID	wos000265523800011&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: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1573-7470 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0009686 issn: 1012-2443 databaseCode: K7- dateStart: 19970301 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Advanced Technologies & Aerospace Database customDbUrl: eissn: 1573-7470 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0009686 issn: 1012-2443 databaseCode: P5Z dateStart: 19970301 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central - New (Subscription) customDbUrl: eissn: 1573-7470 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0009686 issn: 1012-2443 databaseCode: BENPR dateStart: 19970301 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Engineering Database customDbUrl: eissn: 1573-7470 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0009686 issn: 1012-2443 databaseCode: M7S dateStart: 19970301 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLink customDbUrl: eissn: 1573-7470 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009686 issn: 1012-2443 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Rb9MwED5Buwd4oNANUShVHnhishYnthM_TaPqBEJUVcdQxUuUOI6EBO1YUlD_PXeJ0zCk9YUXS4nt2Mr57j77zncAbzIpctS6PstTixuUIBcsTgXdRksjqWyBKDivk01E83m8WumFO3ArnVtlKxNrQZ1vDJ2RnwWak8lHRuH5zU9GWaPIuupSaDyEPg8CTuv8Y8S6oLuqzvRIIawYqrGwtWo2V-dEFDAyDSC7K7a7q5c6sPmPfbRWO5eD_53wU3jiAKd30ayQZ_DArocwaJM5eI63h_D40z6Aa3kM0w8ujAROykNt9hublrbynDvXj-Z17hmCl5RlovJqIfp3gxO4vpx9nr5nLt8CM6GIK5YWgbAqk1plVpsckYPIwrDwbSRTZVJheKFjbSTuMSRXNpU88zOO8pELK7RvwufQW2_W9gV4HEF7ZhGaFFKJuDAZohauC4WPNkLMNQK__duJccHIabbfky6MMhEoQQIlRKBkN4K3-y43TSSOQ43HLVESx5Rl0lFkBN6-GtmJbCTp2m62JXbXmm73BiM4bSnffeHe8V4eHu8VPGr8TMhxcAy96nZrX8OR-VV9K28n0H83my-Wk3rxTsj79ArLhfyK5fLqyx8qn_bc
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB4BRQIOQHmILVvwoVxAFnnYTnxAqNoWsQJWSIDELSSOI1UquwsJRfun-hs7k8emrQQ3DhyT-JHYn2c-Z8YzAF8SKVLUug5PY4sbFC8VPIwFnUaLA6lshiw4LZNNBINBeHurL2fgd3MWhtwqG5lYCup0ZOgf-aGnXTL5yMA_Hj9wyhpF1tUmhUYFizM7ecYtW37U_4bzu-d5J9-ve6e8zirAjS_CgseZJ6xKpFaJ1SZF_SgS388cG8hYmVgYN9OhNhKZtHSVjaWbOImLUsAVVmjH-NjuLHwQJP1LV8GrNsivKjNLUsgsjmrTb6yo1VE9EXicTBEoXhSf_KsHW3L7nz22VHMnK-9tgFZhuSbU7Gu1Aj7CjB2uwUqTrILVsmsNli6mAWrzdej16zAZOAgMtfUzFs1twWp3tfvqdsoM0WfKolGwUkn8XWADbt7kwzZhbjga2i1gLm5KEovUK5NKhJlJkJW5OlN4aQPklB1wmtmNTB1snd72Z9SGiSZARAiIiAARTTqwP60yriKNvFa424AgqoVOHrUI6ACbPkZxQTageGhHTzlW15pOL3sdOGiQ1rbwYn-fXu9vFxZOry_Oo_P-4GwbFiufGnKS7MJc8fhkP8O8-VX8yB93ygXD4O6tAfgHZLpQQA
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB60iujBalWMVs3BkxKax-4me5Rqsail4IPeQrLZgKBpaVKl_97ZPNoqKojHJLMPZnd2vs28AE5DSiLUuqYRBRIvKHZEDC8gKhotcCmTMaLgKC824fZ63mDA-2Wd07Tydq9MkkVMg8rSlGStURS3FgLfiGsb6sc-CiszpsuwQlTNIHVdv3-aZ91lealHlcPKQD3mVGbN77r4rJjmaPOLgTTXO536v2e8BZsl5NQvij2yDUsyaUC9Kuegl9LdgI27WQrXdAfa3TKRBI6ooz57R9JUZnrp0PVavI50oQCmqjOR6fkxukiwC4-dq4f2tVFWXDCEQ7zMCGKbSBZSzkLJRYTYgYSOE5vSpQETARFWzD0uKN4yqMVkQK3QDC08IS0iCTeFswe1ZJjIfdAthO2hRHASU0a8WISIWyweM3yULqIuDcyK3b4o05Gr2b7480TKimU-ssxXLPOnGpzNmoyKXBy_ETerNfRLsUx9m1vKbkhdRwN99hkFSllJgkQOJyk251zF99oanFfLOu_hx_EO_kR9Amv9y45_2-3dHMJ64YOinAqbUMvGE3kEq-Ite07Hx_l-_gCF5_Ri
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=Integrating+answer+set+programming+and+constraint+logic+programming&rft.jtitle=Annals+of+mathematics+and+artificial+intelligence&rft.au=Mellarkod%2C+Veena+S&rft.au=Gelfond%2C+Michael&rft.au=Zhang%2C+Yuanlin&rft.date=2008-08-01&rft.pub=Springer+Nature+B.V&rft.issn=1012-2443&rft.eissn=1573-7470&rft.volume=53&rft.issue=1-4&rft.spage=251&rft.epage=287&rft_id=info:doi/10.1007%2Fs10472-009-9116-y
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1012-2443&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1012-2443&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1012-2443&client=summon