Answer Sets and the Language of Answer Set Programming

Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.

Saved in:
Bibliographic Details
Published in:The AI magazine Vol. 37; no. 3; pp. 7 - 11
Main Author: Lifschitz, Vladimir
Format: Journal Article
Language:English
Published: La Canada American Association for Artificial Intelligence 22.09.2016
John Wiley & Sons, Inc
Subjects:
Answers
Artificial intelligence
Computer programming
Declarative programming
Formal semantics
Language
Logic programs
Mathematical programming
Methods
Semantics
ISSN:0738-4602, 2371-9621
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
AbstractList Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.
Audience Trade
Author Lifschitz, Vladimir
Author_xml – sequence: 1
  givenname: Vladimir
  surname: Lifschitz
  fullname: Lifschitz, Vladimir
BookMark eNqVkkFP3DAQha2KSl1o7xwj9VSpWew4seNjWMF2pVVBpZwtx5kYo8ShdlLKv69hkWCrFVBZsqXx92bsmbeP9tzgAKFDgueEYXGkbK_M_Dflls4zxvE7NMsoJ6lgGdlDM8xpmeYMZx_QfgjXGGNWUjZDrHLhFnxyAWNIlGuS8QqStXJmUgaSoU2e7pNzPxiv-t468xG9b1UX4NPjeYAuT09-Lr6l67PlalGtU824EGlb5LylhS4LhWsBSvFGECWoxoUADYoxVcdA1uRFVjQ1LinFNRRFQ3gLRV7TA_R5k_fGD78mCKO8HibvYklJSopLTgXNnyijOpDWtcPole5t0LLKGWOEx-9HKt1BGXDgVReb2doY3uLnO_i4Guit3in4siWIzAh_RqOmEOTq4sd_sN_fzh4v38yWy_VLDXlk9dB1YEDGQS7Otvmvz_h6CtZBiFuw5moMmxJbON7g2g8heGjljY8m9XeSYHnvWfngWfngWXnv2Shh_0i0HdVo48O8st1LQrER3saZ3L1aSFZVtTo-xQRzQf8Ccs3-gg
CitedBy_id crossref_primary_10_1017_S1471068418000145
crossref_primary_10_1017_S1471068418000558
crossref_primary_10_1609_aimag_v37i3_2671
crossref_primary_10_1609_aimag_v37i3_2672
crossref_primary_10_1186_s13015_019_0145_8
crossref_primary_10_1609_aimag_v37i3_2673
crossref_primary_10_1017_S1471068418000133
crossref_primary_10_1609_aimag_v37i3_2679
Cites_doi 10.1023/A:1018930122475
10.1016/j.artint.2010.04.011
10.1023/A:1018978005636
10.1007/978-3-642-15025-8_24
10.1017/S1471068408003645
10.1007/BF03037169
10.1017/S1471068403001923
10.1007/978-1-4615-1567-8_21
10.1109/69.877512
10.1007/978-1-4684-3384-5_11
10.1016/0004-3702(88)90011-2
10.1007/11546207_10
10.1016/0004-3702(85)90042-6
10.1007/978-3-540-30227-8_19
10.1017/S1471068415000150
10.1609/aimag.v37i3.2671
10.1007/978-3-642-60085-2_17
10.1016/0004-3702(80)90014-4
ContentType Journal Article
Copyright 2016 The Authors. AI Magazine published by John Wiley & Sons Ltd on behalf of Association for the Advancement of Artificial Intelligence
COPYRIGHT 2016 American Association for Artificial Intelligence
COPYRIGHT 2016 American Association for Artificial Intelligence
Copyright Association for the Advancement of Artificial Intelligence Fall 2016
Copyright_xml – notice: 2016 The Authors. AI Magazine published by John Wiley & Sons Ltd on behalf of Association for the Advancement of Artificial Intelligence
– notice: COPYRIGHT 2016 American Association for Artificial Intelligence
– notice: COPYRIGHT 2016 American Association for Artificial Intelligence
– notice: Copyright Association for the Advancement of Artificial Intelligence Fall 2016
DBID AAYXX
CITATION
N95
8GL
IBG
ISN
ISR
3V.
4T-
4U-
7RQ
7WY
7WZ
7XB
87Z
88I
8AL
8FE
8FG
8FK
8FL
8G5
ABJCF
ABUWG
AEUYN
AFKRA
ALSLI
ARAPS
AZQEC
BEC
BENPR
BEZIV
BGLVJ
CCPQU
CNYFK
DWQXO
E3H
F2A
FRNLG
F~G
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
L.-
L6V
M0C
M0N
M1O
M2O
M2P
M7S
MBDVC
P5Z
P62
PHGZM
PHGZT
PKEHL
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PRQQA
PTHSS
Q9U
S0X
U9A
DOI 10.1609/aimag.v37i3.2670
DatabaseName CrossRef
Gale Business: Insights
Gale In Context: High School
Gale In Context: Biography
Gale In Context: Canada
Science (Gale)
ProQuest Central (Corporate)
Docstoc
University Readers
Career & Technical Education Database (ProQuest)
ProQuest ABI/INFORM Collection
ABI/INFORM Global (PDF only)
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Science Database (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni)
Research Library (Alumni)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest One Sustainability
ProQuest Central UK/Ireland
Social Science Premium Collection
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials - QC
eLibrary
ProQuest Central
Business Premium Collection
Technology collection
ProQuest One Community College
Library & Information Science Collection
ProQuest Central
Library & Information Sciences Abstracts (LISA)
Library & Information Science Abstracts (LISA)
Business Premium Collection (Alumni)
ABI/INFORM Global (Corporate)
ProQuest Central Student
ProQuest Research Library
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database (ProQuest)
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Collection (ProQuest)
Computing Database
Library Science Database (ProQuest)
Research Library (ProQuest)
Science Database (ProQuest)
Engineering Database
Research Library (Corporate)
ProQuest advanced technologies & aerospace journals
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Business (UW System Shared)
ProQuest One Business (Alumni)
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
ProQuest One Social Sciences
Engineering collection
ProQuest Central Basic
SIRS Editorial
DatabaseTitle CrossRef
ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
Library and Information Science Abstracts (LISA)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
elibrary
SciTech Premium Collection
ProQuest Central China
ABI/INFORM Complete
ProQuest One Applied & Life Sciences
ProQuest One Sustainability
Library & Information Science Collection
ProQuest Central (New)
Engineering Collection
Career and Technical Education (Alumni Edition)
Advanced Technologies & Aerospace Collection
Business Premium Collection
Social Science Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest Business Collection
ProQuest Career and Technical Education
ProQuest One Academic UKI Edition
Docstoc
ProQuest One Academic
ProQuest One Academic (New)
ABI/INFORM Global (Corporate)
ProQuest One Business
University Readers
Technology Collection
ProQuest One Academic Middle East (New)
SIRS Editorial
ProQuest Central (Alumni Edition)
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Library Science
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ProQuest One Social Sciences
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
DatabaseTitleList CrossRef

