On definite program answers and least Herbrand models. Issue 4 (3rd May 2016)
- Record Type:
- Journal Article
- Title:
- On definite program answers and least Herbrand models. Issue 4 (3rd May 2016)
- Main Title:
- On definite program answers and least Herbrand models
- Authors:
- DRABENT, WŁODZIMIERZ
- Abstract:
- Abstract: A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs.
- Is Part Of:
- Theory and practice of logic programming. Volume 16:Issue 4(2016)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 16:Issue 4(2016)
- Issue Display:
- Volume 16, Issue 4 (2016)
- Year:
- 2016
- Volume:
- 16
- Issue:
- 4
- Issue Sort Value:
- 2016-0016-0004-0000
- Page Start:
- 498
- Page End:
- 508
- Publication Date:
- 2016-05-03
- Subjects:
- logic programming, -- least Herbrand model, -- declarative semantics, -- function symbols
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068416000089 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 873.xml