2540 search results - page 199 / 508 » Abstract Logics as Dialgebras |
156
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
170
click to vote
GW
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
177
click to vote
ICTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
175
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
182
click to vote
RULEML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...