Sciweavers

441 search results - page 19 / 89
» Possibility theory and statistical reasoning
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 7 months ago
Enrichment of Qualitative Beliefs for Reasoning under Uncertainty
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
Xinde Li, Xinhan Huang, Florentin Smarandache, Jea...
PODS
2006
ACM
98views Database» more  PODS 2006»
14 years 7 months ago
Two-variable logic on data trees and XML reasoning
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Th...
ECTEL
2007
Springer
14 years 1 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...
ARGMAS
2005
Springer
14 years 1 months ago
Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...
Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, G...