381 search results - page 38 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
103
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
175
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
SYNTHESE
2008
15 years 1 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
105
click to vote
EKAW
1999
Springer
15 years 5 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...