3468 search results - page 9 / 694 » An open logical framework |
SBCCI
2003
ACM
14 years 4 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
CADE
1998
Springer
14 years 3 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
ICALT
2006
IEEE
14 years 5 months ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
ESWS
2009
Springer
14 years 5 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
JAIR
2007
13 years 10 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...