7167 search results - page 349 / 1434 » Answer Set Programming |
137
Voted
EPS
1995
Springer
15 years 6 months ago
1995
Springer
Evolutionary programming was first offered as an alternative method for generating artificial intelligence. Experiments were offered in which finite state machines were used to...
154
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
129
click to vote
EUROGP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
101
click to vote
AAAI
2010
15 years 4 months ago
2010
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
128
click to vote
SPLC
2008
15 years 4 months ago
2008
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...