Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10863| Title: | Temporal stratification tests for linear and branching-time deductive databases |
| Institution and School/Department of submitter: | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής |
| Keywords: | temporal deductive databases,temporal logic programming,stratified negation,transformation technique,logic programs,negation |
| URI: | https://olympias.lib.uoi.gr/jspui/handle/123456789/10863 |
| ISSN: | 0304-3975 |
| Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Nomikos-2005-Temporal stratificat.pdf | 346.63 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License
