1368 search results - page 19 / 274 » Personality-Based Practical Reasoning |
123
Voted
AAAI
2000
15 years 3 months ago
2000
Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
117
Voted
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
101
click to vote
ENTCS
2007
15 years 1 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...