Design and results of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely related pro...
Gespeichert in:
| Veröffentlicht in: | Artificial intelligence Jg. 231; S. 151 - 181 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier B.V
01.02.2016
|
| Schlagworte: | |
| ISSN: | 0004-3702, 1872-7921 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely related problem solving areas such as Boolean Satisfiability, Satisfiability Modulo Theories, Quantified Boolean Formulas, Planning, etc. This paper reports about the fifth edition of the ASP Competition by covering all aspects of the event, ranging from the new design of the competition to an in-depth analysis of the results. The paper comprises also additional analyses that were conceived for measuring the progress of the state of the art, as well as for studying aspects orthogonal to solving technology, such as the effects of modeling. A detailed picture of the progress of the state of the art in ASP solving is drawn, and the ASP Competition is located in the spectrum of related events. |
|---|---|
| AbstractList | Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely related problem solving areas such as Boolean Satisfiability, Satisfiability Modulo Theories, Quantified Boolean Formulas, Planning, etc. This paper reports about the fifth edition of the ASP Competition by covering all aspects of the event, ranging from the new design of the competition to an in-depth analysis of the results. The paper comprises also additional analyses that were conceived for measuring the progress of the state of the art, as well as for studying aspects orthogonal to solving technology, such as the effects of modeling. A detailed picture of the progress of the state of the art in ASP solving is drawn, and the ASP Competition is located in the spectrum of related events. |
| Author | Gebser, Martin Ricca, Francesco Calimeri, Francesco Maratea, Marco |
| Author_xml | – sequence: 1 givenname: Francesco orcidid: 0000-0002-0866-0834 surname: Calimeri fullname: Calimeri, Francesco email: calimeri@mat.unical.it organization: Dipartimento di Matematica e Informatica, Università della Calabria, Italy – sequence: 2 givenname: Martin orcidid: 0000-0002-8010-4752 surname: Gebser fullname: Gebser, Martin email: martin.gebser@aalto.fi organization: Helsinki Institute for Information Technology HIIT, Department of Computer Science, Aalto University, Finland – sequence: 3 givenname: Marco surname: Maratea fullname: Maratea, Marco email: marco@dibris.unige.it organization: Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università di Genova, Italy – sequence: 4 givenname: Francesco surname: Ricca fullname: Ricca, Francesco email: ricca@mat.unical.it organization: Dipartimento di Matematica e Informatica, Università della Calabria, Italy |
| BookMark | eNqFkE9LAzEQxYNUsK1-Aw85etk1f7bdjQehVqtCQUE9hzQ7aVN2k5qkit_eLevJgzKHYWDe473fCA2cd4DQOSU5JXR6uc1VSNalnBE6yYnICamO0JBWJctKwegADQkhRcZLwk7QKMZtd3Ih6BDd3EK0a4eVq3GAuG9SxN7gtAG8sCZt8MzFTwj4BRJ-Dn4dVNtat8Zz3-4g2WS9O0XHRjURzn72GL0t7l7nD9ny6f5xPltmmnORsroQUHSJyEQIo4FyUFRwomC1MqakilFVsKrmFRFFMV2xwjAz4Wqla96V1JqP0UXvuwv-fQ8xydZGDU2jHPh9lLQsq65W2c0YXfWvOvgYAxipbVKHsCko20hK5AGc3MoenDyAk0TIDlwnLn6Jd8G2Knz9J7vuZdAx-LAQZNQWnIbaBtBJ1t7-bfANstKMCQ |
| CitedBy_id | crossref_primary_10_1017_S1471068421000375 crossref_primary_10_1017_S1471068421000351 crossref_primary_10_1016_j_artint_2022_103754 crossref_primary_10_3233_AAC_192101 crossref_primary_10_1017_S1471068418000492 crossref_primary_10_1017_S1471068421000090 crossref_primary_10_1017_S1471068423000078 crossref_primary_10_1016_j_artint_2019_103185 crossref_primary_10_1017_S1471068419000061 crossref_primary_10_1017_S1471068425100264 crossref_primary_10_1016_j_artint_2024_104230 crossref_primary_10_1017_S1471068418000133 crossref_primary_10_1017_S1471068423000170 crossref_primary_10_1017_S1471068416000478 crossref_primary_10_3233_IA_190020 crossref_primary_10_3233_IA_170030 crossref_primary_10_1093_logcom_exad034 crossref_primary_10_1109_TSE_2021_3069978 crossref_primary_10_1007_s13218_018_0548_6 crossref_primary_10_1016_j_artint_2021_103519 crossref_primary_10_1017_S1471068421000478 crossref_primary_10_1017_S1471068418000145 crossref_primary_10_1016_j_artint_2019_103193 crossref_primary_10_1017_S1471068418000546 crossref_primary_10_1017_S1471068417000199 crossref_primary_10_1017_S1471068417000254 crossref_primary_10_1017_S1471068419000036 crossref_primary_10_1017_S1471068420000332 crossref_primary_10_1017_S0269888918000012 crossref_primary_10_1017_S1471068419000450 crossref_primary_10_3233_AIC_180770 crossref_primary_10_1631_FITEE_1800514 crossref_primary_10_1007_s00354_018_0046_2 crossref_primary_10_1017_S1471068418000583 crossref_primary_10_1016_j_artint_2024_104276 crossref_primary_10_1017_S1471068425100173 crossref_primary_10_1007_s10506_023_09360_z crossref_primary_10_1007_s13218_018_0534_z crossref_primary_10_1017_S1471068416000387 crossref_primary_10_1609_aimag_v37i3_2675 crossref_primary_10_3233_IA_170104 crossref_primary_10_1016_j_artint_2017_04_002 crossref_primary_10_1017_S1471068416000284 |
| Cites_doi | 10.1007/s10601-007-9028-6 10.1017/S1471068412000105 10.3233/AIC-140606 10.1007/s10817-006-9033-2 10.1016/S0004-3702(02)00187-X 10.1007/BF01536399 10.1145/1149114.1149117 10.1017/S1471068412000166 10.1007/BF01530761 10.1016/j.artint.2012.04.001 10.1017/S1471068408003323 10.1016/S0004-3702(02)00207-2 10.1017/S1471068403001765 10.1609/aimag.v33i4.2448 10.1145/1119439.1119440 10.1017/S147106841100007X 10.1609/aimag.v35i2.2539 10.1007/s10817-012-9246-5 10.1145/2043174.2043195 10.1609/aimag.v33i1.2392 10.1145/261124.261126 10.3233/FI-2009-180 10.1109/12.769433 10.1016/j.artint.2010.04.002 10.1023/A:1018930122475 10.1609/aimag.v33i1.2395 10.1016/j.artint.2008.10.012 10.1016/S0004-3702(02)00186-8 10.1007/BF03037169 10.1016/j.artint.2004.04.004 |
| ContentType | Journal Article |
| Copyright | 2015 Elsevier B.V. |
| Copyright_xml | – notice: 2015 Elsevier B.V. |
| DBID | AAYXX CITATION 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| DOI | 10.1016/j.artint.2015.09.008 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7921 |
| EndPage | 181 |
| ExternalDocumentID | 10_1016_j_artint_2015_09_008 S0004370215001447 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1~. 1~5 23N 4.4 457 4G. 5GY 5VS 6I. 6J9 6TJ 7-5 71M 77K 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AAKPC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABFRF ABJNI ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFO ACGFS ACNCT ACNNM ACRLP ACWUS ACZNC ADBBV ADEZE ADMUD AEBSH AECPX AEFWE AEKER AENEX AETEA AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 E3Z EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F0J F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE IXB J1W JJJVA KOM KQ8 LG9 LY7 M41 MO0 MVM N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SBC SDF SDG SDP SES SET SEW SPC SPCBC SST SSV SSZ T5K TAE TN5 TR2 TWZ UPT UQL VQA WH7 WUQ XFK XJE XJT XPP XSW ZMT ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c339t-d49e48720599fce13ea1930aebbff71a21a428d3809446b24f2f53abcd3101cc3 |
| ISICitedReferencesCount | 90 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000368746100006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0004-3702 |
| IngestDate | Thu Oct 02 11:17:22 EDT 2025 Sat Nov 29 06:08:09 EST 2025 Tue Nov 18 22:20:08 EST 2025 Fri Feb 23 02:31:58 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Solver competition Answer Set Programming Computational logic |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c339t-d49e48720599fce13ea1930aebbff71a21a428d3809446b24f2f53abcd3101cc3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| ORCID | 0000-0002-0866-0834 0000-0002-8010-4752 |
| PQID | 1778003737 |
| PQPubID | 23500 |
| PageCount | 31 |
| ParticipantIDs | proquest_miscellaneous_1778003737 crossref_citationtrail_10_1016_j_artint_2015_09_008 crossref_primary_10_1016_j_artint_2015_09_008 elsevier_sciencedirect_doi_10_1016_j_artint_2015_09_008 |
| PublicationCentury | 2000 |
| PublicationDate | February 2016 2016-02-00 20160201 |
| PublicationDateYYYYMMDD | 2016-02-01 |
| PublicationDate_xml | – month: 02 year: 2016 text: February 2016 |
| PublicationDecade | 2010 |
| PublicationTitle | Artificial intelligence |
| PublicationYear | 2016 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Denecker, Vennekens, Bond, Gebser, Truszczyński (br0270) 2009; vol. 5753 Calimeri, Gebser, Maratea, Ricca (br0170) 2014 Niemelä (br0710) 1999; 25 Simons, Niemelä, Soininen (br0820) 2002; 138 SyGuS-COMP (br0880) 2014 Calimeri, Ianni, Krennwallner, Ricca (br0180) 2012; 33 Ricca, Grasso, Alviano, Manna, Lio, Iiritano, Leone (br0780) 2012; 12 Crawford, Baker (br0230) 1994 Gebser, Janhunen, Rintanen (br0410) 2014; vol. 263 Lin, Zhao (br0620) 2004; 157 Gebser, Liu, Namasivayam, Neumann, Schaub, Truszczyński (br0460) 2007; vol. 4483 Ghallab, Howe, Knoblock, McDermott, Ram, Veloso, Weld, Wilkins (br0510) 1998 ORE (br0730) 2014 MiniZinc (br0680) 2014 Aschinger, Drescher, Friedrich, Gottlob, Jeavons, Ryabokon, Thorstensen (br0050) 2011; vol. 6697 Baral (br0080) 2003 TermCOMP (br0900) 2014 Dal Palù, Dovier, Pontelli, Rossi (br0260) 2009; 96 Järvisalo, Le Berre, Roussel, Simon (br0580) 2012; 33 SYNTCOMP (br0890) 2014 Brewka, Eiter, Truszczyński (br0130) 2011; 54 Erdem, Lifschitz (br0350) 2003; 3 Fages (br0400) 1994; 1 Alviano, Dodaro, Faber, Leone, Ricca (br0030) 2013; vol. 8148 Bomanson, Janhunen (br0120) 2013; vol. 8148 Gelfond, Leone (br0470) 2002; 138 Marques-Silva, Sakallah (br0810) 1999; 48 CoCo (br0210) 2014 Eén, Sörensson (br0300) 2003; vol. 2919 Calimeri, Gebser, Maratea, Ricca (br0160) 2014; 14 Eiter, Ianni, Krennwallner (br0340) 2009; vol. 5689 Gerevini, Haslum, Long, Saetti, Dimopoulos (br0500) 2009; 173 IPC (br0550) 2014 (br0070) 2013; vol. 1207 PB (br0740) 2012 Lifschitz (br0610) 2002; 138 Ben-Eliyahu, Dechter (br0100) 1994; 12 HWMCC (br0540) 2014 Alviano, Calimeri, Charwat, Dao-Tran, Dodaro, Ianni, Krennwallner, Kronegger, Oetsch, Pfandler, Pührer, Redl, Ricca, Schneider, Schwengerer, Spendier, Wallner, Xiao (br0020) 2013; vol. 8148 CSSC (br0250) 2014 Eiter, Gottlob (br0320) 1995; 15 Sutcliffe (br0860) 2014; 27 East, Truszczyński (br0290) 2001; vol. 2173 Gelfond, Lifschitz (br0490) 1991; 9 Mariën, Wittocx, Denecker, Bruynooghe (br0660) 2008; vol. 4996 Tiihonen, Soininen, Niemelä, Sulonen (br0910) 2003 Faber, Leone, Pfeifer (br0370) 2004; vol. 3229 Calimeri, Ianni, Ricca (br0190) 2014; 14 Janhunen, Niemelä, Seipel, Simons, You (br0570) 2006; 7 SMT (br0830) 2014 Alviano, Dodaro, Ricca (br0040) 2014 Brewka, Niemelä, Schaub, Truszczyński (br0140) 2002 Calimeri, Faber, Gebser, Ianni, Kaminski, Krennwallner, Leone, Ricca, Schaub (br0150) 2013 Gebser, Kaminski, Kaufmann, Schaub (br0420) 2014; 14 QBF (br0750) 2014 Asparagus (br0060) 2009 Eiter, Gottlob, Mannila (br0330) 1997; 22 Nguyen, Janhunen, Niemelä (br0700) 2011; vol. 7773 SAT (br0790) 2014 SMT-LIB (br0840) 2014 QBF-LIB (br0760) 2014 Liu, Janhunen, Niemelä (br0630) 2012 CSC (br0240) 2009 Stuckey, Feydy, Schutt, Tack, Fischer (br0850) 2014; 35 Faber, Leone, Perri (br0360) 2012; vol. 7265 Barrett, Deters, de Moura, Oliveras, Stump (br0090) 2013; 50 Dovier, Formisano, Pontelli (br0280) 2007 Gebser, Kaufmann, Schaub (br0430) 2012; 187–188 Nogueira, Balduccini, Gelfond, Watson, Barry (br0720) 2001; vol. 1990 Gebser, Kaufmann, Schaub (br0440) 2012; 12 Faber, Pfeifer, Leone, Dell'Armi, Ielpa (br0390) 2008; 8 Gebser, Kaufmann, Schaub (br0450) 2013 Eiter, Faber, Leone, Pfeifer (br0310) 2000; vol. 597 Faber, Leone, Pfeifer (br0380) 2011; 175 Hoos, Kaufmann, Schaub, Schneider (br0530) 2013; vol. 7997 Marek, Truszczyński (br0650) 1999 Max-SAT (br0670) 2014 SAT-LIB (br0800) 2014 Giunchiglia, Lierler, Maratea (br0520) 2006; 36 Beyer (br0110) 2014; vol. 8413 CASC (br0200) 2014 Leone, Pfeifer, Faber, Eiter, Gottlob, Perri, Scarcello (br0600) 2006; 7 Coles, Coles, García Olaya, Jiménez Celorrio, Linares López, Sanner, Yoon (br0220) 2012; 33 SV-COMP (br0870) 2014 Janhunen, Niemelä (br0560) 2011; vol. 6565 Alviano (br0010) 2014 Gelfond, Lifschitz (br0480) 1988 Mancini, Micaletto, Patrizi, Cadoli (br0640) 2008; 13 Reiter (br0770) 1991 Zhang, Madigan, Moskewicz, Malik (br0920) 2001 Krennwallner (br0590) 2013 MISC (br0690) 2012 Calimeri (10.1016/j.artint.2015.09.008_br0180) 2012; 33 Alviano (10.1016/j.artint.2015.09.008_br0040) 2014 Brewka (10.1016/j.artint.2015.09.008_br0130) 2011; 54 Lifschitz (10.1016/j.artint.2015.09.008_br0610) 2002; 138 Brewka (10.1016/j.artint.2015.09.008_br0140) Marques-Silva (10.1016/j.artint.2015.09.008_br0810) 1999; 48 Faber (10.1016/j.artint.2015.09.008_br0380) 2011; 175 Erdem (10.1016/j.artint.2015.09.008_br0350) 2003; 3 Stuckey (10.1016/j.artint.2015.09.008_br0850) 2014; 35 Gelfond (10.1016/j.artint.2015.09.008_br0490) 1991; 9 Ghallab (10.1016/j.artint.2015.09.008_br0510) QBF-LIB (10.1016/j.artint.2015.09.008_br0760) SAT-LIB (10.1016/j.artint.2015.09.008_br0800) Alviano (10.1016/j.artint.2015.09.008_br0010) Barrett (10.1016/j.artint.2015.09.008_br0090) 2013; 50 SMT-LIB (10.1016/j.artint.2015.09.008_br0840) Leone (10.1016/j.artint.2015.09.008_br0600) 2006; 7 Mancini (10.1016/j.artint.2015.09.008_br0640) 2008; 13 Eiter (10.1016/j.artint.2015.09.008_br0340) 2009; vol. 5689 Hoos (10.1016/j.artint.2015.09.008_br0530) 2013; vol. 7997 Marek (10.1016/j.artint.2015.09.008_br0650) 1999 Tiihonen (10.1016/j.artint.2015.09.008_br0910) 2003 Reiter (10.1016/j.artint.2015.09.008_br0770) 1991 Dovier (10.1016/j.artint.2015.09.008_br0280) 2007 Alviano (10.1016/j.artint.2015.09.008_br0030) 2013; vol. 8148 MiniZinc (10.1016/j.artint.2015.09.008_br0680) Nguyen (10.1016/j.artint.2015.09.008_br0700) 2011; vol. 7773 SyGuS-COMP (10.1016/j.artint.2015.09.008_br0880) Fages (10.1016/j.artint.2015.09.008_br0400) 1994; 1 Aschinger (10.1016/j.artint.2015.09.008_br0050) 2011; vol. 6697 Gerevini (10.1016/j.artint.2015.09.008_br0500) 2009; 173 Janhunen (10.1016/j.artint.2015.09.008_br0570) 2006; 7 Alviano (10.1016/j.artint.2015.09.008_br0020) 2013; vol. 8148 MISC (10.1016/j.artint.2015.09.008_br0690) Baral (10.1016/j.artint.2015.09.008_br0080) 2003 Coles (10.1016/j.artint.2015.09.008_br0220) 2012; 33 SAT (10.1016/j.artint.2015.09.008_br0790) Eiter (10.1016/j.artint.2015.09.008_br0320) 1995; 15 Gebser (10.1016/j.artint.2015.09.008_br0410) 2014; vol. 263 (10.1016/j.artint.2015.09.008_br0070) 2013; vol. 1207 Crawford (10.1016/j.artint.2015.09.008_br0230) 1994 Gebser (10.1016/j.artint.2015.09.008_br0430) 2012; 187–188 SV-COMP (10.1016/j.artint.2015.09.008_br0870) Gebser (10.1016/j.artint.2015.09.008_br0460) 2007; vol. 4483 Gebser (10.1016/j.artint.2015.09.008_br0440) 2012; 12 Gelfond (10.1016/j.artint.2015.09.008_br0470) 2002; 138 Eén (10.1016/j.artint.2015.09.008_br0300) 2003; vol. 2919 HWMCC (10.1016/j.artint.2015.09.008_br0540) CASC (10.1016/j.artint.2015.09.008_br0200) East (10.1016/j.artint.2015.09.008_br0290) 2001; vol. 2173 Janhunen (10.1016/j.artint.2015.09.008_br0560) 2011; vol. 6565 Zhang (10.1016/j.artint.2015.09.008_br0920) 2001 Krennwallner (10.1016/j.artint.2015.09.008_br0590) Simons (10.1016/j.artint.2015.09.008_br0820) 2002; 138 ORE (10.1016/j.artint.2015.09.008_br0730) Faber (10.1016/j.artint.2015.09.008_br0390) 2008; 8 Calimeri (10.1016/j.artint.2015.09.008_br0160) 2014; 14 Faber (10.1016/j.artint.2015.09.008_br0360) 2012; vol. 7265 Gebser (10.1016/j.artint.2015.09.008_br0420) 2014; 14 Gelfond (10.1016/j.artint.2015.09.008_br0480) 1988 Faber (10.1016/j.artint.2015.09.008_br0370) 2004; vol. 3229 IPC (10.1016/j.artint.2015.09.008_br0550) Ricca (10.1016/j.artint.2015.09.008_br0780) 2012; 12 Calimeri (10.1016/j.artint.2015.09.008_br0190) 2014; 14 Denecker (10.1016/j.artint.2015.09.008_br0270) 2009; vol. 5753 QBF (10.1016/j.artint.2015.09.008_br0750) SYNTCOMP (10.1016/j.artint.2015.09.008_br0890) Giunchiglia (10.1016/j.artint.2015.09.008_br0520) 2006; 36 Nogueira (10.1016/j.artint.2015.09.008_br0720) 2001; vol. 1990 Calimeri (10.1016/j.artint.2015.09.008_br0150) Mariën (10.1016/j.artint.2015.09.008_br0660) 2008; vol. 4996 Calimeri (10.1016/j.artint.2015.09.008_br0170) CoCo (10.1016/j.artint.2015.09.008_br0210) Lin (10.1016/j.artint.2015.09.008_br0620) 2004; 157 Liu (10.1016/j.artint.2015.09.008_br0630) 2012 Niemelä (10.1016/j.artint.2015.09.008_br0710) 1999; 25 Beyer (10.1016/j.artint.2015.09.008_br0110) 2014; vol. 8413 CSSC (10.1016/j.artint.2015.09.008_br0250) Järvisalo (10.1016/j.artint.2015.09.008_br0580) 2012; 33 Asparagus (10.1016/j.artint.2015.09.008_br0060) Ben-Eliyahu (10.1016/j.artint.2015.09.008_br0100) 1994; 12 Gebser (10.1016/j.artint.2015.09.008_br0450) 2013 Sutcliffe (10.1016/j.artint.2015.09.008_br0860) 2014; 27 PB (10.1016/j.artint.2015.09.008_br0740) CSC (10.1016/j.artint.2015.09.008_br0240) Eiter (10.1016/j.artint.2015.09.008_br0310) 2000; vol. 597 SMT (10.1016/j.artint.2015.09.008_br0830) Eiter (10.1016/j.artint.2015.09.008_br0330) 1997; 22 Bomanson (10.1016/j.artint.2015.09.008_br0120) 2013; vol. 8148 Dal Palù (10.1016/j.artint.2015.09.008_br0260) 2009; 96 TermCOMP (10.1016/j.artint.2015.09.008_br0900) Max-SAT (10.1016/j.artint.2015.09.008_br0670) |
| References_xml | – start-page: 375 year: 1999 end-page: 398 ident: br0650 article-title: Stable models and an alternative logic programming paradigm publication-title: The Logic Programming Paradigm: A 25-Year Perspective – year: 2014 ident: br0840 article-title: The Satisfiability Modulo Theories library – volume: vol. 8413 start-page: 373 year: 2014 end-page: 388 ident: br0110 article-title: Status report on software verification – (competition summary SV-COMP 2014) publication-title: Proceedings of the Twentieth International Conference on Tools and Algorithms for the Construction and Analysis of Systems – volume: vol. 7773 start-page: 105 year: 2011 end-page: 116 ident: br0700 article-title: Translating answer-set programs into bit-vector logic publication-title: Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the Twenty-Fifth Workshop on Logic Programming (WLP 2011) – volume: 187–188 start-page: 52 year: 2012 end-page: 89 ident: br0430 article-title: Conflict-driven answer set solving: from theory to practice publication-title: Artif. Intell. – volume: vol. 5689 start-page: 40 year: 2009 end-page: 110 ident: br0340 article-title: Answer set programming: a primer publication-title: Proceedings of the Fifth International Reasoning Web Summer School – volume: 33 start-page: 89 year: 2012 end-page: 92 ident: br0580 article-title: The international SAT solver competitions publication-title: AI Mag. – year: 2012 ident: br0690 article-title: The Mancoosi international solver competition (MISC 2012) – volume: 50 start-page: 243 year: 2013 end-page: 277 ident: br0090 article-title: 6 years of SMT-COMP publication-title: J. Autom. Reason. – year: 2009 ident: br0240 article-title: The fourth international CSP solver competition (CSC 2009) – volume: 8 start-page: 545 year: 2008 end-page: 580 ident: br0390 article-title: Design and implementation of aggregate functions in the DLV system publication-title: Theory Pract. Log. Program. – year: 2003 ident: br0910 article-title: A practical tool for mass-customising configurable products publication-title: Proceedings of the Fourteenth International Conference on Engineering Design – volume: vol. 4483 start-page: 3 year: 2007 end-page: 17 ident: br0460 article-title: The first answer set programming system competition publication-title: Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning – start-page: 68 year: 2014 end-page: 72 ident: br0040 article-title: Preliminary report on WASP 2.0 publication-title: Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning – volume: vol. 6697 start-page: 4 year: 2011 end-page: 19 ident: br0050 article-title: Optimization methods for the partner units problem publication-title: Proceedings of the Eighth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – start-page: 1070 year: 1988 end-page: 1080 ident: br0480 article-title: The stable model semantics for logic programming publication-title: Proceedings of the Fifth International Conference and Symposium of Logic Programming – volume: 35 start-page: 55 year: 2014 end-page: 60 ident: br0850 article-title: The MiniZinc challenge 2008–2013 publication-title: AI Mag. – volume: vol. 4996 start-page: 211 year: 2008 end-page: 224 ident: br0660 article-title: SAT(ID): satisfiability of propositional logic extended with inductive definitions publication-title: Proceedings of the Eleventh International Conference on Theory and Applications of Satisfiability Testing – year: 2013 ident: br0590 article-title: Answer set solver output – start-page: 279 year: 2001 end-page: 285 ident: br0920 article-title: Efficient conflict driven learning in a Boolean satisfiability solver publication-title: Proceedings of the International Conference on Computer-Aided Design – volume: 9 start-page: 365 year: 1991 end-page: 385 ident: br0490 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Gener. Comput. – volume: vol. 2919 start-page: 502 year: 2003 end-page: 518 ident: br0300 article-title: An extensible SAT-solver publication-title: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing – volume: vol. 7265 start-page: 247 year: 2012 end-page: 264 ident: br0360 article-title: The intelligent grounder of DLV publication-title: Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz – year: 2014 ident: br0900 article-title: The termination competition (termCOMP 2014) – year: 2014 ident: br0890 article-title: The synthesis competition (SYNTCOMP 2014) – volume: vol. 263 start-page: 351 year: 2014 end-page: 356 ident: br0410 article-title: Answer set programming as SAT modulo acyclicity publication-title: Proceedings of the Twenty-First European Conference on Artificial Intelligence – volume: 14 start-page: 117 year: 2014 end-page: 135 ident: br0190 article-title: The third open answer set programming competition publication-title: Theory Pract. Log. Program. – volume: 14 year: 2014 ident: br0420 article-title: Clingo = ASP + control: preliminary report publication-title: Proceedings of the Thirtieth International Conference on Logic Programming – volume: 138 start-page: 3 year: 2002 end-page: 38 ident: br0470 article-title: Logic programming and knowledge representation – the A-Prolog perspective publication-title: Artif. Intell. – year: 2014 ident: br0540 article-title: The seventh hardware model checking competition (HWMCC 2014) – volume: 33 start-page: 83 year: 2012 end-page: 88 ident: br0220 article-title: A survey of the seventh international planning competition publication-title: AI Mag. – volume: 157 start-page: 115 year: 2004 end-page: 137 ident: br0620 article-title: ASSAT: computing answer sets of a logic program by SAT solvers publication-title: Artif. Intell. – volume: 13 start-page: 407 year: 2008 end-page: 436 ident: br0640 article-title: Evaluating ASP and commercial solvers on the CSPLib publication-title: Constraints – volume: 12 start-page: 53 year: 1994 end-page: 87 ident: br0100 article-title: Propositional semantics for disjunctive logic programs publication-title: Ann. Math. Artif. Intell. – year: 2014 ident: br0200 article-title: The seventh IJCAR ATP system competition (CASC-J7 2014) – volume: 138 start-page: 181 year: 2002 end-page: 234 ident: br0820 article-title: Extending and implementing the stable model semantics publication-title: Artif. Intell. – volume: 138 start-page: 39 year: 2002 end-page: 54 ident: br0610 article-title: Answer set programming and plan generation publication-title: Artif. Intell. – year: 2014 ident: br0730 article-title: The OWL reasoner evaluation (ORE 2014) – volume: vol. 597 start-page: 79 year: 2000 end-page: 103 ident: br0310 article-title: Declarative problem-solving using the DLV system publication-title: Logic-Based Artificial Intelligence – year: 2014 ident: br0550 article-title: The eighth international planning competition (IPC 2014) – volume: vol. 8148 start-page: 42 year: 2013 end-page: 53 ident: br0020 article-title: The fourth answer set programming competition: preliminary report publication-title: Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning – year: 2014 ident: br0680 article-title: The MiniZinc challenge 2014 – year: 2003 ident: br0080 article-title: Knowledge Representation, Reasoning and Declarative Problem Solving – volume: 96 start-page: 297 year: 2009 end-page: 322 ident: br0260 article-title: GASP: answer set programming with lazy grounding publication-title: Fundam. Inform. – volume: 54 start-page: 92 year: 2011 end-page: 103 ident: br0130 article-title: Answer set programming at a glance publication-title: Commun. ACM – volume: 1 start-page: 51 year: 1994 end-page: 60 ident: br0400 article-title: Consistency of Clark's completion and the existence of stable models publication-title: J. Methods Logic Comput. Sci. – volume: 7 start-page: 499 year: 2006 end-page: 562 ident: br0600 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. – year: 2014 ident: br0790 article-title: The international SAT competitions (SAT-COMP 2014) – start-page: 912 year: 2013 end-page: 918 ident: br0450 article-title: Advanced conflict-driven disjunctive answer set solving publication-title: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence – volume: vol. 1990 start-page: 169 year: 2001 end-page: 183 ident: br0720 article-title: An A-Prolog decision support system for the space shuttle publication-title: Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages – volume: 14 year: 2014 ident: br0160 article-title: The design of the fifth answer set programming competition publication-title: Proceedings of the Thirtieth International Conference on Logic Programming – volume: 33 start-page: 114 year: 2012 end-page: 118 ident: br0180 article-title: The answer set programming competition publication-title: AI Mag. – year: 2014 ident: br0870 article-title: The third international competition on software verification (SV-COMP 2014) – volume: 15 start-page: 289 year: 1995 end-page: 323 ident: br0320 article-title: On the computational cost of disjunctive logic programming: propositional case publication-title: Ann. Math. Artif. Intell. – start-page: 359 year: 1991 end-page: 380 ident: br0770 article-title: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression publication-title: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy – year: 2014 ident: br0880 article-title: The syntax-guided synthesis competition (SyGuS-COMP 2014) – volume: vol. 7997 start-page: 138 year: 2013 end-page: 152 ident: br0530 article-title: Robust benchmark set selection for Boolean constraint solvers publication-title: Proceedings of the Seventh International Conference on Learning and Intelligent Optimization – year: 2014 ident: br0170 article-title: The fifth answer set programming competition (ASPCOMP 2014) – volume: vol. 3229 start-page: 200 year: 2004 end-page: 212 ident: br0370 article-title: Recursive aggregates in disjunctive logic programs: semantics and complexity publication-title: Proceedings of the Ninth European Conference on Logics in Artificial Intelligence – year: 2014 ident: br0830 article-title: The Satisfiability Modulo Theories solver competition (SMT-COMP 2014) – volume: vol. 2173 start-page: 402 year: 2001 end-page: 405 ident: br0290 article-title: aspps – an implementation of answer-set programming with propositional schemata publication-title: Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning – year: 2014 ident: br0670 article-title: The ninth Max-SAT evaluation (Max-SAT 2014) – year: 2009 ident: br0060 article-title: Asparagus – a web-based benchmarking environment for answer set programming – volume: 36 start-page: 345 year: 2006 end-page: 377 ident: br0520 article-title: Answer set programming based on propositional satisfiability publication-title: J. Autom. Reason. – year: 2012 ident: br0740 article-title: The pseudo-Boolean competition 2012 (PB 2012) – start-page: 32 year: 2012 end-page: 42 ident: br0630 article-title: Answer set programming via mixed integer programming publication-title: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning – volume: 12 start-page: 361 year: 2012 end-page: 381 ident: br0780 article-title: Team-building with answer set programming in the Gioia-Tauro seaport publication-title: Theory Pract. Log. Program. – start-page: 1092 year: 1994 end-page: 1097 ident: br0230 article-title: Experimental results on the application of satisfiability algorithms to scheduling problems publication-title: Proceedings of the Twelfth National Conference on Artificial Intelligence – year: 2014 ident: br0800 article-title: The satisfiability library – volume: 48 start-page: 506 year: 1999 end-page: 521 ident: br0810 article-title: GRASP: a search algorithm for propositional satisfiability publication-title: IEEE Trans. Comput. – year: 2013 ident: br0150 – volume: 27 start-page: 405 year: 2014 end-page: 416 ident: br0860 article-title: The CADE-24 automated theorem proving system competition – CASC-24 publication-title: AI Commun. – volume: 173 start-page: 619 year: 2009 end-page: 668 ident: br0500 article-title: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners publication-title: Artif. Intell. – volume: 22 start-page: 364 year: 1997 end-page: 418 ident: br0330 article-title: Disjunctive datalog publication-title: ACM Trans. Database Syst. – volume: vol. 6565 start-page: 111 year: 2011 end-page: 130 ident: br0560 article-title: Compact translations of non-disjunctive answer set programs to propositional clauses publication-title: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday – year: 2014 ident: br0210 – start-page: 1622 year: 2007 end-page: 1625 ident: br0280 article-title: An experimental comparison of constraint logic programming and answer set programming publication-title: Proceedings of the Twenty-Second National Conference on Artificial Intelligence – year: 2014 ident: br0010 article-title: The pyrunlim tool – volume: 7 start-page: 1 year: 2006 end-page: 37 ident: br0570 article-title: Unfolding partiality and disjunctions in stable model semantics publication-title: ACM Trans. Comput. Log. – volume: vol. 1207 year: 2013 ident: br0070 publication-title: Proceedings of the Third International Workshop on OWL Reasoner Evaluation – year: 2002 ident: br0140 article-title: Workshop on nonmonotonic reasoning, answer set programming and constraints – volume: vol. 5753 start-page: 637 year: 2009 end-page: 654 ident: br0270 article-title: The second answer set programming competition publication-title: Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning – year: 2014 ident: br0760 article-title: The quantified Boolean formulas satisfiability library – volume: vol. 8148 start-page: 187 year: 2013 end-page: 199 ident: br0120 article-title: Normalizing cardinality rules using merging and sorting constructions publication-title: Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning – year: 1998 ident: br0510 article-title: PDDL – the planning domain definition language – year: 2014 ident: br0250 article-title: The configurable SAT solver challenge (CSSC 2014) – year: 2014 ident: br0750 article-title: The QBF gallery 2014 – volume: vol. 8148 start-page: 54 year: 2013 end-page: 66 ident: br0030 article-title: WASP: a native ASP solver based on constraint learning publication-title: Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning – volume: 3 start-page: 499 year: 2003 end-page: 518 ident: br0350 article-title: Tight logic programs publication-title: Theory Pract. Log. Program. – volume: 175 start-page: 278 year: 2011 end-page: 298 ident: br0380 article-title: Semantics and complexity of recursive aggregates in answer set programming publication-title: Artif. Intell. – volume: 25 start-page: 241 year: 1999 end-page: 273 ident: br0710 article-title: Logic programming with stable model semantics as a constraint programming paradigm publication-title: Ann. Math. Artif. Intell. – volume: 12 start-page: 525 year: 2012 end-page: 545 ident: br0440 article-title: Multi-threaded ASP solving with clasp publication-title: Theory Pract. Log. Program. – ident: 10.1016/j.artint.2015.09.008_br0550 – volume: vol. 597 start-page: 79 year: 2000 ident: 10.1016/j.artint.2015.09.008_br0310 article-title: Declarative problem-solving using the DLV system – ident: 10.1016/j.artint.2015.09.008_br0510 – volume: 13 start-page: 407 issue: 4 year: 2008 ident: 10.1016/j.artint.2015.09.008_br0640 article-title: Evaluating ASP and commercial solvers on the CSPLib publication-title: Constraints doi: 10.1007/s10601-007-9028-6 – volume: 14 start-page: 117 issue: 1 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0190 article-title: The third open answer set programming competition publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068412000105 – volume: vol. 2919 start-page: 502 year: 2003 ident: 10.1016/j.artint.2015.09.008_br0300 article-title: An extensible SAT-solver – volume: vol. 8148 start-page: 187 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0120 article-title: Normalizing cardinality rules using merging and sorting constructions – start-page: 375 year: 1999 ident: 10.1016/j.artint.2015.09.008_br0650 article-title: Stable models and an alternative logic programming paradigm – year: 2003 ident: 10.1016/j.artint.2015.09.008_br0080 – volume: 27 start-page: 405 issue: 4 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0860 article-title: The CADE-24 automated theorem proving system competition – CASC-24 publication-title: AI Commun. doi: 10.3233/AIC-140606 – volume: 36 start-page: 345 issue: 4 year: 2006 ident: 10.1016/j.artint.2015.09.008_br0520 article-title: Answer set programming based on propositional satisfiability publication-title: J. Autom. Reason. doi: 10.1007/s10817-006-9033-2 – ident: 10.1016/j.artint.2015.09.008_br0590 – volume: vol. 7265 start-page: 247 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0360 article-title: The intelligent grounder of DLV – ident: 10.1016/j.artint.2015.09.008_br0540 – volume: 138 start-page: 181 issue: 1–2 year: 2002 ident: 10.1016/j.artint.2015.09.008_br0820 article-title: Extending and implementing the stable model semantics publication-title: Artif. Intell. doi: 10.1016/S0004-3702(02)00187-X – volume: vol. 3229 start-page: 200 year: 2004 ident: 10.1016/j.artint.2015.09.008_br0370 article-title: Recursive aggregates in disjunctive logic programs: semantics and complexity – volume: 15 start-page: 289 issue: 3–4 year: 1995 ident: 10.1016/j.artint.2015.09.008_br0320 article-title: On the computational cost of disjunctive logic programming: propositional case publication-title: Ann. Math. Artif. Intell. doi: 10.1007/BF01536399 – start-page: 1070 year: 1988 ident: 10.1016/j.artint.2015.09.008_br0480 article-title: The stable model semantics for logic programming – ident: 10.1016/j.artint.2015.09.008_br0240 – volume: 7 start-page: 499 issue: 3 year: 2006 ident: 10.1016/j.artint.2015.09.008_br0600 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. doi: 10.1145/1149114.1149117 – ident: 10.1016/j.artint.2015.09.008_br0840 – volume: vol. 1207 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0070 – volume: vol. 8148 start-page: 42 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0020 article-title: The fourth answer set programming competition: preliminary report – ident: 10.1016/j.artint.2015.09.008_br0150 – volume: 12 start-page: 525 issue: 4–5 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0440 article-title: Multi-threaded ASP solving with clasp publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068412000166 – ident: 10.1016/j.artint.2015.09.008_br0690 – volume: vol. 4483 start-page: 3 year: 2007 ident: 10.1016/j.artint.2015.09.008_br0460 article-title: The first answer set programming system competition – volume: vol. 7773 start-page: 105 year: 2011 ident: 10.1016/j.artint.2015.09.008_br0700 article-title: Translating answer-set programs into bit-vector logic – volume: 12 start-page: 53 issue: 1–2 year: 1994 ident: 10.1016/j.artint.2015.09.008_br0100 article-title: Propositional semantics for disjunctive logic programs publication-title: Ann. Math. Artif. Intell. doi: 10.1007/BF01530761 – volume: 187–188 start-page: 52 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0430 article-title: Conflict-driven answer set solving: from theory to practice publication-title: Artif. Intell. doi: 10.1016/j.artint.2012.04.001 – volume: vol. 4996 start-page: 211 year: 2008 ident: 10.1016/j.artint.2015.09.008_br0660 article-title: SAT(ID): satisfiability of propositional logic extended with inductive definitions – ident: 10.1016/j.artint.2015.09.008_br0060 – ident: 10.1016/j.artint.2015.09.008_br0880 – ident: 10.1016/j.artint.2015.09.008_br0010 – start-page: 1622 year: 2007 ident: 10.1016/j.artint.2015.09.008_br0280 article-title: An experimental comparison of constraint logic programming and answer set programming – volume: 8 start-page: 545 issue: 5–6 year: 2008 ident: 10.1016/j.artint.2015.09.008_br0390 article-title: Design and implementation of aggregate functions in the DLV system publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068408003323 – volume: vol. 8148 start-page: 54 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0030 article-title: WASP: a native ASP solver based on constraint learning – volume: 138 start-page: 3 issue: 1–2 year: 2002 ident: 10.1016/j.artint.2015.09.008_br0470 article-title: Logic programming and knowledge representation – the A-Prolog perspective publication-title: Artif. Intell. doi: 10.1016/S0004-3702(02)00207-2 – volume: 3 start-page: 499 issue: 4–5 year: 2003 ident: 10.1016/j.artint.2015.09.008_br0350 article-title: Tight logic programs publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068403001765 – volume: 33 start-page: 114 issue: 4 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0180 article-title: The answer set programming competition publication-title: AI Mag. doi: 10.1609/aimag.v33i4.2448 – volume: 14 issue: 4–5 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0420 article-title: Clingo = ASP + control: preliminary report publication-title: Theory Pract. Log. Program. – ident: 10.1016/j.artint.2015.09.008_br0740 – volume: vol. 6565 start-page: 111 year: 2011 ident: 10.1016/j.artint.2015.09.008_br0560 article-title: Compact translations of non-disjunctive answer set programs to propositional clauses – volume: 7 start-page: 1 issue: 1 year: 2006 ident: 10.1016/j.artint.2015.09.008_br0570 article-title: Unfolding partiality and disjunctions in stable model semantics publication-title: ACM Trans. Comput. Log. doi: 10.1145/1119439.1119440 – start-page: 68 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0040 article-title: Preliminary report on WASP 2.0 – volume: 12 start-page: 361 issue: 3 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0780 article-title: Team-building with answer set programming in the Gioia-Tauro seaport publication-title: Theory Pract. Log. Program. doi: 10.1017/S147106841100007X – ident: 10.1016/j.artint.2015.09.008_br0890 – ident: 10.1016/j.artint.2015.09.008_br0140 – volume: 35 start-page: 55 issue: 2 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0850 article-title: The MiniZinc challenge 2008–2013 publication-title: AI Mag. doi: 10.1609/aimag.v35i2.2539 – volume: vol. 8413 start-page: 373 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0110 article-title: Status report on software verification – (competition summary SV-COMP 2014) – volume: vol. 1990 start-page: 169 year: 2001 ident: 10.1016/j.artint.2015.09.008_br0720 article-title: An A-Prolog decision support system for the space shuttle – ident: 10.1016/j.artint.2015.09.008_br0760 – volume: 50 start-page: 243 issue: 3 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0090 article-title: 6 years of SMT-COMP publication-title: J. Autom. Reason. doi: 10.1007/s10817-012-9246-5 – volume: 54 start-page: 92 issue: 12 year: 2011 ident: 10.1016/j.artint.2015.09.008_br0130 article-title: Answer set programming at a glance publication-title: Commun. ACM doi: 10.1145/2043174.2043195 – ident: 10.1016/j.artint.2015.09.008_br0170 – volume: 33 start-page: 83 issue: 1 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0220 article-title: A survey of the seventh international planning competition publication-title: AI Mag. doi: 10.1609/aimag.v33i1.2392 – volume: vol. 5753 start-page: 637 year: 2009 ident: 10.1016/j.artint.2015.09.008_br0270 article-title: The second answer set programming competition – volume: 22 start-page: 364 issue: 3 year: 1997 ident: 10.1016/j.artint.2015.09.008_br0330 article-title: Disjunctive datalog publication-title: ACM Trans. Database Syst. doi: 10.1145/261124.261126 – start-page: 32 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0630 article-title: Answer set programming via mixed integer programming – ident: 10.1016/j.artint.2015.09.008_br0210 – ident: 10.1016/j.artint.2015.09.008_br0790 – ident: 10.1016/j.artint.2015.09.008_br0670 – start-page: 1092 year: 1994 ident: 10.1016/j.artint.2015.09.008_br0230 article-title: Experimental results on the application of satisfiability algorithms to scheduling problems – volume: 96 start-page: 297 issue: 3 year: 2009 ident: 10.1016/j.artint.2015.09.008_br0260 article-title: GASP: answer set programming with lazy grounding publication-title: Fundam. Inform. doi: 10.3233/FI-2009-180 – volume: 48 start-page: 506 issue: 5 year: 1999 ident: 10.1016/j.artint.2015.09.008_br0810 article-title: GRASP: a search algorithm for propositional satisfiability publication-title: IEEE Trans. Comput. doi: 10.1109/12.769433 – start-page: 279 year: 2001 ident: 10.1016/j.artint.2015.09.008_br0920 article-title: Efficient conflict driven learning in a Boolean satisfiability solver – volume: vol. 7997 start-page: 138 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0530 article-title: Robust benchmark set selection for Boolean constraint solvers – volume: 175 start-page: 278 issue: 1 year: 2011 ident: 10.1016/j.artint.2015.09.008_br0380 article-title: Semantics and complexity of recursive aggregates in answer set programming publication-title: Artif. Intell. doi: 10.1016/j.artint.2010.04.002 – volume: vol. 263 start-page: 351 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0410 article-title: Answer set programming as SAT modulo acyclicity – volume: 25 start-page: 241 issue: 3–4 year: 1999 ident: 10.1016/j.artint.2015.09.008_br0710 article-title: Logic programming with stable model semantics as a constraint programming paradigm publication-title: Ann. Math. Artif. Intell. doi: 10.1023/A:1018930122475 – ident: 10.1016/j.artint.2015.09.008_br0800 – ident: 10.1016/j.artint.2015.09.008_br0680 – volume: 33 start-page: 89 issue: 1 year: 2012 ident: 10.1016/j.artint.2015.09.008_br0580 article-title: The international SAT solver competitions publication-title: AI Mag. doi: 10.1609/aimag.v33i1.2395 – ident: 10.1016/j.artint.2015.09.008_br0870 – ident: 10.1016/j.artint.2015.09.008_br0200 – ident: 10.1016/j.artint.2015.09.008_br0730 – ident: 10.1016/j.artint.2015.09.008_br0750 – volume: 173 start-page: 619 issue: 5–6 year: 2009 ident: 10.1016/j.artint.2015.09.008_br0500 article-title: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners publication-title: Artif. Intell. doi: 10.1016/j.artint.2008.10.012 – volume: 138 start-page: 39 issue: 1–2 year: 2002 ident: 10.1016/j.artint.2015.09.008_br0610 article-title: Answer set programming and plan generation publication-title: Artif. Intell. doi: 10.1016/S0004-3702(02)00186-8 – ident: 10.1016/j.artint.2015.09.008_br0250 – volume: vol. 6697 start-page: 4 year: 2011 ident: 10.1016/j.artint.2015.09.008_br0050 article-title: Optimization methods for the partner units problem – volume: vol. 2173 start-page: 402 year: 2001 ident: 10.1016/j.artint.2015.09.008_br0290 article-title: aspps – an implementation of answer-set programming with propositional schemata – volume: 14 issue: 4–5 year: 2014 ident: 10.1016/j.artint.2015.09.008_br0160 article-title: The design of the fifth answer set programming competition publication-title: Theory Pract. Log. Program. – volume: 9 start-page: 365 year: 1991 ident: 10.1016/j.artint.2015.09.008_br0490 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Gener. Comput. doi: 10.1007/BF03037169 – volume: vol. 5689 start-page: 40 year: 2009 ident: 10.1016/j.artint.2015.09.008_br0340 article-title: Answer set programming: a primer – volume: 1 start-page: 51 year: 1994 ident: 10.1016/j.artint.2015.09.008_br0400 article-title: Consistency of Clark's completion and the existence of stable models publication-title: J. Methods Logic Comput. Sci. – start-page: 912 year: 2013 ident: 10.1016/j.artint.2015.09.008_br0450 article-title: Advanced conflict-driven disjunctive answer set solving – start-page: 359 year: 1991 ident: 10.1016/j.artint.2015.09.008_br0770 article-title: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – ident: 10.1016/j.artint.2015.09.008_br0900 – ident: 10.1016/j.artint.2015.09.008_br0830 – volume: 157 start-page: 115 issue: 1–2 year: 2004 ident: 10.1016/j.artint.2015.09.008_br0620 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 – year: 2003 ident: 10.1016/j.artint.2015.09.008_br0910 article-title: A practical tool for mass-customising configurable products |
| SSID | ssj0003991 |
| Score | 2.5432417 |
| Snippet | Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 151 |
| SubjectTerms | Answer Set Programming Artificial intelligence Boolean algebra Competition Computational logic Design engineering Expert systems Logic programming Programming Solver competition State of the art |
| Title | Design and results of the Fifth Answer Set Programming Competition |
| URI | https://dx.doi.org/10.1016/j.artint.2015.09.008 https://www.proquest.com/docview/1778003737 |
| Volume | 231 |
| WOSCitedRecordID | wos000368746100006&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7921 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0003991 issn: 0004-3702 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLZg44EXGDcxYMhIiLegOHYb-7FAq4GmgqCT-mbFji116tLStGg_n-NLLqxCGw-8RFHiXOTz6fjY5_P5EHprlBhqxmhSipQlzAx1wgWxicupsVxTZsrSi03k0ymfz8W3SMisvZxAXlX86kqs_6up4RoY222d_Qdzty-FC3AORocjmB2OtzL8J8_JCLxxU--Wgazh4svJwrocTVU7YvwPs3W7BBw567LJ_ZtQuagfsI42nkzkpT161Tu71MVycRl3q3uNDlPrVcvpMaoOiAjFCrrVb1efoog3uvbfF2Do_TfFNQnS0ph7fpaB60r_8LNZdPfBU5JYZzYMuiTotuz587C0cPHe_6WjvpKBL0ub8m78anL2069ycn52Jmfj-ezd-mfilMVcBj7KrNxFh1k-EOD5Dkefx_Mv7XgNIVrUVQz_3Gyw9CzA_Q__LYC5NpT7-GR2hB7EiQUeBUA8QndM9Rg9bEQ7cPThT9CHgA8M-MARH3hlMeADe3zggA8M-MA9fOAePp6i88l49vE0iUIaiaZUbJOSCQMT08zV4rHaEGoKiNvTwihlbU6KjBQwCy0ph7k-G6qM2cwOaKF0CcE_0Zo-QwfVqjLPEdZ8YLWr4s8EZyW3hVJCDVPLNQSyaVkeI9r0jtSxyrwTO1nKhk54IUOfStenMhUS-vQYJe1T61Bl5Yb2edPxMkaKIQKUAJwbnnzT2EmCI3XZsaIyq10tSZ5zV42J5i9u0eYlut8B_xU62G525gTd07-2i3rzOkLsNz9tl04 |
| linkProvider | Elsevier |
| 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=Design+and+results+of+the+Fifth+Answer+Set+Programming+Competition&rft.jtitle=Artificial+intelligence&rft.au=Calimeri%2C+Francesco&rft.au=Gebser%2C+Martin&rft.au=Maratea%2C+Marco&rft.au=Ricca%2C+Francesco&rft.date=2016-02-01&rft.issn=0004-3702&rft.volume=231&rft.spage=151&rft.epage=181&rft_id=info:doi/10.1016%2Fj.artint.2015.09.008&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0004-3702&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0004-3702&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0004-3702&client=summon |