Sciweavers

2909 search results - page 170 / 582
» Consistency of the theory of contexts
Sort
View
SLP
1997
102views more  SLP 1997»
15 years 7 months ago
Compositionality of Normal Open Logic Programs
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
Sofie Verbaeten, Marc Denecker, Danny De Schreye
IJCAI
1993
15 years 7 months ago
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
Suryanarayana M. Sripada
COR
2006
86views more  COR 2006»
15 years 6 months ago
G-functions for the hermeneutic circle of evolution
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
Joel S. Brown, Thomas L. Vincent
JETAI
2000
121views more  JETAI 2000»
15 years 6 months ago
Contextual reasoning distilled
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
NETWORK
2010
122views more  NETWORK 2010»
15 years 1 months ago
Betweenness centrality and resistance distance in communication networks
In this article we report on applications and extensions of weighted graph theory in the design and control of communication networks. We model the communication network as a weig...
Ali Tizghadam, Alberto Leon-Garcia