Sciweavers

562 search results - page 67 / 113
» A Roadmap of Agent Research and Development
Sort
View
ATAL
2008
Springer
15 years 3 months ago
An agent-oriented approach to support change propagation in software evolution
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
Khanh Hoa Dam
AAAI
2010
15 years 3 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
AAAI
2006
15 years 3 months ago
Preferences over Sets
Research on preference elicitation and reasoning typically focuses on preferences over single objects of interest. However, in a number of applications the "outcomes" of...
Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Sh...
AAAI
2006
15 years 3 months ago
TempoExpress: An Expressivity-Preserving Musical Tempo Transformation System
The research described in this paper focuses on global tempo transformations of monophonic audio recordings of saxophone jazz performances. More concretely, we have investigated t...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
AAAI
2000
15 years 3 months ago
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltr...