100 search results - page 11 / 20 » A Deduction System for Meaning Negotiation |
TPHOL
2006
IEEE
14 years 4 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
CIKM
1994
Springer
14 years 2 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
ICAIL
2003
ACM
14 years 3 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
ATAL
2008
Springer
14 years 12 days ago
2008
Springer
As computerized agents are becoming more and more common, e-commerce becomes a major candidate for incorporation of automated agents. Thus, it is vital to understand how people de...