364 search results - page 17 / 73 » A Map of Common Knowledge Logics |
122
Voted
ECCV
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
101
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
116
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
141
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
124
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...