umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Possibilistic Nested Logic Programs
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2012 (English)In: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), 2012, 267-276 p.Conference paper, Published paper (Refereed)
Abstract [en]

We introduce the class of possibilistic nested logic programs. These possibilistic logic programsallow us to use nested expressions in the bodies and the heads of their rules. By considering apossibilistic nested logic program as a possibilistic theory, a construction of a possibilistic logicprograming semantics based on answer sets for nested logic programs and the proof theory ofpossibilistic logic is defined. We show that this new semantics for possibilistic logic programsis computable by means of transforming possibilistic nested logic programs into possibilistic disjunctivelogic programs. The expressiveness of the possibilistic nested logic programs is illustratedby scenarios from the medical domain. In particular, we exemplify how possibilistic nested logicprograms are expressive enough for capturing medical guidelines which are pervaded of vaguenessand qualitative information.

Place, publisher, year, edition, pages
2012. 267-276 p.
Keyword [en]
Answer Set Programming, Uncertain Information, Possibilistic Reasoning
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-66498DOI: 10.4230/LIPIcs.ICLP.2012.267ISBN: 978-3-939897-43-9 (print)OAI: oai:DiVA.org:umu-66498DiVA: diva2:607144
Conference
28th International Conference on Logic Programming (ICLP'12)
Available from: 2013-02-21 Created: 2013-02-21 Last updated: 2013-06-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Nieves, Juan CarlosLindgren, Helena
By organisation
Department of Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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