A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories

Détails

ID Serval
serval:BIB_732A3BA85F45
Type
Rapport: document publié par une institution, habituellement élément d'une série.
Sous-type
Working paper: document de travail dans lequel l'auteur présente les résultats de ses travaux de recherche. Les working papers ont pour but de stimuler les discussions scientifiques avec les milieux intéressés et servent de base pour la publication d'articles dans des revues spécialisées.
Collection
Publications
Titre
A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
Auteur(s)
Bonzon P.
Institution
International Computer Science Institute (ICSI), Berkely Calif.
Date de publication
1995
Numéro
Tech. Rep. TR 95-002
Langue
anglais
Création de la notice
23/02/2009 14:24
Dernière modification de la notice
03/03/2018 18:18
Données d'usage