dc.contributor.author | Van Nuffelen, B. | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.creator | Van Nuffelen, B. | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:42:56Z | |
dc.date.available | 2019-11-13T10:42:56Z | |
dc.date.issued | 2001 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/55126 | |
dc.source | 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-20144375672&doi=10.1007%2f3-540-45402-0_29&partnerID=40&md5=742306ee064707ed7189165b718dec0a | |
dc.title | A-system: Declarative programming with abduction | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/3-540-45402-0_29 | |
dc.description.volume | 2173 LNAI | en |
dc.description.startingpage | 393 | |
dc.description.endingpage | 397 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: European Office of Aerospace Research and Development (EOARD) | en |
dc.description.notes | Austrian Computer Society (OCG) | en |
dc.description.notes | European Commission | en |
dc.description.notes | Austrian Ministry of Transport, Innovation and Technology | en |
dc.description.notes | Microsoft | en |
dc.description.notes | Conference code: 93539 | en |
dc.description.notes | Cited By :7</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |