Answer Set Programming: Foundations, Implementation Techniques, and Applications

Ilkka Niemelä

Answer Set Programming: Foundations, Implementation Techniques, and Applications

Ilkka Niemelä

Research output: Contribution to conference › Abstract › Scientific › peer-review

Abstract

Abstract of an invited talk.

Original language	English
Pages	35
Publication status	Published - 2006
Event	Workshop on Search and Logic: Answer Set Programming and SAT - Seattle, United States Duration: 16 Aug 2006 → 16 Aug 2006

Workshop

Workshop	Workshop on Search and Logic
Country/Territory	United States
City	Seattle
Period	16/08/2006 → 16/08/2006

Keywords

Constraints satisfaction
Logic programming
Stable models

Cite this

@conference{87444e027fb6403da9500ea7dfdb9811,

title = "Answer Set Programming: Foundations, Implementation Techniques, and Applications",

abstract = "Abstract of an invited talk. ",

keywords = "Constraints satisfaction, Logic programming, Stable models, Constraints satisfaction, Logic programming, Stable models, Constraints satisfaction, Logic programming, Stable models",

author = "Ilkka Niemel{\"a}",

year = "2006",

language = "English",

pages = "35",

note = "Workshop on Search and Logic : Answer Set Programming and SAT ; Conference date: 16-08-2006 Through 16-08-2006",

}

TY - CONF

T1 - Answer Set Programming: Foundations, Implementation Techniques, and Applications

AU - Niemelä, Ilkka

PY - 2006

Y1 - 2006

N2 - Abstract of an invited talk.

AB - Abstract of an invited talk.

KW - Constraints satisfaction

KW - Logic programming

KW - Stable models

KW - Constraints satisfaction

KW - Logic programming

KW - Stable models

KW - Constraints satisfaction

KW - Logic programming

KW - Stable models

M3 - Abstract

SP - 35

T2 - Workshop on Search and Logic

Y2 - 16 August 2006 through 16 August 2006

ER -

Answer Set Programming: Foundations, Implementation Techniques, and Applications

Abstract

Workshop

Keywords

Fingerprint

Cite this