1
by Alagic, Suad, Arbib, Michael A.
Published 1978
Springer New York

4
by Burns, Alan, Lister, Andrew M., Wellings, Andrew J.
Published 1987
Springer Berlin Heidelberg

6
Published 2002
Springer Berlin Heidelberg
..., and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even well de?ned...

7 Table of Contents: ... -- Tools for Building Ontologies -- Languages for Building Ontologies -- Most Well-Known Ontologies...

8
by Sanders, Bruce D.
Published 1984
Springer New York
Table of Contents: ... Messages for the People -- 4 The Terminally Well Organization -- 5 Making Decisions on the Right Bases -- 6...

9
by Fernstrom, Christer, Kruzela, Ivan, Svensson, Bertil
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... for LUCAS -- Some well-known problems implemented on LUCAS -- LUCAS as a backend processor for relational...

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... for rewrite systems with built-in operations -- Hierarchical termination -- Well-foundedness of term orderings...

11
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... execution of well-moded and well-typed Prolog programs -- Efficient closure utilisation by higher-order...

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Derivation in DLP Computations -- Linear Tabulated Resolution for the Well-Founded Semantics -- A Case Study...

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...1. Examples of Derivations -- On the Design of a Simple Proof for Morley’s Theorem -- Well...

14
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem...

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... of typed logic paradigms for object-oriented databases -- Algebraic computation of the weak well-founded...

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study...

17
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... information systems -- A topological data model for spatial databases -- A well-behaved file structure...

18
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well...

19
by Marty, R.
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... principles for an interactive programming language as well as for an interactive programming system...

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... for the Semantic Web -- R-DEVICE: A Deductive RDF Rule Language -- Well-Founded Semantics for Description Logic...