LPNMR
15 years 2 months ago
2005 Springer 
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
LPNMR
15 years 2 months ago
2005 Springer 
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
LPNMR
15 years 2 months ago
2005 Springer 
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
107
click to vote
LPNMR
15 years 2 months ago
2005 Springer 
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
LPNMR
15 years 2 months ago
2005 Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
|
Automated Reasoning