2573 search results - page 161 / 515 » Combinations of Modal Logics |
131
click to vote
SIGIR
1998
ACM
15 years 8 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...
254
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
105
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
136
click to vote
DLOG
1998
15 years 6 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...