
Time and norms | Proceedings of the 7th international conference on Artificial intelligence and law
ACM ConferencesFormalization of a voting protocol for virtual organizations | Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
ACM Conferences
Incremental Event Calculus for Run-Time Reasoning
| Journal of Artificial Intelligence Research
Incremental Event Calculus for Run-Time Reasoning
(2022) : Efthimis Tsilionis and Alexander Artikis and Georgios Paliouras
DOI:
https://doi.org/10.1613/jair.1.12695#RTEC #__important #ai #event_calculus #event_recognition #run_time_event_calculus #s#my_bibtex
Incremental Event Calculus for Run-Time Reasoning
| Journal of Artificial Intelligence Research

Specifying norm-governed computational societies | ACM Transactions on Computational Logic
Electronic markets, dispute resolution and negotiation protocols are three types of
application domains that can be viewed as open agent societies. Key characteristics
of such societies are agent heterogeneity, conflicting individual goals and ...
ACM Transactions on Computational LogicCommitment Tracking Via the Reactive Event Calculus
(2009) : Chesani, Federico and Mello, Paola and Montali, Marco and Torroni, Paolo
url:
https://dl.acm.org/doi/abs/10.5555/1661445.1661461#SCIFF #abductive_logic #commitment #event_calculus #logic #
#my_bibtex