Sciweavers

5243 search results - page 109 / 1049
» Reasoning About Strategies
Sort
View
CSFW
2002
IEEE
15 years 12 months ago
Secrecy in Multiagent Systems
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
Joseph Y. Halpern, Kevin R. O'Neill
179
Voted
SEMWEB
2009
Springer
16 years 1 months ago
A Reasoning Broker Framework for OWL
Abstract. Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from expli...
Jürgen Bock, Tuvshintur Tserendorj, Yongchun ...
191
Voted
ICCBR
2005
Springer
16 years 12 days ago
Using CBR to Select Solution Strategies in Constraint Programming
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...
Cormac Gebruers, Brahim Hnich, Derek G. Bridge, Eu...
ECAI
2004
Springer
16 years 11 days ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
173
Voted
OTM
2004
Springer
16 years 10 days ago
Cases and Dialectical Arguments - An Approach to Case-Based Reasoning
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
Bram Roth, Bart Verheij