![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
LID 1996: San Miniato, Italy
- Dino Pedreschi
, Carlo Zaniolo:
Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. Lecture Notes in Computer Science 1154, Springer 1996, ISBN 3-540-61814-7
Keynote Lecture
- Jack Minker:
Logic and Databases: A 20 Year Retrospective. 3-57
Uncertainty
- Laks V. S. Lakshmanan, Nematollaah Shiri:
A Parametric Approach to Deductive Databases with Uncertainty. 61-81 - V. S. Subrahmanian, Charlie Ward:
A Deductive Database Approach to Planning in Uncertain Environments. 83-98
Temporal and Spatial Reasoning
- Bart Kuijpers
, Jan Paredaens, Marc Smits, Jan Van den Bussche
:
Termination Properties of Spatial Datalog Programs. 101-116 - Carme Martín, Jaume Sistac:
Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking. 117-134
Invited Lecture
- Robert A. Kowalski, Fariba Sadri:
Towards a Unified Agent Architecture that Combines Rationality with Reactivity. 137-149
Updates
- Dominique Laurent, Christel Vrain:
Learning Query Rules for Optimizing Databases with Update Rules. 153-172
Active Databases
- Chitta Baral, Jorge Lobo
:
Formal Characterization of Active Databases. 175-195 - Bertram Ludäscher, Wolfgang May, Georg Lausen:
Nested Transactions in a Logical Language for Active Rules. 197-222
Panel Discussion
- Arno Siebes, Shalom Tsur, Jeffrey D. Ullman, Laurent Vieille, Carlo Zaniolo:
Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion). 225-229
Semantics
- Hadassa Jakobovits, Dirk Vermeir:
R-Stable Models for Logic Programs. 233-243 - Thomas Eiter, Nicola Leone
, Domenico Saccà:
The Expressive Power of Partial Models in Disjunctive Deductive Databases. 245-264 - Nicola Leone
, Pasquale Rullo, Francesco Scarcello
:
Stable Model Checking for Disjunctive Logic Programs. 265-278
Advanced Applications
- Dmitri Boulanger:
Analysis of Logic-Based Systems. 281-301 - Adrian Spalka, Armin B. Cremers:
An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases. 303-319
Query Evaluation
- Estrella Pulido:
Database Query Evaluation with the STARBASE Method. 323-342 - Konstantinos Sagonas
, Terrance Swift, David Scott Warren:
The Limits of Fixed-Order Computation. 343-363
Invited Lecture
- Bob Kero, Shalom Tsur:
The IQ System: A Deductive Database Information Lens for Reasoning about Textual Information. 367-385
Language Extensions
- Gillian Dobbie, Rodney W. Topor:
Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases. 389-397 - Anthony J. Bonner, Giansalvatore Mecca:
Sequence Datalog: Declarative String Manipulation in Databases. 399-413 - Patrizia Asirelli, Chiara Renso
, Franco Turini:
Language Extensions for Semantic Integration of Deductive Databases. 415-434 - Sergio Greco, Cristinel Mateis
, Eugenio Spadafora:
Unification of Bounded Simple Set Terms in Deductive Databases. 435-453
Logic Constructs and Expressive Power
- Luca Cabibbo:
Expressiveness of Semipositive Logic Programs with Value Invention. 457-474 - Françoise Gire, H. Khanh Hoang:
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct. 475-495
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.