Vol. 43 No. 1,2 (1988)

Articoli

• Preface

  Angelo Marcello Anile, Alfredo Ferro

  3

  • pdf

• Modern trends in knowledge representation and expert system technology

  Klaus Nökel, Michael M. Richter

  7-28

  • pdf

• Language theory and expert systems

  Attilio Agodi

  29-52

  • pdf

• Set oriented languages and program transformations

  Philippe Facon, Yo Keller

  53-78

  • pdf

• Meta-interpreting SETL

  D. Aliffi, D. Montanari, E. G. Omodeo, M. Pellegrini

  79-98

  • pdf

• ALPES: an advanced logic programming environment

  Cristina Ruggieri

  99-124

  • pdf

• A survey of computable set theory

  Domenico Cantone

  125-194

  • pdf

• Automated theorem proving in elementary geometry

  Alfredo Ferro, Giovanni Gallo

  195-224

  • pdf

• Automated deduction in Topology: two different approaches

  Vincenzo Cutello

  225-246

  • pdf

• Logic programming extensions of Horn clause logic

  Ron Sigal

  247-294

  • pdf

• A note on extending decision algorithms by stable predicates

  Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz

  297-302

  • pdf

• Decidability results for classes of purely universal formulae and quantifiers elimination in set theory

  Domenico Cantone, Vincenzo Cutello, Alberto Policriti

  303-336

  • pdf