1581 search results - page 256 / 317 » Mechanizing Inductive Reasoning |
AIPS
2006
15 years 1 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
ASC
2006
15 years 1 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
108
click to vote
CASCON
2006
15 years 1 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
ECIS
2003
15 years 1 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...