Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston Ales Bizjak Hans Bugge Grathwohl Lars Birkedal

Published in: FoSSaCS (2015)

Keyphrases

programming language
knowledge base
automated reasoning
general purpose
reasoning tasks
reasoning process
reasoning systems
multi agent
complex objects
probabilistic reasoning
default reasoning