ProQuest Business Collection (Alumni Edition)
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2371-9621
EndPage 11
ExternalDocumentID 4223279971
A466617073
10_1609_aimag_v37i3_2670
AAAIBF01079
Genre article
GrantInformation_xml – fundername: National Science Foundation
  funderid: IIS‐1422455
GroupedDBID -DZ
-~X
.4S
.DC
0R~
186
23M
24P
3V.
53G
5GY
6J9
77K
7RQ
7WY
88I
8FE
8FG
8FL
8G5
8GL
8R4
8R5
96U
9M8
AAHHS
AAKPC
AAYOK
ABDPE
ABJCF
ABTAH
ABUWG
ACCFJ
ACCMX
ACGFO
ACGOD
ADFRT
AEEZP
AENEX
AEQDE
AEUYN
AFAZI
AFKRA
AIWBW
AJBDE
ALMA_UNASSIGNED_HOLDINGS
ALSLI
ALUQN
ARAPS
ARCSS
AZQEC
BAAKF
BCR
BCU
BEC
BENPR
BES
BEZIV
BGLVJ
BLC
BPHCQ
CCPQU
CNYFK
DWQXO
EBS
EJD
FRNLG
GICCO
GNUQQ
GROUPED_ABI_INFORM_COMPLETE
GUQSH
HCIFZ
IAO
IBG
ICD
IEA
IGS
IOF
ISE
ISN
ISR
ITC
K60
K6V
K6~
K7-
KWQ
L7B
LPJ
M0C
M0N
M1O
M2O
M2P
M7S
MS~
MVM
N95
OK1
P2P
P62
PEA
PQBIZ
PQBZA
PQQKQ
PROAC
PTHSS
PV9
Q2X
QM1
QN7
QO4
RWL
RXW
RZL
S0X
SJFOW
SJN
TAE
TAF
TN5
TR2
TWZ
U5U
UKR
UNMZH
WH7
X6Y
XH6
XI7
ZY4
77I
AAMMB
AAYXX
ABUFD
AEFGJ
AFFHD
AGXDD
AIDQK
AIDYY
BAIFH
BBTPI
CITATION
PHGZM
PHGZT
PQGLB
PRQQA
WIN
XRW
4T-
4U-
7XB
8AL
8FK
E3H
F2A
JQ2
L.-
L6V
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
U9A
ID FETCH-LOGICAL-c6799-f547f35c85a0b9eaa7d91a93c059ecea66ab91a2d4525db08330be55d17fe54b3
IEDL.DBID P5Z
ISICitedReferencesCount 12
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000384389700003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0738-4602
IngestDate Mon Nov 24 08:10:29 EST 2025
Mon Nov 24 16:07:48 EST 2025
Mon Nov 24 15:51:28 EST 2025
Sun Nov 23 08:58:58 EST 2025
Wed Nov 26 09:23:47 EST 2025
Mon Nov 24 14:52:52 EST 2025
Mon Nov 24 14:58:43 EST 2025
Mon Nov 24 15:07:46 EST 2025
Mon Nov 24 15:38:45 EST 2025
Sat Nov 29 08:38:06 EST 2025
Sat Nov 29 02:07:45 EST 2025
Tue Nov 18 21:49:55 EST 2025
Wed Jan 22 16:20:02 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
License http://onlinelibrary.wiley.com/termsAndConditions#am
http://onlinelibrary.wiley.com/termsAndConditions#vor
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c6799-f547f35c85a0b9eaa7d91a93c059ecea66ab91a2d4525db08330be55d17fe54b3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://aaai.org/ojs/index.php/aimagazine/article/download/2670/2572
PQID 1830873934
PQPubID 36813
PageCount 5
ParticipantIDs proquest_journals_1830873934
gale_infotracmisc_A466617073
gale_infotracgeneralonefile_A466617073
gale_infotracacademiconefile_A466617073
gale_incontextgauss_ISR_A466617073
gale_incontextgauss_ISN_A466617073
gale_incontextgauss_IBG_A466617073
gale_incontextgauss_8GL_A466617073
gale_incontextcollege_GICCO_A466617073
gale_businessinsightsgauss_A466617073
crossref_primary_10_1609_aimag_v37i3_2670
crossref_citationtrail_10_1609_aimag_v37i3_2670
wiley_primary_10_1609_aimag_v37i3_2670_AAAIBF01079
PublicationCentury 2000
PublicationDate 20160922
PublicationDateYYYYMMDD 2016-09-22
PublicationDate_xml – month: 09
  year: 2016
  text: 20160922
  day: 22
