_W63-ANTS Omega-ANTS [Elektronische Ressource] : a blackboard architecture for the integration of reasoning techniques into proof planning / Volker Sorge

en,Saarlandes-h-TAntszurAhaften2001FkboarddesArcderhitectureNaturwissenscforhnisctheInUnivtegrationdesofErlangungReasoningGradesTDoktorsecIngenieurwissenschniqueskinhaftlictoecProucofPlanningSaarbrVderDezemersiteratSorgeDissertationdesderhenberIatakultolkBlacSaarlandes,DekDr.anatProf.KolloDr.Siekmann,RainerGutacScersithersitulze-Pillot-Ziemen,kUniversitersitSaarlandesucatCalmet,desatS23.11.2001,aarlandesatVorsitzenderorgProf.UnivDr.ReinharddesWilhelm,2.UnivhersitProf.JaquesatUnivdesSaarlandesKarlsruhe1.quiumGutacUnivhendesProf.SaarbrDr.Jterter.Con.ten.ts.Abstract12vi.Kurzzusammenfassung.vii.AcLighkno.wledgmen.ts1324.Summary..2.2.1ZusammenfassungDenitionsxii.P.artmegaI.Preliminaries.1.1.In.tro.duction.3.1.1Mac.hine-orien.ted.R.easoning23.......tro.mega.................................Constructing..4.1.2.Human-orienaseted.Reasoning..........Theorems.............An.to.2.1.Logic...............2.1.15.1.3.In.tegration.of.Reasoning.T.ec.hniquesSeman...............2.1.3...............18.ofs..5.1.3.1.In.tegration.o.fwledgeDeduction.Systems..........23.............Axioms......