172 search results - page 18 / 35 » How to Specialize by Theory Refinement |
102
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
ALDT
2009
Springer
15 years 6 months ago
2009
Springer
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
115
click to vote
AAAI
2004
15 years 1 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...