15754 search results - page 268 / 3151 » Programs are Knowledge Bases |
147
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
184
click to vote
ACSC
2006
IEEE
16 years 7 days ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
160
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Workflow Management Systems need to support organizations adapt their workflows to meet changing environments and business processes. We propose a traceability based knowledge man...
168
click to vote
EOR
2006
15 years 6 months ago
2006
The simple assembly line balancing problem is a classical integer programming problem in operations research. A set of tasks, each one being an indivisible amount of work requirin...
166
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...