417 search results - page 67 / 84 » Results on Reasoning about Updates in Transaction Logic |
184
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
207
click to vote
AAAI
2011
14 years 6 months ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
159
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
173
Voted
LICS
2007
IEEE
16 years 10 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
158
click to vote
ESWS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...