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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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.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, 498-508 p.Article 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, 498-508 p.
Keyword [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: diva2:949781
Available from: 2016-07-23 Created: 2016-07-23 Last updated: 2016-12-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

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

Altmetric score

Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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