454 search results - page 63 / 91 » Representation results for defeasible logic |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
ER
2007
Springer
14 years 2 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
TYPES
1998
Springer
14 years 28 days ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...