PublicationDecade 2010
PublicationPlace La Canada
PublicationPlace_xml – name: La Canada
PublicationTitle The AI magazine
PublicationTitleAlternate AI Magazine
PublicationYear 2016
Publisher American Association for Artificial Intelligence
John Wiley & Sons, Inc
Publisher_xml – name: American Association for Artificial Intelligence
– name: John Wiley & Sons, Inc
References 2015; 15
2000
2010
1980; 13
1997; 12
1999; 25
2005; 5
1987
1986
2008
2009; 9
1988; 35
2005
2004
2003
2016; 37
1991; 9
1978
2011; 175
1988
1999
1985; 25
e_1_2_10_23_1
e_1_2_10_9_1
e_1_2_10_10_1
e_1_2_10_21_1
e_1_2_10_11_1
e_1_2_10_22_1
e_1_2_10_20_1
Erdem E. (e_1_2_10_6_1) 2016; 37
Gelfond M. (e_1_2_10_12_1) 1987
Gelfond M. (e_1_2_10_13_1) 1988
e_1_2_10_2_1
Harmelen F. (e_1_2_10_25_1) 2008
e_1_2_10_4_1
e_1_2_10_18_1
e_1_2_10_3_1
e_1_2_10_19_1
e_1_2_10_16_1
e_1_2_10_5_1
e_1_2_10_17_1
e_1_2_10_8_1
e_1_2_10_14_1
Sterling L. (e_1_2_10_24_1) 1986
e_1_2_10_7_1
e_1_2_10_15_1
References_xml – volume: 15
  start-page: 449
  issue: 4‐5
  year: 2015
  end-page: 463
  article-title: Abstract Gringo
  publication-title: Theory and Practice of Logic Programming
