Scholar

Ratan Bahadur Thapa

Google Scholar ID: 0WxYIesAAAAJ

Postdoc at the Institute for Artificial Intelligence, University of Stuttgart

Formal MethodsSW Technology

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

70

H-index

4

i10-index

4

Publications

13

Co-authors

6

list available

Contact

No contact links provided.

Publications

10 items

Causal Explanations for Stratified Datalog

2026

Cited

0

Causality and Minimal Supports in Recursive Datalog

2026

Cited

0

Identifiability of Relational Queries in Multi-View Pretraining

2026

Cited

0

On the Semantics of Generative SPARQL

2026

Cited

0

Compositional Boundaries for Density Fusion

2026

Cited

0

KAPPS: A knowledge-based CPPS Architecture for the Circular Factory

2026

Cited

0

Leveraging Graph Structure in Seq2Seq Models for Knowledge Graph Link Prediction

2026

Cited

0

ProbSPARQL: Querying Knowledge Graphs with Multi-dimensional, Uncertain Numeric Data

2026

Cited

0

Resume (English only)

Co-authors

6 total

Prof., Dept. of Informatics, University of Oslo

Laboratoire de recherche de l'EPITA (LRE)

University of Sheffield

Christian Johansen

Professor at NTNU - Norwegian University of Science and Technology