107 search results - page 13 / 22 » Implementing the Meta-Theory of Deductive Systems |
100
click to vote
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
82
Voted
AGI
2008
14 years 11 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
73
Voted
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
ICOODB
2009
14 years 7 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
IUI
2011
ACM
14 years 12 days ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...