1593 search results - page 70 / 319 » A visual programming system for automated problem solving |
111
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
151
click to vote
LOPSTR
1997
Springer
15 years 7 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
107
Voted
AIIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
119
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Genetic Programming (GP) is an automated computational programming methodology, inspired by the workings of natural evolution techniques. It has been applied to solve complex prob...
127
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...