Sciweavers

2253 search results - page 226 / 451
» The ComFoRT Reasoning Framework
Sort
View
CLIMA
2004
15 years 11 days ago
Symbolic Negotiation with Linear Logic
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
Peep Küngas, Mihhail Matskin
EHCI
2004
15 years 11 days ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
EMNLP
2006
15 years 11 days ago
Automatic classification of citation function
The automatic recognition of the rhetorical function of citations in scientific text has many applications, from improvement of impact factor calculations to text summarisation an...
Simone Teufel, Advaith Siddharthan, Dan Tidhar
FLAIRS
2006
15 years 11 days ago
A Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
Christoph Beierle, Gabriele Kern-Isberner
EHCI
2001
15 years 10 days ago
Heuristic Evaluation of Groupware Based on the Mechanics of Collaboration
Despite the increasing availability of groupware, most systems are awkward and not widely used. While there are many reasons for this, a significant problem is that groupware is di...
Kevin Baker, Saul Greenberg, Carl Gutwin