1919 search results - page 43 / 384 » Recent Extensions to Traviando |
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
NIME
2004
Springer
14 years 4 months ago
2004
Springer
This paper describes a theory for modulated objects based on observations of recent musical interface design trends. The theory implies extensions to an object-based approach to c...
PADL
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
IJCAI
2007
14 years 12 days ago
2007
In recent years, the combinatorics of argumentation with arguments that can attack each other has been studied extensively. Especially, attack graphs (put in the focus of attentio...
ENTCS
2008
13 years 11 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...