Bounded Model Checking, Answer Set Programming, and Fixed Points

Ilkka Niemelä

Bounded Model Checking, Answer Set Programming, and Fixed Points

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

Alkuperäiskieli	Englanti
Sivut	9
Tila	Julkaistu - 2006
Tapahtuma	International Workshop on Bounded Model Checking - Seattle, Yhdysvallat Kesto: 15 elok. 2006 → 15 elok. 2006 Konferenssinumero: 4

Workshop

Workshop	International Workshop on Bounded Model Checking
Lyhennettä	BMC
Maa/Alue	Yhdysvallat
Kaupunki	Seattle
Ajanjakso	15/08/2006 → 15/08/2006

Tutkimusalat

bounded model checking
linear time temporal logic
Logic programming
stable models

Siteeraa tätä

@conference{94a7c74ad9fe4d30969ae56be66b6a1d,

title = "Bounded Model Checking, Answer Set Programming, and Fixed Points",

keywords = "bounded model checking, linear time temporal logic, Logic programming, stable models, bounded model checking, linear time temporal logic, Logic programming, stable models, bounded model checking, linear time temporal logic, Logic programming, stable models",

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

year = "2006",

language = "English",

pages = "9",

note = "International Workshop on Bounded Model Checking, BMC ; Conference date: 15-08-2006 Through 15-08-2006",

}

TY - CONF

T1 - Bounded Model Checking, Answer Set Programming, and Fixed Points

AU - Niemelä, Ilkka

N1 - Conference code: 4

PY - 2006

Y1 - 2006

KW - bounded model checking

KW - linear time temporal logic

KW - Logic programming

KW - stable models

KW - bounded model checking

KW - linear time temporal logic

KW - Logic programming

KW - stable models

KW - bounded model checking

KW - linear time temporal logic

KW - Logic programming

KW - stable models

M3 - Abstract

SP - 9

T2 - International Workshop on Bounded Model Checking

Y2 - 15 August 2006 through 15 August 2006

ER -