Sciweavers

5243 search results - page 146 / 1049
» Reasoning About Strategies
Sort
View
FLAIRS
2006
15 years 7 months ago
Conservative and Creative Strategies for the Refinement of Scoring Rules
In knowledge engineering research the refinement of manually developed intelligent systems is still one of the key issues. Since scoring rules are an intuitive and easy to impleme...
Joachim Baumeister, Martin Atzmüller, Peter K...
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
16 years 18 days ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
JURIX
2008
15 years 8 months ago
Did He Jump or Was He Pushed? Abductive Practical Reasoning
In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme...
Floris Bex, Trevor J. M. Bench-Capon, Katie Atkins...
SKG
2006
IEEE
16 years 15 days ago
A Hybrid Negotiation Mechanism among Agent Strategies
Agents will adopt different strategies in the multiagent systems. However, the strategies of agents may produce conflicts. While agents coordinate with each other in the operation...
Yichuan Jiang, Toru Ishida
SEMWEB
2005
Springer
15 years 12 months ago
Decentralized Case-Based Reasoning for the Semantic Web
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...
Mathieu d'Aquin, Jean Lieber, Amedeo Napoli