5096 search results - page 737 / 1020 » Associations as a Language Construct |
182
Voted
ICCS
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
152
Voted
ICLP
2003
Springer
16 years 20 days ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...
246
Voted
AGP
2010
IEEE
16 years 17 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
160
click to vote
HICSS
2002
IEEE
16 years 12 days ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
178
click to vote
HICSS
2002
IEEE
16 years 12 days ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...