Topics › Physical Sciences › Computer Science › Artificial Intelligence
Logic, Reasoning, and Knowledge Sign in to save
58
Aachen papers (primary topic)
183
Further papers (secondary topic)
99
Citations
34
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 58
Open in paper search →-
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, Reasoning, and Knowledge Open access
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆
1citations
Most active Aachen authors
-
Gerhard Lakemeyer 5,416 citations overall16 papers
-
Erich Grädel 7,146 citations overall11 papers
-
Martin Grohe 12,906 citations overall6 papers
-
Daxin Liu 470 citations overall6 papers
-
Richard Wilke 24 citations overall5 papers
-
Christoph Standke 14 citations overall4 papers
-
Till Hofmann 94 citations overall3 papers
-
Matthias Naaf 87 citations overall3 papers
-
Qihui Feng 0 citations overall3 papers
-
Joost-Pieter Katoen 20,330 citations overall2 papers
-
Raphaël Berthon 111 citations overall2 papers
-
Katrin M. Dannert 35 citations overall2 papers
-
Hayyan Helal 27 citations overall2 papers
-
Alexis de Colnet 0 citations overall2 papers
-
Catholijn M. Jonker 12,395 citations overall1 paper