261 search results - page 14 / 53 » Logics for XML |
CI
2005
14 years 11 months ago
2005
CSL
2002
Springer
14 years 11 months ago
2002
Springer
102
Voted
CADE
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
PERCOM
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we show a novel middleware approach for pervasise applications that communicate via an XMLbased distributed virtual shared information space. This approach extends s...
108
Voted
RULEML
2009
Springer
15 years 6 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...