4978 search results - page 241 / 996 » Logical models of argument |
182
click to vote
ALIFE
2006
15 years 5 months ago
2006
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...
125
click to vote
IJMMS
2006
15 years 5 months ago
2006
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...
127
click to vote
JANCL
2006
15 years 5 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
210
click to vote
FMLDO
2000
Springer
15 years 9 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
139
click to vote
IJCAI
2003
15 years 7 months ago
2003
We solve the problem of obtaining answers to queries posed to a mediated integration system un der the local-as-view paradigm that are consistent wrt to certain global integrity...