Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10798Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Gergatsoulis, M. | en |
| dc.contributor.author | Nomikos, C. | en |
| dc.date.accessioned | 2015-11-24T17:00:39Z | - |
| dc.date.available | 2015-11-24T17:00:39Z | - |
| dc.identifier.issn | 0129-0541 | - |
| dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/10798 | - |
| dc.rights | Default Licence | - |
| dc.subject | temporal logic programming | en |
| dc.subject | proof procedures | en |
| dc.subject | branching-time | en |
| dc.subject | theorem proving | en |
| dc.subject | transformation technique | en |
| dc.subject | time | en |
| dc.subject | language | en |
| dc.title | A proof procedure for temporal logic programming | en |
| heal.type | journalArticle | - |
| heal.type.en | Journal article | en |
| heal.type.el | Άρθρο Περιοδικού | el |
| heal.language | en | - |
| heal.access | campus | - |
| heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
| heal.publicationDate | 2004 | - |
| heal.abstract | In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e. goal clauses that include atoms which do not refer to specific moments in time, without the need of enumerating all their canonical instances. We also prove soundness, completeness and independence of the computation rule for CSLD-resolution. The new proof procedure overcomes the limitations of a family of proof procedures for temporal logic programming languages, which were based on the notions of canonical program and goal clauses. Moreover, it applies directly to Chronolog programs and it can be easily extended to apply to multi-dimensional logic programs as well as to Chronolog(MC) programs. | en |
| heal.journalName | International Journal of Foundations of Computer Science | en |
| heal.journalType | peer reviewed | - |
| heal.fullTextAvailability | TRUE | - |
| Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| nomikos-2001-A P R O O F P R O C E D U RE F OR T E M P O R A L L O G IC.pdf | 1.57 MB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License
