05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints

Gerhard Brewka; Ilkka Niemelä; Torsten Schaub; Miroslaw Truszczynski; Joost Vennekens

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints

Gerhard Brewka (Toimittaja), Ilkka Niemelä (Toimittaja), Torsten Schaub (Toimittaja), Miroslaw Truszczynski (Toimittaja), Joost Vennekens (Toimittaja)

Tutkimustuotos: Kirja › Anthology › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Julkaisupaikka	Dagstuhl, Germany
Kustantaja	Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	C2 Toimitettu kirja, kokoomateos, konferenssijulkaisu tai lehden erikoisnumero

Tutkimusalat

answer-set programming
constraints
knowledge representation
logic programming
nonmonotonic reasoning

Muut tiedostot ja linkit

http://drops.dagstuhl.de/opus/volltexte/2005/269

Siteeraa tätä

@book{3a7c281256ca41ffb18ff3756e72f860,

title = "05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints",

keywords = "answer-set programming, constraints, knowledge representation, logic programming, nonmonotonic reasoning, answer-set programming, constraints, knowledge representation, logic programming, nonmonotonic reasoning, answer-set programming, constraints, knowledge representation, logic programming, nonmonotonic reasoning",

editor = "Gerhard Brewka and Ilkka Niemel{\"a} and Torsten Schaub and Miroslaw Truszczynski and Joost Vennekens",

year = "2005",

language = "English",

publisher = "Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI)",

address = "Germany",

}

TY - BOOK

T1 - 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints

A2 - Brewka, Gerhard

A2 - Niemelä, Ilkka

A2 - Schaub, Torsten

A2 - Truszczynski, Miroslaw

A2 - Vennekens, Joost

PY - 2005

Y1 - 2005

KW - answer-set programming

KW - constraints

KW - knowledge representation

KW - logic programming

KW - nonmonotonic reasoning

KW - answer-set programming

KW - constraints

KW - knowledge representation

KW - logic programming

KW - nonmonotonic reasoning

KW - answer-set programming

KW - constraints

KW - knowledge representation

KW - logic programming

KW - nonmonotonic reasoning

UR - http://drops.dagstuhl.de/opus/volltexte/2005/269

M3 - Anthology

BT - 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints

PB - Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)

CY - Dagstuhl, Germany

ER -