On the Logic of Constitutive Rules.
Davide GrossiJohn-Jules Ch. MeyerFrank DignumPublished in: Normative Multi-agent Systems (2007)
Keyphrases
- logical rules
- association rules
- rule engine
- classification rules
- finite element
- background knowledge
- active rules
- genetic algorithm
- closed world assumptions
- derivation rules
- intuitionistic logic
- modal logic
- logic programming
- rule extraction
- horn clauses
- business rules
- computational properties
- set theory
- predicate logic
- attribute values
- proof theoretic
- logic programs
- neural network