Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/11019
Title: | Strong equivalence of logic programs under the infinite-valued semantics |
Institution and School/Department of submitter: | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής |
Keywords: | formal semantics,negation in logic programming,strong equivalence |
URI: | https://olympias.lib.uoi.gr/jspui/handle/123456789/11019 |
ISSN: | 0020-0190 |
Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Nomikos-2009-Strong equivalence o.pdf | 163.08 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License