liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae.
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
1995 (English)Report (Other academic)
Place, publisher, year, edition, pages
Linköping, Sweden: Department of Computer and Information Science, Linköping University , 1995.
Series
, LITH-IDA-R, 20
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-41720ISRN: LITH-IDA-R-95-20Local ID: 58859OAI: oai:DiVA.org:liu-41720DiVA: diva2:262574
Available from: 2009-10-10 Created: 2009-10-10

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, WitoldSzalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 89 hits
ReferencesLink to record
Permanent link

Direct link