Search Sciweavers | Sciweavers

3891 search results - page 24 / 779

» A logic for strategic reasoning

click to vote

ICEXSS
2010

99views Information Technology» more ICEXSS 2010»

Systemic Service Design: Aligning Value and Implementation

13 years 2 months ago

Download infoscience.epfl.ch

The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...

Arash Golnam, Gil Regev, Julien Ramboz, Philippe L...

claim paper

Read More »

click to vote

ICMAS
1998

96views Intelligent Agents» more ICMAS 1998»

Emergent Properties of a Market-based Digital Library with Strategic Agents

13 years 9 months ago

Download reference.kfupm.edu.sa

The University of Michigan Digital Library (UMDL) is an open system that allows third-parties to build and integrate their own profit-seeking agents into the marketplace of inform...

Sunju Park, Edmund H. Durfee, William P. Birmingha...

claim paper

Read More »

click to vote

AI
1998
Springer

124views Artificial Intelligence» more AI 1998»

Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator

13 years 7 months ago

Download repository.ust.hk

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

claim paper

Read More »

click to vote

CADE
1992
Springer

131views Logical Reasoning» more CADE 1992»

An Improved Method for Adding Equality to Free Variable Semantic Tableaux

13 years 11 months ago

Download www.uni-koblenz.de

Tableau

Bernhard Beckert, Reiner Hähnle

claim paper