3658 search results - page 203 / 732 » The logic of proofs, semantically |
159
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
192
click to vote
CLA
2007
15 years 8 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
142
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
160
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
125
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...