Titlebook: Declarative Agent Languages and Technologies VII; 7th International Wo Matteo Baldoni,Jamal Bentahar,John Lloyd Conference proceedings 2010

木質(zhì)

morale

Alois Wenig,Klaus F. Zimmermannin a flexible way. We formalize such obligations using linear temporal logic and provide an implementation to their semantics using a set of monitoring rules employed in a forward-chaining inference engine. We show, through experimentation, the correctness of the obtained monitoring tool in different contract enactment situations.

Nerve-Block

ARY

https://doi.org/10.1007/978-3-540-77084-8ribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.

Permanent

Camouflage