3717 search results - page 147 / 744 » Representing Multiple Theories |
102
Voted
FOIS
2006
15 years 5 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
88
Voted
IJCAI
2001
15 years 5 months ago
2001
Abstract. In this paper we present a new approach for personalized presentation of web-page content. The model is defined as a preference-based configuration process that is based ...
127
Voted
ENGL
2007
15 years 3 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
116
Voted
GEOINFORMATICA
1998
15 years 3 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
164
Voted
TGC
2010
Springer
15 years 1 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...