BeiträgeUnsere Empfehlungen imNeu in unserem Katalog Veröffentlicht am Donnerstag, 11. Oktober 2012 17:33 Extensional Paramodulationfor Higher-Order Logicand its EffectiveImplementation Leo-III Explaining Data PatternsusingKnowledge fromthe Web of Data Application ofSemanticTechnology inBiodiversityScience Efficient SourceSelection andBenchmarkingBenchmarking forSPARQL From Logic Programming to Human Reasoning Self-OrganizingMultiagentNegotiations
