1581 search results - page 169 / 317 » Mechanizing Inductive Reasoning |
170
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
156
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
151
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
189
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
200
click to vote
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
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...