Treffer: Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects
Title:
Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects
Authors:
Source:
Journal of Information Technology & Software Engineering.
Publisher Information:
OMICS Publishing Group, 2012.
Publication Year:
2012
Subject Terms:
Economics, Resource (disambiguation), 02 engineering and technology, 0603 philosophy, ethics and religion, Mathematical analysis, 7. Clean energy, Model Checking, Bounded function, Data science, 12. Responsible consumption, Logic Programming and Knowledge Representation, Artificial Intelligence, State (computer science), 11. Sustainability, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer network, 9. Industry and infrastructure, 1. No poverty, 06 humanities and the arts, Computer science, Management science, Programming language, Computational Theory and Mathematics, Computer Science, Physical Sciences, 8. Economic growth, Semantic Web and Ontology Development, Mathematics, Formal Methods in Software Verification and Control
Document Type:
Fachzeitschrift
Article<br />Other literature type
ISSN:
2165-7866
DOI:
10.4172/2165-7866.1000e109
DOI:
10.60692/bx7sc-2z544
DOI:
10.60692/3jmh8-qg480
Access URL:
https://uwe-repository.worktribe.com/preview/943679/2165-7866.1000e109.pdf
http://eprints.uwe.ac.uk/32097/
https://www.omicsonline.org/open-access/formal-approaches-to-modelling-and-verifying-resource-bounded-agents-state-of-the-art-and-future-prospects-2165-7866.1000e109.pdf
https://uwe-repository.worktribe.com/output/943675
https://core.ac.uk/display/83959852
https://www.omicsgroup.org/journals/formal-approaches-to-modelling-and-verifying-resource-bounded-agents-state-of-the-art-and-future-prospects-2165-7866.1000e109.pdf
http://eprints.uwe.ac.uk/32097/
https://www.omicsonline.org/open-access/formal-approaches-to-modelling-and-verifying-resource-bounded-agents-state-of-the-art-and-future-prospects-2165-7866.1000e109.pdf
https://uwe-repository.worktribe.com/output/943675
https://core.ac.uk/display/83959852
https://www.omicsgroup.org/journals/formal-approaches-to-modelling-and-verifying-resource-bounded-agents-state-of-the-art-and-future-prospects-2165-7866.1000e109.pdf
Rights:
CC BY
Accession Number:
edsair.doi.dedup.....bbf43eedc06eda31e87101c2caf9b51f
Database:
OpenAIRE
Weitere Informationen
Cet article passe en revue les approches formelles de la modélisation et de la vérification des agents liés aux ressources, en mettant l'accent sur l'état de l'art et les perspectives d'avenir.
Este documento revisa los enfoques formales para modelar y verificar los agentes limitados por los recursos, centrándose en el estado del arte y las perspectivas futuras.
This paper reviews formal approaches to modelling and verifying resource-bounded agents focusing on state of the Art and future prospects.
تستعرض هذه الورقة الأساليب الرسمية لنمذجة الوكلاء المحدودين بالموارد والتحقق منهم مع التركيز على حالة الفن والآفاق المستقبلية.