3053 search results - page 533 / 611 » A Logic of Abstract Argumentation |
185
click to vote
ISNN
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
161
Voted
LOPSTR
2007
Springer
15 years 12 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
182
click to vote
LPAR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
136
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
132
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...