1026 search results - page 21 / 206 » A Methodology for Equational Reasoning |
113
click to vote
JAR
2007
14 years 11 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
VTS
1999
IEEE
15 years 4 months ago
1999
IEEE
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
108
click to vote
FLAIRS
2007
15 years 2 months ago
2007
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
121
click to vote
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...