2611 search results - page 189 / 523 » A Logic for Concepts and Similarity |
104
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
135
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
129
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
130
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
133
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...