1137 search results - page 106 / 228 » Knowledge Representation with Logic Programs |
107
Voted
KBS
2000
15 years 2 months ago
2000
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
137
Voted
POPL
2010
ACM
15 years 5 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
100
click to vote
DSL
2009
15 years 10 days ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
118
Voted
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
121
Voted
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...