6355 search results - page 1012 / 1271 » From Logic to Games |
193
click to vote
HASKELL
2006
ACM
16 years 20 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
189
click to vote
CLUSTER
2005
IEEE
16 years 9 days ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
173
click to vote
HT
2005
ACM
16 years 7 days ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
163
click to vote
ADBIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
166
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...