2766 search results - page 187 / 554 » Hybridizing a Logical Framework |
157
click to vote
ADL
1998
Springer
15 years 8 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
139
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
172
click to vote
CVPR
2011
IEEE
15 years 24 days ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
176
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
162
click to vote
DLOG
2010
15 years 2 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...