8228 search results - page 346 / 1646 » Structural Logical Relations |
173
Voted
JUCS
2008
15 years 6 months ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
170
click to vote
JUCS
2007
15 years 6 months ago
2007
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
171
click to vote
ESWS
2005
Springer
16 years 8 days ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
168
click to vote
FROCOS
2005
Springer
16 years 8 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
211
click to vote
PUC
2002
15 years 6 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...