Sciweavers

1993 search results - page 140 / 399
» On Action Theory Change
Sort
View
AAAI
2008
15 years 3 months ago
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
Paul Fodor
116
Voted
SIGECOM
2006
ACM
139views ECommerce» more  SIGECOM 2006»
15 years 6 months ago
Playing games in many possible worlds
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
Matt Lepinski, David Liben-Nowell, Seth Gilbert, A...
WINE
2005
Springer
161views Economy» more  WINE 2005»
15 years 6 months ago
Design of Incentive Compatible Mechanisms for Stackelberg Problems
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
Dinesh Garg, Yadati Narahari
SEMCO
2009
IEEE
15 years 7 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
102
Voted
ADMA
2008
Springer
123views Data Mining» more  ADMA 2008»
15 years 7 months ago
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage
Customer retention is crucial for any company relying on a regular client base. One way to approach this problem is to analyse actual user behaviour and take proper actions based o...
Peter Hofgesang, Jan Peter Patist