We use cookies to improve your experience with our site.

A Fixpoint Semantics for Stratified Databases
Inductive Learning
On Local StratifiabUity of Logic Programs and Databases
Validating Inductive Hypotheses by Mode Inference
Design Rationale for a Wide Spectrum Specification Language FGSPEC
Two New Strategies for Developing Loop Invariants and Their Applications
A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs
Nonterminating Rewritings with Head Boundedness
OOMMS:A Module Management System Based on an Object-Oriented Model
Deductive Fault Simulation Algorithm Based on Fault Collapsing
A Knowledge-Based Specification Technique for Protocol Development
Current Issue Cover