| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Fibrational semantics for many-valued logic programs: grounds for non-groundness.
Abstract : We introduce a fibrational semantics for many-valued logic programming, use it to define an SLD-resolution for annotation-free many valued logic programs as defined by Fitting, and prove a soundness and completeness result relating the two. We show that fibrational se- mantics corresponds with the traditional declarative (ground) semantics and deduce a soundness and completeness result for our SLD-resolution algorithm with respect to the ground semantics.
Cited literature [17 references]
https://hal.inria.fr/inria-00295027
Contributor : Ekaterina Komendantskaya <>
Submitted on : Friday, July 18, 2008 - 2:27:32 PM
Last modification on : Thursday, March 5, 2020 - 5:34:16 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 5:34:07 PM
Contributor : Ekaterina Komendantskaya <>
Submitted on : Friday, July 18, 2008 - 2:27:32 PM
Last modification on : Thursday, March 5, 2020 - 5:34:16 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 5:34:07 PM
Files
JELIAKomendaPower.pdf
Files produced by the author(s)