Sciweavers

694 search results - page 18 / 139
» Open Graphs and Computational Reasoning
Sort
View
GI
2004
Springer
14 years 2 months ago
A Behavioural Approach for the Coordination of Open Source Software Intermediaries
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...
Heinz Lothar Grob, Frank Bensberg, Firoz Kaderali
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
14 years 23 days ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes
BIRTHDAY
2010
Springer
13 years 10 months ago
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
Martin Grohe
AIPS
1996
13 years 10 months ago
Event-Based Decompositions for Reasoning about External Change in Planners
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
Jim Blythe
ASP
2005
Springer
14 years 2 months ago
A New Algorithm for Answer Set Computation
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
Giuliano Grossi, Massimo Marchi