Proof Methodologies for Behavioural Equivalence in DPI.
Alberto CiaffaglioneMatthew HennessyJulian RathkePublished in: FORTE (2005)
Keyphrases
- artificial intelligence
- theorem proving
- theorem prover
- collective decision making
- data mining
- linear logic
- data sets
- design patterns
- proof search
- natural deduction
- automated theorem proving
- decision procedures
- evaluation methods
- mathematical models
- logic programs
- description logics
- relational databases
- expert systems
- multi agent systems
- decision trees
- information retrieval
- real world