Sciweavers

651 search results - page 19 / 131
» Reasoning about agent deliberation
Sort
View
AAAI
1996
13 years 11 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher
BIRTHDAY
2006
Springer
14 years 1 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
AAAI
2011
12 years 10 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningā€”without human interventionā...
Stephan Schiffel, Michael Thielscher
AAAI
2007
14 years 12 days ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
AAAI
2007
14 years 12 days ago
Reasoning about Attribute Authenticity in a Web Environment
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certiļ¬cates are widely used for that purpose. How...
Thomas Wölfl