Sciweavers

2214 search results - page 217 / 443
» Complexity of Reasoning
Sort
View
CSL
2009
Springer
15 years 10 months ago
Decision Problems for Nash Equilibria in Stochastic Games
We analyse the computational complexity of finding Nash equilibria in stochastic multiplayer games with ω-regular objectives.While the existence of an equilibrium whose payoff fal...
Michael Ummels, Dominik Wojtczak
133
Voted
ECSQARU
2009
Springer
15 years 10 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter
ICCBR
2009
Springer
15 years 10 months ago
S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
Brandon Rohrer
SEMWEB
2009
Springer
15 years 10 months ago
Task Representation and Retrieval in an Ontology-Guided Modelling System
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
Yuan Ren, Jens Lemcke, Andreas Friesen, Tirdad Rah...
TSD
2009
Springer
15 years 10 months ago
An Analysis of the Impact of Ambiguity on Automatic Humour Recognition
Abstract. One of the most amazing characteristics that defines the human being is humour. Its analysis implies a set of subjective and fuzzy factors, such as the linguistic, psych...
Antonio Reyes, Davide Buscaldi, Paolo Rosso