– volume: 9
  start-page: 57
  issue: 1
  year: 2009
  end-page: 144
  article-title: Probabilistic Reasoning with Answer Sets
  publication-title: Theory and Practice of Logic Programming
– year: 1986
– start-page: 293
  year: 1978
  end-page: 322
– volume: 13
  start-page: 81
  issue: 1–2
  year: 1980
  end-page: 132
  article-title: A Logic for Default Reasoning
  publication-title: Artificial Intelligence
– volume: 9
  start-page: 365
  issue: 3–4
  year: 1991
  end-page: 385
  article-title: Classical Negation in Logic Programs and Disjunctive Databases
  publication-title: New Generation Computing
– volume: 37
  issue: 3
  year: 2016
  article-title: Applications of ASP
  publication-title: AI Magazine
– volume: 37
  issue: 3
  year: 2016
  article-title: The Answer Set Programming Paradigm
  publication-title: AI Magazine
– volume: 5
  start-page: 45
  issue: 1–2
  year: 2005
  end-page: 74
  article-title: Weight Constraints as Nested Expressions
  publication-title: Theory and Practice of Logic Programming
– start-page: 375
  year: 1999
  end-page: 398
– year: 2008
– year: 2003
– year: 2004
– volume: 25
  start-page: 241
  issue: 3–4
  year: 1999
  end-page: 273
  article-title: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
  publication-title: Annals of Mathematics and Artificial Intelligence
– volume: 12
  start-page: 845
  issue: 5
  year: 1997
  end-page: 860
  article-title: Enhancing Disjunctive Datalog by Constraints
  publication-title: IEEE Transactions on Knowledge and Data Engineering
– start-page: 488
  year: 2010
  end-page: 503
– start-page: 207
  year: 1987
  end-page: 211
– volume: 25
  start-page: 75
  issue: 1
  year: 1985
  end-page: 94
  article-title: Semantical Considerations on Nonmonotonic Logic
  publication-title: Artificial Intelligence
– start-page: 1070
  year: 1988
  end-page: 1080
– volume: 35
  start-page: 165
  issue: 3
  year: 1988
  end-page: 195
  article-title: Reasoning About Action I: A Possible World Approach
  publication-title: Artificial Intelligence
– volume: 175
  start-page: 236
  issue: 1
  year: 2011
  end-page: 263
  article-title: Stable Models and Circumscription
  publication-title: Artificial Intelligence
– volume: 25
  start-page: 369
  issue: 3‐4
  year: 1999
  end-page: 389
  article-title: Nested Expressions in Logic Programs
  publication-title: Annals of Mathematics and Artificial Intelligence
– start-page: 491
  year: 2000
  end-page: 521
– start-page: 119
  year: 2005
  end-page: 131
– ident: e_1_2_10_21_1
  doi: 10.1023/A:1018930122475
– ident: e_1_2_10_10_1
  doi: 10.1016/j.artint.2010.04.011
– ident: e_1_2_10_18_1
  doi: 10.1023/A:1018978005636
– start-page: 1070
  volume-title: Proceedings of International Logic Programming Conference and Symposium
  year: 1988
  ident: e_1_2_10_13_1
– ident: e_1_2_10_17_1
  doi: 10.1007/978-3-642-15025-8_24
– start-page: 207
  volume-title: Proceedings of 6th National Conference on Artificial Intelligence (AAAI)
  year: 1987
  ident: e_1_2_10_12_1
– ident: e_1_2_10_2_1
– volume-title: The Art of Prolog: Advanced Programming Techniques
  year: 1986
  ident: e_1_2_10_24_1
– volume: 37
  issue: 3
  year: 2016
  ident: e_1_2_10_6_1
  article-title: Applications of ASP
  publication-title: AI Magazine
