3005 search results - page 43 / 601 » Logical Information Systems: from Taxonomies to Logics |
130
Voted
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
113
Voted
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
100
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
119
Voted
TPHOL
1995
IEEE
15 years 5 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
100
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...