circ2dlp

Emilia Oikarinen

circ2dlp

Emilia Oikarinen

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Painos	Versio 1.1
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	I2 ICT-ohjelmistot

Tutkimusalat

disjunctive logic programming
parallel circumscription
stable model semantics
translator

Pääsy asiakirjaan

http://www.tcs.hut.fi/Software/circ2dlp/

Siteeraa tätä

@misc{54eea98504f14914a8de1e55ee116d54,

title = "circ2dlp",

keywords = "disjunctive logic programming, parallel circumscription, stable model semantics, translator, disjunctive logic programming, parallel circumscription, stable model semantics, translator, disjunctive logic programming, parallel circumscription, stable model semantics, translator",

author = "Emilia Oikarinen",

year = "2005",

language = "English",

edition = "Versio 1.1",

}

TY - ADVS

T1 - circ2dlp

AU - Oikarinen, Emilia

PY - 2005

Y1 - 2005

KW - disjunctive logic programming

KW - parallel circumscription

KW - stable model semantics

KW - translator

KW - disjunctive logic programming

KW - parallel circumscription

KW - stable model semantics

KW - translator

KW - disjunctive logic programming

KW - parallel circumscription

KW - stable model semantics

KW - translator

UR - http://www.tcs.hut.fi/Software/circ2dlp/

M3 - Software

ER -