Sciweavers

3446 search results - page 114 / 690
» A Reasoning Algorithm for pD*
Sort
View
ILP
2004
Springer
15 years 7 months ago
Generalization Algorithms for Second-Order Terms
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...
Kouichi Hirata, Takeshi Ogawa, Masateru Harao
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 5 months ago
Combining genetic algorithms with squeaky-wheel optimization
The AI optimization algorithm called "Squeaky-Wheel Optimization" (SWO) has proven very effective in a variety of real-world applications. Although the ideas behind SWO ...
Justin Terada, Hoa Vo, David Joslin
PPDP
2010
Springer
14 years 11 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
FUIN
2010
143views more  FUIN 2010»
14 years 11 months ago
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees
Some distributed constraint optimization algorithms use a linear number of messages in the number of agents, but of exponential size. This is often the main limitation for their pr...
Ismel Brito, Pedro Meseguer
CIDR
2011
342views Algorithms» more  CIDR 2011»
14 years 5 months ago
Megastore: Providing Scalable, Highly Available Storage for Interactive Services
Megastore is a storage system developed to meet the requirements of today’s interactive online services. Megastore blends the scalability of a NoSQL datastore with the convenien...
Jason Baker, Chris Bond, James Corbett, J. J. Furm...