IW Meeting 2009-05-07
From Inference Web
- 2009-05-07
- IW Meeting 2009-04-30
agenda
- review todo list of previous meeting IW Meeting 2009-04-30#todo
- discussion linked justification Media:Linked Justification.ppt
- connection with LP, Propositional Horn
- definition
- proof quality metric discussion
- iwsearch
- Combine_proof_example_2 backtracking
- rename proposal isExplanationOf to hasOriginalProof
