A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
Details
Serval ID
serval:BIB_732A3BA85F45
Type
Report: a report published by a school or other institution, usually numbered within a series.
Publication sub-type
Working paper: Working papers contain results presented by the author. Working papers aim to stimulate discussions between scientists with interested parties, they can also be the basis to publish articles in specialized journals
Collection
Publications
Institution
Title
A Tower Architecture for Meta-Level Inference Systems Based on Omega-Ordered Horn Theories
Institution details
International Computer Science Institute (ICSI), Berkely Calif.
Issued date
1995
Number
Tech. Rep. TR 95-002
Language
english
Create date
23/02/2009 13:24
Last modification date
20/08/2019 14:31
Usage data