– ident: e_1_2_10_4_1
  doi: 10.1017/S1471068408003645
– volume-title: Handbook of Knowledge Representation
  year: 2008
  ident: e_1_2_10_25_1
– ident: e_1_2_10_14_1
  doi: 10.1007/BF03037169
– ident: e_1_2_10_9_1
  doi: 10.1017/S1471068403001923
– ident: e_1_2_10_22_1
  doi: 10.1007/978-1-4615-1567-8_21
– ident: e_1_2_10_3_1
  doi: 10.1109/69.877512
– ident: e_1_2_10_5_1
  doi: 10.1007/978-1-4684-3384-5_11
– ident: e_1_2_10_15_1
  doi: 10.1016/0004-3702(88)90011-2
– ident: e_1_2_10_8_1
  doi: 10.1007/11546207_10
– ident: e_1_2_10_20_1
  doi: 10.1016/0004-3702(85)90042-6
– ident: e_1_2_10_7_1
  doi: 10.1007/978-3-540-30227-8_19
– ident: e_1_2_10_11_1
  doi: 10.1017/S1471068415000150
– ident: e_1_2_10_16_1
  doi: 10.1609/aimag.v37i3.2671
– ident: e_1_2_10_19_1
  doi: 10.1007/978-3-642-60085-2_17
– ident: e_1_2_10_23_1
  doi: 10.1016/0004-3702(80)90014-4
