5243 search results - page 108 / 1049 » Reasoning About Strategies |
147
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
174
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
127
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...
157
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
145
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...