23 search results - page 1 / 5 » The connection between two ways of reasoning about partial f... |
114
Voted
IPL
2008
15 years 12 days ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
114
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
132
Voted
AAAI
2011
14 years 13 days ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
109
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
129
click to vote
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...