Sciweavers

305 search results - page 16 / 61
» A Connectionist Framework for Reasoning: Reasoning with Exam...
Sort
View
META
1992
15 years 6 months ago
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
Maurice Bruynooghe, Gerda Janssens
143
Voted
AIIA
2005
Springer
15 years 3 months ago
Argumentation for Access Control
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...
FLAIRS
2007
15 years 4 months ago
An Argumentation Based Approach to Multi-Agent Learning
This paper addresses the issue of learning from communication among agents that work in the same domain, are capable of learning from examples, and communicate using an argumentat...
Santiago Ontañón, Enric Plaza
IJCAI
2007
15 years 3 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
FUIN
2006
88views more  FUIN 2006»
15 years 1 months ago
Calculi of Approximation Spaces
This paper considers the problem of how to establish calculi of approximation spaces. Approximation spaces considered in the context of rough sets were introduced by Zdzislaw Pawla...
Andrzej Skowron, Jaroslaw Stepaniuk, James F. Pete...