Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.
Greta YorshAlexey SkidanovThomas W. RepsShmuel SagivPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- data structure
- reasoning systems
- knowledge base
- fully automatic
- knowledge representation
- machine learning
- analogical reasoning
- reasoning tasks
- stable model semantics
- data sets
- reasoning about actions
- consistency checking
- computational properties
- legal reasoning
- qualitative reasoning
- spatial reasoning
- artificial intelligence