1588 search results - page 19 / 318 » On the Logic of Constitutive Rules |
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
In a normative multi-agent system the behaviour of the constituting agents is regulated by means of social and organisational inspired concepts like norms and sanctions. This pape...
KRDB
1998
15 years 1 months ago
1998
Previous researchers note the problem for semantic optimisation of database queries caused by its production of a large number of semantically equivalent alternative queries, from...
JURIX
2008
15 years 1 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
TPHOL
1995
IEEE
15 years 3 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
107
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...