329 search results - page 24 / 66 » Formal Support for Representing and Automating Semantic Inte... |
134
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
140
click to vote
IJBRA
2007
15 years 3 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
138
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...
141
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
146
click to vote
DLOG
2009
15 years 1 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...