dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Torroni, P. | en |
dc.contributor.author | Demetriou, Neophytos | en |
dc.contributor.editor | de Mantaras R.L. | en |
dc.contributor.editor | Saitta L. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Torroni, P. | en |
dc.creator | Demetriou, Neophytos | en |
dc.date.accessioned | 2019-11-13T10:40:31Z | |
dc.date.available | 2019-11-13T10:40:31Z | |
dc.date.issued | 2004 | |
dc.identifier.issn | 0922-6389 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54158 | |
dc.description.abstract | This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality with reactivity. Agents are designed and programmed in a computational logic-based language where these aspects are accommodated in a declarative and modular way. We show how this framework can be applied to agent problems requiring negotiation and resource achievement and present some of its formal properties. The framework can be implemented based on a communication platform for agent interaction and on well-established logic programming technologies for agent reasoning. | en |
dc.source | 16th European Conference on Artificial Intelligence, ECAI 2004 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85017379763&partnerID=40&md5=7314e6c4f6baf4dbc491085327bde694 | |
dc.subject | Artificial intelligence | en |
dc.subject | Computation theory | en |
dc.subject | Intelligent systems | en |
dc.subject | Computer circuits | en |
dc.subject | Logic programming | en |
dc.subject | Computational logic | en |
dc.subject | Deep neural networks | en |
dc.subject | Agent interaction | en |
dc.subject | Agent reasoning | en |
dc.subject | Communication platforms | en |
dc.subject | Formal properties | en |
dc.subject | Proactive behaviours | en |
dc.subject | Social behaviour | en |
dc.title | Agent planning, negotiation and control of operation | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 110 | |
dc.description.startingpage | 13 | |
dc.description.endingpage | 17 | |
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: | en |
dc.description.notes | Conference code: 126946</p> | en |
dc.source.abbreviation | Front. Artif. Intell. Appl. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |