4126 search results - page 179 / 826 » Set based logic programming |
GECCO
2003
Springer
15 years 3 months 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...
ESOP
2010
Springer
15 years 7 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 ...
74
Voted
PPDP
2009
Springer
15 years 4 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ļ...
71
Voted
AUSAI
2005
Springer
15 years 3 months 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...
84
Voted
ATAL
2009
Springer
15 years 4 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...