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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On definite program answers and least Herbrand models
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland.ORCID iD: 0000-0002-4700-7272
2016 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 16, no 4, p. 498-508Article in journal (Refereed) Published
Abstract [en]

A sufficient and necessary condition is given under which least Herbrand models exactlycharacterize the answers of definite clause programs.
Place, publisher, year, edition, pages
Cambridge University Press, 2016. Vol. 16, no 4, p. 498-508
Keywords [en]
logic programming, least Herbrand model, declarative semantics, function symbols
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-130238DOI: 10.1017/S1471068416000089ISI: 000386588500004OAI: oai:DiVA.org:liu-130238DiVA, id: diva2:949781
Available from: 2016-07-23 Created: 2016-07-23 Last updated: 2020-10-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Drabent, Wlodzimierz

Search in DiVA

By author/editor
Drabent, Wlodzimierz
By organisation
Software and SystemsFaculty of Science & Engineering
In the same journal
Theory and Practice of Logic Programming
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 173 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.47.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök