Time and Norms
(1999) : Marín, Rafaél Hernández Sartor...
DOI: https://doi.org/10.1145/323706.323719
#norms #time #prolog #logic #temporal #event_calculus #my_bibtex
Time and norms | Proceedings of the 7th international conference on Artificial intelligence and law

ACM Conferences
Time and Norms
(1999) : Marín, Rafaél Hernández Sartor...
DOI: https://doi.org/10.1145/323706.323719
#event_calculus #temporal #logic #norms #prolog #time #my_bibtex
The Event Calculus Explained
(1999) : Shanahan, Murray
DOI: https://doi.org/10.1007/3-540-48317-9
#event_calculus #logic #time #change #my_bibtex
Formalization of a voting protocol for virtual organizations
(2005) : Pitt, Jeremy V. et al
DOI: https://doi.org/10.1145/1082473.1082530
#formalisation #event_calculus #voting #MAS #protocol #organisation #my_bibtex
Formalization 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
(2022) : Tsilionis, Efthimis Artikis, A...
DOI: https://doi.org/10.1613/jair.1.12695
#semantics #RTEC #event_recognition #event_calculus #ai #run_time_event_calculus #__important #my_bibtex
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
(2009) : Artikis, Alexander and Sergot, Marek and Pitt, Jeremy
DOI: https://doi.org/10.1145/1459010.1459011
#MAS #action_language #agent #c_plus #causal_calculator #contract_net #event_calculus #instit
#my_bibtex
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 Logic
Commitment 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