Sciweavers

1143 search results - page 120 / 229
» Prospective Logic Agents
Sort
View
AUSAI
2007
Springer
16 years 18 days ago
Dialogue Games in Defeasible Logic
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
Subhasis Thakur, Guido Governatori, Vineet Padmana...
AGI
2008
15 years 7 months ago
Temporal Action Logic for Question Answering in an Adventure Game
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
Martin Magnusson, Patrick Doherty
DAGSTUHL
2007
15 years 7 months ago
Towards a Logic of Graded Normativity and Norm Adherence
A key focus of contemporary agent-oriented research and engineering is on open multiagent systems composed of truly autonomous, interacting agents. This poses new challenges, as en...
Matthias Nickles
AAAI
1994
15 years 7 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
AAAI
1994
15 years 7 months ago
Conditional Logics of Belief Change
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
Nir Friedman, Joseph Y. Halpern