4126 search results - page 179 / 826 » Set based logic programming |
179
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
In this paper, a two-phase evolutionary optimization scheme is proposed for obtaining optimal structure of fuzzy control rules and their associated weights, using evolutionary prog...
176
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
180
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
149
click to vote
AUSAI
2005
Springer
16 years 11 days ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We deļ¬ne rule-based agent theories and inference procedures in defeasible logic, and in this set...
180
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...