Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description).
Brigitte PientkaJana DunfieldPublished in: IJCAR (2010)
Keyphrases
- reasoning systems
- programming language
- logical framework
- expert systems
- reason maintenance
- complex systems
- computer systems
- main contribution
- object oriented
- management system
- taxonomic reasoning
- distributed systems
- knowledge based systems
- building blocks
- learning systems
- programming environment
- probabilistic model
- diagnostic systems
- deductive reasoning
- structured representations
- high level