3468 search results - page 139 / 694 » An open logical framework |
148
click to vote
DLOG
2008
15 years 8 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...
137
click to vote
ENTCS
2006
15 years 6 months 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...
155
click to vote
ENTCS
2002
15 years 6 months 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...
171
click to vote
DLOG
2010
15 years 4 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...
205
click to vote
AIME
2011
Springer
14 years 6 months 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...