Sciweavers

61 search results - page 4 / 13
» deductive 1998
Sort
View
78
Voted
LOGCOM
1998
64views more  LOGCOM 1998»
15 years 1 months ago
A Relevant Analysis of Natural Deduction
Samin S. Ishtiaq, David J. Pym
78
Voted
SLOGICA
1998
79views more  SLOGICA 1998»
15 years 1 months ago
Normal Natural Deduction Proofs (in classical logic)
Wilfried Sieg, John Byrnes
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
15 years 3 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
103
Voted
KR
1998
Springer
15 years 6 months ago
Probabilistic Deduction with Conditional Constraints over Basic Events
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globallycomplete probabilistic deduction with conditional constraints ...
Thomas Lukasiewicz
DAGSTUHL
1998
15 years 3 months ago
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
Elisa Bertino, Barbara Catania, Vincenzo Gervasi, ...