364 search results - page 32 / 73 » A Map of Common Knowledge Logics |
150
click to vote
SWAP
2007
15 years 5 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...
136
click to vote
ECOOPW
2000
Springer
15 years 7 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...
242
click to vote
SIGLEX
1991
15 years 7 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...
124
click to vote
CALCO
2007
Springer
15 years 10 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...
245
click to vote
ICLP
2009
Springer
16 years 4 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...