Sciweavers

10568 search results - page 751 / 2114
» Computer Intelligence and Formalization
Sort
View
KESAMSTA
2010
Springer
15 years 5 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
220
Voted
MICAI
2010
Springer
15 years 5 months ago
Information Retrieval with a Simplified Conceptual Graph-Like Representation
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...
Sonia Ordoñez-Salinas, Alexander F. Gelbukh
AAAI
2010
15 years 5 months ago
Cloning in Elections
We consider the problem of manipulating elections via cloning candidates. In our model, a manipulator can replace each candidate c by one or more clones, i.e., new candidates that...
Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko
ECAI
2010
Springer
15 years 5 months ago
LTL Goal Specifications Revisited
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
Andreas Bauer 0002, Patrik Haslum
IAT
2010
IEEE
15 years 5 months ago
Using a Social Orientation Model for the Evolution of Cooperative Societies
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
Kan-Leung Cheng, Inon Zuckerman, Ugur Kuter, Dana ...