Philipp Hanschke

Statistics

Publications

Citations

412

H-Index

Active since

1991

Affiliations

German Research Centre for Artificial Intelligence(Current)

Philipp Hanschke is an author at German Research Centre for Artificial Intelligence specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLanguageSemanticsLinguisticsFormal VerificationSyntaxSemantic Web

Publications per year

1991–1993

Publications

A scheme for integrating concrete domains into concept languages

Franz Baader, Philipp Hanschke · Publications of the UdS (Saarland University) · 1991 · 316 citations · Full text

Engineering, Semantic Web, Semantics +19

Terminological reasoning with constraint handling rules

Philipp Hanschke, Thom Frühwirth · Publications of the UdS (Saarland University) · 1993 · 34 citations · Full text

Satisfiability of the smallest binary program

Philipp Hanschke, Jörg Würtz · Information Processing Letters · 1993 · 25 citations · Full text

Engineering, Automated Reasoning, Sat Solving +8

Specifying role interaction in concept languages

Philipp Hanschke · Publications of the UdS (Saarland University) · 1992 · 23 citations · Full text

Concept Formation, Semantic Role Labeling, Engineering +19

A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning

Philipp Hanschke · Publications of the UdS (Saarland University) · 1993 · 14 citations · Full text

1–5 of 5