Journal: Data \& Knowledge Engineering

Volume 26, Issue 3

243 -- 269Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette. Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems
271 -- 290John L. Knapp. ER Isomorphisms and Uniqueness Conditions
291 -- 308Günther Pernul, A. Min Tjoa, Werner Winiwarter. Modelling Data Secrecy and Integrity
309 -- 326Young U. Ryu. Specification of Contractual Obligations in Formal Business Communication
327 -- 356Gabriele Schmidt, Thomas Wetter. Using Natural Language Sources in Model-Based Knowledge Acquisition

Volume 26, Issue 2

121 -- 133Chin-Chen Chang, Chin-Feng Lee. A Bin-Tree Oriented Iconic Indexing Scheme for Retrieving Symbolic Pictures
135 -- 160Anthony Hunter, Peter McBrien. Default Databases: Extending the Approach of Deductive Databases Using Default Logic
161 -- 189Alun D. Preece, Clifford Grossner, P. Gokul Chander, Thiruvengadam Radhakrishnan. Structure-Based Validation of Rule-Based Systems
191 -- 224Michael Schrefl, Gerti Kappel, Peter Lang. Modeling Collaborative Behavior Using Cooperation Contracts
225 -- 241Robert Winter. Design and Implementation of Derivation Rules in Information Systems

Volume 26, Issue 1

1 -- 36C. A. Johnson. Top-Down Query Processing in Indefinite Stratified Databases
37 -- 70Dominique Laurent, Viet Phan Luong, Nicolas Spyratos. Updating Intensional Predicates in Deductive Databases
71 -- 97Chiang Lee, Te-Ming Tseng. Temporal Grid File: A File Structure for Interval Data
99 -- 115Chengfei Liu, Hui Li, Maria E. Orlowska. Supporting Update Propagation in Object-Oriented Databases