researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Data \& Knowledge Engineering
Home
Index
Info
Volume
Volume
26
, Issue
3
243
--
269
Dieter Fensel
,
Rix Groenboom
,
Gerard R. Renardel de Lavalette
.
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems
271
--
290
John L. Knapp
.
ER Isomorphisms and Uniqueness Conditions
291
--
308
Günther Pernul
,
A. Min Tjoa
,
Werner Winiwarter
.
Modelling Data Secrecy and Integrity
309
--
326
Young U. Ryu
.
Specification of Contractual Obligations in Formal Business Communication
327
--
356
Gabriele Schmidt
,
Thomas Wetter
.
Using Natural Language Sources in Model-Based Knowledge Acquisition
Volume
26
, Issue
2
121
--
133
Chin-Chen Chang
,
Chin-Feng Lee
.
A Bin-Tree Oriented Iconic Indexing Scheme for Retrieving Symbolic Pictures
135
--
160
Anthony Hunter
,
Peter McBrien
.
Default Databases: Extending the Approach of Deductive Databases Using Default Logic
161
--
189
Alun D. Preece
,
Clifford Grossner
,
P. Gokul Chander
,
Thiruvengadam Radhakrishnan
.
Structure-Based Validation of Rule-Based Systems
191
--
224
Michael Schrefl
,
Gerti Kappel
,
Peter Lang
.
Modeling Collaborative Behavior Using Cooperation Contracts
225
--
241
Robert Winter
.
Design and Implementation of Derivation Rules in Information Systems
Volume
26
, Issue
1
1
--
36
C. A. Johnson
.
Top-Down Query Processing in Indefinite Stratified Databases
37
--
70
Dominique Laurent
,
Viet Phan Luong
,
Nicolas Spyratos
.
Updating Intensional Predicates in Deductive Databases
71
--
97
Chiang Lee
,
Te-Ming Tseng
.
Temporal Grid File: A File Structure for Interval Data
99
--
115
Chengfei Liu
,
Hui Li
,
Maria E. Orlowska
.
Supporting Update Propagation in Object-Oriented Databases