| dc.contributor.author | Γεργατσούλης, Μανώλης | el_GR |
| dc.contributor.author | Ροντογιάννης, Παναγιώτης | el_GR |
| dc.contributor.author | Παναγιωτόπουλος, Θέμης | el_GR |
| dc.contributor.author | Gergatsoulis, Manolis | en |
| dc.contributor.author | Rondogiannis, Panos | en |
| dc.contributor.author | Panayiotopoulos, Themis | en |
| dc.date.available | 2014-01-16T07:36:56Z | |
| dc.date.issued | 2001 | |
| dc.identifier.issn | 2883635 | |
| dc.identifier.uri | http://hdl.handle.net/10797/13676 | en |
| dc.description | Περιέχει το πλήρες κείμενο | el_GR |
| dc.description.abstract | In this paper we introduce the logic programming language Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs. | en |
| dc.language.iso | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.source | New Generation Computing
Volume 19, Issue 1, 2001, Pages 87-100 | en |
| dc.source | Scopus | en |
| dc.source.uri | http://www.scopus.com/record/display.url?eid=2-s2.0-0034965092&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=31&relpos=11&citeCnt=2&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis%2C+Manolis%5C%26quot%3B+6602969138%29 | en |
| dc.title | Temporal disjunctive logic programming | en |
| dc.type | Article | en |
| dc.subject.uncontrolledterm | Semantics | en |
| dc.subject.uncontrolledterm | Temporal logic programming | en |
| dc.subject.uncontrolledterm | Disjunctive logic programming | en |
| dc.subject.uncontrolledterm | Proof procedures | en |
| dc.subject.JITA | Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών | el_GR |
| dc.subject.JITA | Information technology and library technology | en |
| dc.identifier.JITA | LZ | en |