1426 search results - page 30 / 286 » Specification of nonmonotonic reasoning |
ESWS
2007
Springer
15 years 1 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
55
Voted
FLAIRS
2004
14 years 11 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
108
click to vote
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
MPC
1998
Springer
15 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
79
Voted
CLEF
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present our approach to the 2010 ImageClef PhotoAnnotation task. Based on the well-known bag-of-words approach we suggest two extensions. First, we analyzed the im...