Sciweavers

3482 search results - page 336 / 697
» Cooperative Assembly Systems
Sort
View
FQAS
2006
Springer
136views Database» more  FQAS 2006»
15 years 10 months ago
Robust Query Processing for Personalized Information Access on the Semantic Web
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
Peter Dolog, Heiner Stuckenschmidt, Holger Wache
CKEC
1991
15 years 10 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
AAAI
2007
15 years 9 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
DALT
2008
Springer
15 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
SOCRATES
2008
228views Education» more  SOCRATES 2008»
15 years 8 months ago
ScribaLab Ver. 2.0
What is Scribalab 2.0? A system to create web communities and a modular toolbox for writing and publish on the web. It is made up of two main sections both designed to welcome use...
Nuccia Silvana Pirruccello, Gianluca Tramontana