Collaborative Programming: Applications of Logic and Automated Reasoning.
Timothy L. HinrichsPublished in: PAAR/ESHOL (2008)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- proof theory
- theorem proving
- probabilistic reasoning
- theorem prover
- decision procedures
- reasoning tasks
- knowledge representation and reasoning
- programming language
- automated verification
- collaborative learning
- logical implication
- bayesian networks
- neural network
- belief networks
- first order logic
- description logics
- artificial intelligence