497 search results - page 53 / 100 » On combinations of local theory extensions |
108
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
138
click to vote
ARGMAS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
112
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
121
click to vote
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
We study the task of detecting the occurrence of objects in large image collections or in videos, a problem that combines aspects of content based image retrieval and object locali...
145
click to vote
ACSC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we aim to infer a model of genetic networks from time series data of gene expression profiles by using a new gene expression programming algorithm. Gene expression n...