The inductive logic of information systems.
Norman C. DalkeyPublished in: Int. J. Approx. Reason. (1988)
Keyphrases
- information systems
- deductive reasoning
- predicate logic
- inductive learning
- information technology
- classical logic
- machine learning
- logic programming
- recursive programs
- inductive logic programming
- asynchronous circuits
- learning algorithm
- concept learning
- inductive inference
- automated reasoning
- multi valued
- rule learning
- computational properties
- sound and complete axiomatization
- knowledge management
- databases
- proof theory
- digital circuits
- defeasible logic
- artificial intelligence
- multi agent systems
- project management
- modal logic
- information security
- health care
- knowledge representation