10568 search results - page 705 / 2114 » Computer Intelligence and Formalization |
186
click to vote
BIBM
2009
IEEE
16 years 10 days ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
165
click to vote
KCAP
2009
ACM
15 years 12 months ago
2009
ACM
Identifying alignments between vocabularies has become a central knowledge engineering activity. A plethora of alignment techniques has been developed over the past years. In this...
219
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
187
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
KDD (Knowledge Discovery in Databases) processhas become a new and important research area. Within the framework of KDD process and the GLS (Global Learning Scheme) system recentl...
206
click to vote
COOPIS
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...