6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction.
Ivica CrnkovicHeinz W. SchmidtJudith A. StaffordKurt C. WallnauPublished in: ICSE (2003)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- reasoning tasks
- probabilistic reasoning
- theorem prover
- decision procedures
- knowledge representation and reasoning
- propositional satisfiability
- artificial intelligence
- software engineering
- expert systems
- search algorithm
- bayesian networks
- case study
- real world