43 search results - page 6 / 9 » Reasoning with Higher-Order Abstract Syntax and Contexts: A ... |
102
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
173
Voted
ECMDAFA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
91
Voted
IJCAI
1997
15 years 1 months ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
113
click to vote
BIRTHDAY
2010
Springer
15 years 17 days ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
90
Voted
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...