Sciweavers

103 search results - page 20 / 21
» Bridges from Language to Logic: Concepts, Contexts and Ontol...
Sort
View
114
Voted
ICFP
2006
ACM
16 years 24 days ago
Algebraic fusion of functions with an accumulating parameter and its improvement
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
Shin-ya Katsumata, Susumu Nishimura
106
Voted
NDJFL
2000
74views more  NDJFL 2000»
15 years 18 days ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May
91
Voted
SYNTHESE
2011
239views more  SYNTHESE 2011»
14 years 7 months ago
Carnap on theoretical terms: structuralism without metaphysics
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
Michael Friedman
93
Voted
SEMWEB
2005
Springer
15 years 6 months ago
On the Properties of Metamodeling in OWL
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
Boris Motik
GI
2005
Springer
15 years 6 months ago
Distributed User Modeling for Situated Interaction
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
Dominik Heckmann