Extending the Smodels system with cardinality and weight constraints

Ilkka Niemelä; Patrik Simons

doi:10.1007/978-1-4615-1567-8_21

Extending the Smodels system with cardinality and weight constraints

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Logic-Based Artificial Intelligence
Editors	J. Minker
Place of Publication	Boston MA, USA
Publisher	Springer
Pages	491-521
ISBN (Electronic)	978-1-4615-1567-8
ISBN (Print)	978-1-4613-5618-9
DOIs	https://doi.org/10.1007/978-1-4615-1567-8_21
Publication status	Published - 2000
MoE publication type	A3 Book section, Chapters in research books

Publication series

Name	The Springer International Series in Engineering and Computer Science
Publisher	Springer US
Volume	597
ISSN (Print)	0893-3405

Keywords

logic programming
stable model semantics

Access to Document

10.1007/978-1-4615-1567-8_21

Cite this

@inbook{b4bf4c6ab05e4c3cb1781662db475a53,

title = "Extending the Smodels system with cardinality and weight constraints",

keywords = "logic programming, stable model semantics, logic programming, stable model semantics, logic programming, stable model semantics",

author = "Ilkka Niemel{\"a} and Patrik Simons",

year = "2000",

doi = "10.1007/978-1-4615-1567-8_21",

language = "English",

isbn = "978-1-4613-5618-9",

series = "The Springer International Series in Engineering and Computer Science ",

publisher = "Springer",

pages = "491--521",

editor = "J. Minker",

booktitle = "Logic-Based Artificial Intelligence",

address = "Germany",

}

Extending the Smodels system with cardinality and weight constraints. / Niemelä, Ilkka; Simons, Patrik.
Logic-Based Artificial Intelligence. ed. / J. Minker. Boston MA, USA: Springer, 2000. p. 491-521 (The Springer International Series in Engineering and Computer Science ; Vol. 597).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Extending the Smodels system with cardinality and weight constraints

AU - Niemelä, Ilkka

AU - Simons, Patrik

PY - 2000

Y1 - 2000

KW - logic programming

KW - stable model semantics

KW - logic programming

KW - stable model semantics

KW - logic programming

KW - stable model semantics

U2 - 10.1007/978-1-4615-1567-8_21

DO - 10.1007/978-1-4615-1567-8_21

M3 - Chapter

SN - 978-1-4613-5618-9

T3 - The Springer International Series in Engineering and Computer Science

SP - 491

EP - 521

BT - Logic-Based Artificial Intelligence

A2 - Minker, J.

PB - Springer

CY - Boston MA, USA

ER -