Yazar

Frank Van Harmelen

17 cilt bulundu.

Cilt sonuçları

A Semantic Web Primer, third edition

Grigoris Antoniou, Paul Groth, Frank Van Harmelen, Rinke Hoekstra · MIT Press

287 sayfa · 2025-05-27

Computers

Logic-based Knowledge Representation

Peter Jackson, Han Reichgelt, Frank Van Harmelen · Mit Press

255 sayfa · 1989

Computers

Meta-level Inference Systems

Frank Van Harmelen · Morgan Kaufmann

180 sayfa · 1991

Computers

Information Sharing on the Semantic Web

Heiner Stuckenschmidt, Frank van Harmelen · Springer Science & Business Media

278 sayfa · 2005-11-21

Computers

Computer programsA Semantic Web Primer by Grigoris Antoniou and Frank Van HarmelenGrigoris Antoniou

A Semantic Web Primer by Grigoris Antoniou and Frank Van Harmelen

Grigoris Antoniou · Yayınevi bilinmiyor

238 sayfa · 2004

Computer programs

ComputersManual de web semánticaGrigoris Antoniou, Frank Van Harmelen

Manual de web semántica

Grigoris Antoniou, Frank Van Harmelen · Yayınevi bilinmiyor

301 sayfa · 2010

Computers

CiltA Comparison of Languages which Operationalise and Formalise KADS Models of ExpertiseDieter Fensel, Frank van Harmelen

A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise

Dieter Fensel, Frank van Harmelen · Yayınevi bilinmiyor

51 sayfa · 1993

Kategori yok

CiltRanking Query Results from Linked Open Data Using a Simple Cognitive HeuristicArjon Buikstra, Hansjörg Neth, Lael Schooler, Annette ten Teije, Frank van Harmelen

Ranking Query Results from Linked Open Data Using a Simple Cognitive Heuristic

Arjon Buikstra, Hansjörg Neth, Lael Schooler, Annette ten Teije, Frank van Harmelen · Yayınevi bilinmiyor

Sayfa sayısı yok · 2014

Kategori yok

CiltOn the Implementation of an Editor for the B Programming LanguageFrank A. H. van Harmelen

On the Implementation of an Editor for the B Programming Language

Frank A. H. van Harmelen · Yayınevi bilinmiyor

18 sayfa · 1983

Kategori yok

CiltSEMANTIC WEB PRIMER.FRANK VAN. HARMELEN

SEMANTIC WEB PRIMER.

FRANK VAN. HARMELEN · Yayınevi bilinmiyor

Sayfa sayısı yok · 2016

Kategori yok

Automatic theorem provingExtensions to the Rippling-out Tactic for Guiding Inductive ProofsAlan Bundy, Frank Van Harmelen, Alan Smaill

Extensions to the Rippling-out Tactic for Guiding Inductive Proofs

Alan Bundy, Frank Van Harmelen, Alan Smaill · Yayınevi bilinmiyor

17 sayfa · 1990

Automatic theorem proving

Edinburgh LCF (Computer system)The CLAM Proof PlannerFrank Van Harmelen

The CLAM Proof Planner

Frank Van Harmelen · Yayınevi bilinmiyor

71 sayfa · 1989

Edinburgh LCF (Computer system)

CiltExplanation-based GeneralizationFrank van Harmelen, Alan Bundy, University of Edinburgh. Department of Artificial Intelligence

Explanation-based Generalization

Frank van Harmelen, Alan Bundy, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor

9 sayfa · 1987

Kategori yok

Artificial intelligenceCriteria for Choosing Representation Languages and Control Regimes for Expert SystemsHan Reichgelt, Frank Van Harmelen

Criteria for Choosing Representation Languages and Control Regimes for Expert Systems

Han Reichgelt, Frank Van Harmelen · Yayınevi bilinmiyor

26 sayfa · 1986

Artificial intelligence

Computer softwareRelevant Criteria for Choosing an Inference Engine in Expert SystemsHan Reichgelt, Frank Van Harmelen

Relevant Criteria for Choosing an Inference Engine in Expert Systems

Han Reichgelt, Frank Van Harmelen · Yayınevi bilinmiyor

10 sayfa · 1985

Computer software

Induction (Logic)Experiments with Proof Plans for InductionAlan Bundy, University of Edinburgh. Department of Artificial Intelligence, Frank van Harmelen, Jane Hesketh, Alan Smaill

Experiments with Proof Plans for Induction

Alan Bundy, University of Edinburgh. Department of Artificial Intelligence, Frank van Harmelen, Jane Hesketh, Alan Smaill · Yayınevi bilinmiyor

19 sayfa · 1988

Induction (Logic)

CiltThe Relation Between Ontologies and XML SchemasMichel Klein, Dieter Fensel, Frank van Harmelen, Ian Horrocks

The Relation Between Ontologies and XML Schemas

Michel Klein, Dieter Fensel, Frank van Harmelen, Ian Horrocks · Yayınevi bilinmiyor

Sayfa sayısı yok · 2001

Kategori yok