SSID ssj0006836
Score 2.2487721
Snippet Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the...
SourceID proquest
gale
crossref
wiley
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 7
SubjectTerms Answers
Artificial intelligence
Computer programming
Declarative programming
Formal semantics
Language
Logic programs
Mathematical programming
Methods
Semantics
Title Answer Sets and the Language of Answer Set Programming
URI https://onlinelibrary.wiley.com/doi/abs/10.1609%2Faimag.v37i3.2670
https://www.proquest.com/docview/1830873934
Volume 37
WOSCitedRecordID wos000384389700003&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: ABI/INFORM Collection
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: 7WY
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ABI/INFORM Global
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: M0C
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: P5Z
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Career & Technical Education Database
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: 7RQ
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/career
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: K7-
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: M7S
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Library Science Database (ProQuest)
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: M1O
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/libraryscience
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: BENPR
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Research Library
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: M2O
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Science Database (ProQuest)
  customDbUrl:
  eissn: 2371-9621
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006836
  issn: 0738-4602
  databaseCode: M2P
  dateStart: 19970401
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/sciencejournals
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3db9MwELfYxgMvjE9RGFWE-BAPWfPl2HlCabWOidKVDsTGi-U4dlWJpWPpxr_PneNuBE3bJF5OSvxLlPgu5_Pd5Y6Q1yrGWBtsU6kKqZ9orTFIyHwtWSwLwyJT2pL5IzYe88PDbOIcbrVLq1zpRKuoy4VCH3kPRC_gWL4t-XDyy8euURhddS001shGGIGtD_I8oT8uNHHKbYtAkGLuJylm8tgwZRpkPTk_lrPt85jN4-0oxVbFfy1L_yrntuFqV57h5v8-8wNy39mcXt4IyUNyR1ePyOaqn4PnPu_HJM2r-jee0Mvak1XpgXHojZxD01sY73LcmzR5Xcew8j0h34Y7XwcffddXwVcpyzLf0ISZmCpOZVBkWkpWZqHMYgWmllZapqks4ERUYsyzLMBIi4NCU1qGzGiaFPFTsl4tKv2MeGDumERGKqGaJ5obbqROCsWlMaFkBe-Q3mpahXJFx7H3xU-Bmw9ghLCMEJYRAhnRIe8vrjhpCm5cg32DnBKuXyeQGj0a9Uye1bXIE9iahQy43yFvLQ7rXVSYUKMap4yAWRnst4Cv2sDmTnx3dDNor797C9DB-DagaQv0zoHMAqZOSfffBDAAS3dd-ZoNctYULr8KuNUCgkZR7eGVOAun0WpxKcsdEtmv4Ub2iDzP9_pD2PGz7Pn193xB7oElmmIiThRtkfXl6Zl-Se6q8-W8Pu2SNTb9gvT7UZds9HfGkykcfWI-0M_BAGm4jzRq6AQpO-habfAH6ytanA
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwELZKiwQXWl5ioUCEKIhDunnYsXNAKC1su2pYVlCkiotxHHu1Es2WZtuKP8VvZCaPlqCq7aUHLjnYX6zE4xnPeMYzhLzUIfrawExl2mcuNcagk5C7RvFQZZYHNq9S5qd8NBJ7e_F4gfxu78JgWGUrEytBnc80npH3Yel5AtO30XcHP12sGoXe1baERr0sdsyvEzDZyrfD90DftSAYfNjd3HabqgKujngcu5ZRbkOmBVNeFhuleB77Kg41KBpGGxVFKoOGIEePX56BihJ6mWEs97k1jGYhjHuDLIEaEaMgGLNvp5I_ElVJQuAa4dIII4cqt2jkxX013VeT9eOQT8P1IMLSyH9tg_9uBl1FudrpBsv_2xytkDuNTu0kNRPcJQumuEeW23oVTiO-7pMoKcoTbDDz0lFF7oDy66TNga0zs85ZvzOu49b2YWd_QL5ey9c_JIvFrDCPiAPqnKUq0JQZQY2wwipDMy2Utb7imeiRfktGqZuk6ljb44dE4woILyvCy4rwEgnfI29O3zioE4pcgF3DlSGbeqTwKPHEppyoo7KUCQXT0-ew2nrkVYXDfB4FBgzp-tBJwqxsfuoAX3SB9UhiK70cNNzYugLoy-gqoM8d0OsGZGcwdVo190KAAJia7NzfrJGTOjH7ecDVDhAkpu52t-wjG4ldyjPe6ZGg4r5LySOTJBluDDzf4_Hji8d8Tm5t735MZToc7Twht0HrjjDoKAhWyeL88Mg8JTf18XxaHj6rJIpDvl83e_4B9hKvLw
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwELZKQYgL5SkWCliIgjikm4cTOweE0pYtqy7bCorUm3Ece7USzZZm24q_xq9jxklagqq2lx645JB8a2Xtbx72TGYIea0jjLXBNjXWQewxYwwGCblnFI9UbnloC1cyf8THY7G3l-4skN_ttzCYVtnqRKeoi5nGM_I-UM8XWL6N9W2TFrGzMfhw8NPDDlIYaW3badQU2TK_TmD7Vr0fbsBar4Th4OPu-iev6TDg6YSnqWdjxm0UaxErP0-NUrxIA5VGGpwOo41KEpXDjbDA6F-Rg7sS-bmJ4yLg1sQsj2DcG-QmZ3GE6YSfw-1TK5AI154QJEh4LMEsIhciTfy0r6b7arJ6HPFptBom2Cb5L5P4r2HoOs3O6g2W_uf5ukfuNr42zWrhuE8WTPmALLV9LGij1h6SJCurE7xh5hVVZUHBKaaj5iCXziw9e0536ny2fbD4j8i3a3n7x2SxnJXmCaHg5lmmQs1iI5gRVlhlWK6FsjZQPBc90m-XVOqm2Dr2_PghcdMFJJCOBNKRQCIJeuTd6S8O6kIjF2BXkCWy6VMKlwpPcqqJOqoqmTHYkgYcmNcjbxwO63yUyABdH0ZJmJX17Q7wVRdYjyQ2R5eDhmubVwB9HV8F9KUDetuA7AymTqvmexFYACxZdu7frJGTumD7ecDlDhA0qe4-bkVJNpq8kmdy1COhk8RLl0dmWTZcG_iBz9OnF4_5ktwGqZSj4XjrGbkDzniCuUhhuEwW54dH5jm5pY_n0-rwhVMulHy_bun8A4-Lt9A
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=Answer+Sets+and+the+Language+of+Answer+Set+Programming&rft.jtitle=The+AI+magazine&rft.au=Lifschitz%2C+Vladimir&rft.date=2016-09-22&rft.issn=0738-4602&rft.eissn=2371-9621&rft.volume=37&rft.issue=3&rft.spage=7&rft.epage=11&rft_id=info:doi/10.1609%2Faimag.v37i3.2670&rft.externalDBID=10.1609%252Faimag.v37i3.2670&rft.externalDocID=AAAIBF01079
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0738-4602&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0738-4602&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0738-4602&client=summon