2585 search results - page 3 / 517 » Automating Coherent Logic |
129
click to vote
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...
102
click to vote
DLOG
2008
15 years 4 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
140
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
ECSQARU
1997
Springer
15 years 6 months ago
1997
Springer
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...