Partial models of extended generalized logic programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science
Pages	149-163
Number of pages	15
Volume	1861
DOIs	https://doi.org/10.1007/3-540-44957-4_10
Publication status	Published - 1 Jan 2000
Event	Computational Logic - Duration: 1 Jan 2000 → …

Conference	Computational Logic
Period	1/01/00 → …

Keywords

@inproceedings{e6cc2ad9bacb4203911614c65a7c306c,

title = "Partial models of extended generalized logic programs",

keywords = "Logic programming, stable models, Semantics",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves} and Heinrich Herre, and L.M. Pereira",

year = "2000",

month = jan,

day = "1",

doi = "10.1007/3-540-44957-4_10",

language = "English",

volume = "1861",

pages = "149--163",

booktitle = "Lecture Notes in Computer Science",

note = "Computational Logic ; Conference date: 01-01-2000",

}

TY - GEN

T1 - Partial models of extended generalized logic programs

AU - Alferes, José Júlio Alves

AU - Herre, , Heinrich

AU - Pereira, L.M.

PY - 2000/1/1

Y1 - 2000/1/1

KW - Logic programming

KW - stable models

KW - Semantics

U2 - 10.1007/3-540-44957-4_10

DO - 10.1007/3-540-44957-4_10

M3 - Conference contribution

VL - 1861

SP - 149

EP - 163

BT - Lecture Notes in Computer Science

T2 - Computational Logic

Y2 - 1 January 2000

ER -