1805 search results - page 48 / 361 » A Theory of Closure Operators |
121
click to vote
COMMA
2008
15 years 5 months ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
EOR
2006
15 years 4 months ago
2006
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...
139
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
128
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
124
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...