4617 search results - page 557 / 924 » Automation of Diagrammatic Reasoning |
209
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
When searching for the right life insurance product, one can either confide in her/his insurance broker or fill out lengthy questionnaires at Internet Portal sites before gathering...
192
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
195
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
208
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
229
click to vote
LPNMR
2005
Springer
16 years 1 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...