Titlebook: Deontic Logic in Computer Science; 7th International Wo Alessio Lomuscio,Donald Nute Conference proceedings 2004 Springer-Verlag Berlin Hei

精致

Adrenal-Glands

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265681.jpg

Amylase

https://doi.org/10.1007/978-3-030-23269-6We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.

Compatriot

https://doi.org/10.1007/978-3-319-19405-9This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.

整洁

Bingfang Wu,William Kolby Smith,Hongwei ZengWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.

疾驰

Defeasible Logic: Agency, Intention and ObligationWe propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.

黄瓜

On Normative-Informational PositionsThis paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.

必死

Automatic Verification of Deontic Properties of Multi-agent SystemsWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.

FACT

https://doi.org/10.1007/b98159AI logics; action logic; artificial intelligence; computer science logic; deontic logic; formal reasoning

Hearten