3468 search results - page 281 / 694 » An open logical framework |
154
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
169
click to vote
AAAI
2007
15 years 9 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
227
click to vote
DLOG
2011
14 years 10 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
158
Voted
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
164
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...