4555 search results - page 19 / 911 » Deductive Algorithmic Knowledge |
ICAIL
2009
ACM
14 years 3 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
KRDB
2003
13 years 10 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
Research on semantic search has become heated these years. In this paper we propose an approach focusing on searching for resources with descriptions. The knowledge representation ...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...