Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2023
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains
SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied ComputingPages 957–964https://doi.org/10.1145/3555776.3577612This paper proposes a method based on high-level action description languages for reasoning about hypothetical action occurrences in a multi-agent environments. In order to accommodate this type of reasoning, one needs to consider non-deterministic ...
- ArticleJuly 2010
Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution
COMPSAC '10: Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications ConferencePages 289–296https://doi.org/10.1109/COMPSAC.2010.36While software evolution has been studied extensively in software engineering, few of these efforts have involved a systematic exploration of human epistemological attitudes, such as human desire and intention, as the driving force of software service ...
- research-articleOctober 2008
Verification of communication protocols in a multi-agent system
CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technologyPages 286–291https://doi.org/10.1145/1456223.1456283This paper provides a framework for specification and verification of intelligent agent-based systems, with the emphasis on their cognitive and reactive features. We use an epistemic transition system to specify the agents and an epistemic synchronous ...