3468 search results - page 139 / 694 » An open logical framework |
96
Voted
DLOG
2008
15 years 3 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...
ENTCS
2006
15 years 25 days ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
88
Voted
ENTCS
2002
15 years 18 days ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
109
Voted
DLOG
2010
14 years 10 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
143
Voted
AIME
2011
Springer
14 years 24 days ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...