Search: onr:"swepub:oai:DiVA.org:liu-41720" >
A characterization ...
A characterization result for circumscribed normal logic programs. Revised version accepted for publication : Special issue of honor of H. Rasiowa, Fundamenta Informaticae.
-
- Doherty, Patrick, 1957- (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Lukaszewicz, Witold, 1947- (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Szalas, Andrzej, 1956- (author)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
(creator_code:org_t)
- Linköping, Sweden : Department of Computer and Information Science, Linköping University, 1995
- English.
-
Series: LITH-IDA-R ; 20
- Related links:
-
https://urn.kb.se/re...
Subject headings
Close
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Computer science
- Datavetenskap
Publication and Content Type
- vet (subject category)
- rap (subject category)
To the university's database