Proof Assistants and the Dynamic Nature of Formal Theories.
Robert L. ConstablePublished in: PxTP (2012)
Keyphrases
- formal models
- ontological engineering
- formal methods
- linear logic
- theoretical framework
- intelligent agents
- formal model
- theorem prover
- formal analysis
- defeasible logic
- knowledge representation
- genetic algorithm
- decision procedures
- data model
- natural language
- natural deduction
- underlying assumptions
- legal knowledge
- information systems