Answer Set Programming: Foundations, Implementation Techniques, and Applications

Ilkka Niemelä

Answer Set Programming: Foundations, Implementation Techniques, and Applications

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Abstract › Scientific › vertaisarvioitu

Abstrakti

Abstract of an invited talk.

Alkuperäiskieli	Englanti
Sivut	35
Tila	Julkaistu - 2006
Tapahtuma	Workshop on Search and Logic: Answer Set Programming and SAT - Seattle, Yhdysvallat Kesto: 16 elok. 2006 → 16 elok. 2006

Workshop

Workshop	Workshop on Search and Logic
Maa/Alue	Yhdysvallat
Kaupunki	Seattle
Ajanjakso	16/08/2006 → 16/08/2006

Tutkimusalat

Constraints satisfaction
Logic programming
Stable models

Siteeraa tätä

@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

Abstrakti

Workshop

Tutkimusalat

Sormenjälki

Siteeraa tätä