377 search results - page 16 / 76 » Towards Alternative Approaches to Reasoning About Goals |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
AAAI
2011
13 years 9 months ago
2011
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-speciļ...
AMET
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
157
click to vote
AIME
2003
Springer
15 years 2 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of diļ¬erential equations. Despite their expressive power, they are diļ¬cult to reason about and make decisions, g...
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...