Sciweavers

2038 search results - page 311 / 408
» Probabilistic Agent Programs
Sort
View
138
Voted
FOIKS
2008
Springer
15 years 4 months ago
Defeasible Reasoning and Partial Order Planning
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
Diego R. García, Alejandro Javier Garc&iacu...
120
Voted
AAAI
2010
15 years 4 months ago
Towards an Intelligent Code Search Engine
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun...
137
Voted
AAAI
2010
15 years 4 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
129
Voted
AAAI
2010
15 years 4 months ago
Exploiting Monotonicity in Interval Constraint Propagation
We propose in this paper a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is sta...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
AAAI
2010
15 years 4 months ago
A First Practical Algorithm for High Levels of Relational Consistency
Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(,...
Shant Karakashian, Robert J. Woodward, Christopher...