Sciweavers

2981 search results - page 165 / 597
» Answer Set Planning
Sort
View
142
Voted
LPNMR
2001
Springer
15 years 8 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits
134
Voted
AGP
2003
IEEE
15 years 7 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
153
Voted
CRV
2005
IEEE
192views Robotics» more  CRV 2005»
15 years 9 months ago
3D Reconstruction of Environments for Planetary Exploration
In this paper we present our approach to 3D surface reconstruction from large sparse range data sets. In space robotics constructing an accurate model of the environment is very i...
Sebastien Gemme, Joseph Nsasi Bakambu, Ioannis M. ...
115
Voted
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 9 months ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
102
Voted
ATAL
2009
Springer
15 years 10 months ago
Decommitting in multi-agent execution in non-deterministic environment: experimental approach
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
Jirí Vokrínek, Antonín Komend...