Sciweavers

10568 search results - page 79 / 2114
» Computer Intelligence and Formalization
Sort
View
ESWA
2002
74views more  ESWA 2002»
14 years 9 months ago
Ontologies for information management: balancing formality, stability, and sharing scope
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent
Ludger van Elst, Andreas Abecker
MICAI
2004
Springer
15 years 3 months ago
Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...
CCIA
2009
Springer
14 years 11 months ago
A Formalization of Trust Alignment
We present a mathematical framework for communicating about trust in terms of interactions. We argue that sharing an ontology about trust is not enough and that interactions are th...
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
AI
2007
Springer
14 years 10 months ago
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems
We consider a multi-agent system where each agent is equipped with a Bayesian network, and present an open framework for the agents to agree on a possible consensus network. The f...
Søren Holbech Nielsen, Simon Parsons
AI
1998
Springer
14 years 9 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin