Sciweavers

12 search results - page 2 / 3
» deon 2008
Sort
View
DEON
2008
Springer
13 years 6 months ago
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
DEON
2008
Springer
13 years 6 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
DEON
2008
Springer
13 years 6 months ago
Introducing Grades in Deontic Logics
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
Pilar Dellunde, Lluis Godo
DEON
2008
Springer
13 years 6 months ago
Delegation of Control in Administrative Procedures
Abstract. Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a...
Joris Hulstijn, Jianwei Liu, Yao-Hua Tan
IFIP3
1998
151views Education» more  IFIP3 1998»
13 years 6 months ago
Chalk-And-Talk versus Cooperative Learning. A Comparative Study
Innovative teaching methods such as collaborative learning, teamwork and mind maps were introduced to a Statistics course at tertiary level and compared to traditional teaching me...
Renette J. Blignaut, Isabella M. Venter, Deon Stol...