103
click to vote
DLOG
13 years 3 months ago
2011 
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
DLOG
13 years 3 months ago
2011 
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
105
click to vote
ICLP
13 years 3 months ago
2011 Springer 
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
CSL
13 years 7 months ago
2011 Springer
How much can we infer about the pronunciation of a language – past or present – by observing which words its speakers rhyme? This paper explores the connection between pronunc...
CSL
13 years 7 months ago
2011 Springer
The automatic recognition of user’s communicative style within a spoken dialog system framework, including the affective aspects, has received increased attention in the past f...
|
Automated Reasoning