Sciweavers

1328 search results - page 84 / 266
» Cut-free common knowledge
Sort
View
105
Voted
ECSQARU
1997
Springer
15 years 8 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...
133
Voted
ATAL
2006
Springer
15 years 7 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
HPCN
2000
Springer
15 years 7 months ago
A Service-Based Agent Framework for Distributed Symbolic Computation
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
AAAI
2008
15 years 6 months ago
Minimal Contraction of Preference Relations
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...
Denis Mindolin, Jan Chomicki
ACL
2007
15 years 5 months ago
Generating Complex Morphology for Machine Translation
We present a novel method for predicting inflected word forms for generating morphologically rich languages in machine translation. We utilize a rich set of syntactic and morphol...
Einat Minkov, Kristina Toutanova, Hisami Suzuki