4573 search results - page 605 / 915 » Automated Reasoning |
167
click to vote
LPAR
2005
Springer
16 years 6 days 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...
180
click to vote
LPAR
2005
Springer
16 years 6 days 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...
192
click to vote
LPNMR
2005
Springer
16 years 6 days 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...
177
Voted
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
An adaptation phase is crucial for a good and reasonable Case-Based Planning (CBP) system. The adaptation phase is responsible for finding a solution in order to solve a new proble...
183
click to vote
CADE
2004
Springer
16 years 3 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...