364 search results - page 32 / 73 » A Map of Common Knowledge Logics |
124
click to vote
SWAP
2007
15 years 3 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
108
click to vote
ECOOPW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
118
click to vote
SIGLEX
1991
15 years 5 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
100
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
213
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...