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

Gossamer

https://doi.org/10.1007/978-3-030-85679-3sion of the branching time temporal logic CTL) which describes transition systems corresponding to a Dribble program, and show how to express properties of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the l

Morose

可耕种

978-3-642-11354-3Springer-Verlag Berlin Heidelberg 2010

Protein

流出

FEAT

myelography

Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model such commitments based on directed obligations with t

subordinate

Unifying the Intentional and Institutional Semantics of Speech Actsaper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This sem

Omnipotent

Tableaux for Acceptance Logicd. This logic is aimed at capturing the concept of acceptance . member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acc

暗语