3468 search results - page 469 / 694 » An open logical framework |
139
Voted
PATMOS
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
181
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
128
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
149
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
194
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...