Logic Programs with Monotone Cardinality Atoms

Victor Marek; Ilkka Niemelä; Miroslaw Truszczynski

doi:10.1007/978-3-540-24609-1_15

Logic Programs with Monotone Cardinality Atoms

Victor Marek, Ilkka Niemelä, Miroslaw Truszczynski

University of Kentucky

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

13 Citations (Scopus)

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning
Subtitle of host publication	7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings
Publisher	SPRINGER
Pages	154-166
Number of pages	13
ISBN (Electronic)	978-3-540-24609-1
ISBN (Print)	978-3-540-20721-4
DOIs	https://doi.org/10.1007/978-3-540-24609-1_15
Publication status	Published - 2004
MoE publication type	A4 Article in a conference publication

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2923
ISSN (Print)	0302-9743

Keywords

answer set programming
cardinality constraints
stable models

Access to Document

10.1007/978-3-540-24609-1_15

OpenUrl availability

Full text

Cite this

@inproceedings{b8fc17fb54934f85940f7ad4df62b132,

title = "Logic Programs with Monotone Cardinality Atoms",

keywords = "answer set programming, cardinality constraints, stable models, answer set programming, cardinality constraints, stable models, answer set programming, cardinality constraints, stable models",

author = "Victor Marek and Ilkka Niemel{\"a} and Miroslaw Truszczynski",

year = "2004",

doi = "10.1007/978-3-540-24609-1_15",

language = "English",

isbn = "978-3-540-20721-4",

series = "Lecture Notes in Computer Science ",

publisher = "SPRINGER",

pages = "154--166",

booktitle = "Logic Programming and Nonmonotonic Reasoning",

address = "Germany",

}

Logic Programs with Monotone Cardinality Atoms. / Marek, Victor; Niemelä, Ilkka; Truszczynski, Miroslaw.

Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. SPRINGER, 2004. p. 154-166 (Lecture Notes in Computer Science ; Vol. 2923).

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

TY - GEN

T1 - Logic Programs with Monotone Cardinality Atoms

AU - Marek, Victor

AU - Niemelä, Ilkka

AU - Truszczynski, Miroslaw

PY - 2004

Y1 - 2004

KW - answer set programming

KW - cardinality constraints

KW - stable models

KW - answer set programming

KW - cardinality constraints

KW - stable models

KW - answer set programming

KW - cardinality constraints

KW - stable models

UR - http://www.scopus.com/inward/record.url?scp=9444254656&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-24609-1_15

DO - 10.1007/978-3-540-24609-1_15

M3 - Conference contribution

SN - 978-3-540-20721-4

T3 - Lecture Notes in Computer Science

SP - 154

EP - 166

BT - Logic Programming and Nonmonotonic Reasoning

PB - SPRINGER

ER -

Logic Programs with Monotone Cardinality Atoms

Publication series

Keywords

Access to Document

OpenUrl availability

Other files and links

Cite this