Perfiles

Arthur Choi

Kennesaw State University

Dirección de correo verificada de kennesaw.edu

Citado por 2723

Bayesian Networks Knowledge Compilation

Pierre Bourhis

Researcher, CNRS

Dirección de correo verificada de univ-lille.fr

Citado por 1391

DataBase Theroy Knowledge representation Data-centric Workflow Knowledge compilation

Chico Sundermann

PhD Student, Institute of Software Engineering and Programming Languages, University …

Dirección de correo verificada de uni-ulm.de

Citado por 462

Feature Modeling Propositional Logic #SAT Model Counting Knowledge Compilation

Rafael Kiesel

TU Wien

Dirección de correo verificada de tuwien.ac.at

Citado por 175

semirings model counting answer set programming knowledge compilation

Sibylle Möhle

Max Planck Institute for Informatics

Dirección de correo verificada de mpi-inf.mpg.de

Citado por 147

automated model building knowledge compilation partial models

Priyanka Golia

Assistant Prof., Indian Institute of Technology Delhi

Dirección de correo verificada de iitd.ac.in

Citado por 132

Boolean Function Synthesis Constraint Solving Constraint Sampling Knowledge Compilation.

James Weigle

Emory University Department of Biomedical Informatics; Georgia Tech

Dirección de correo verificada de dbmi.emory.edu

Citado por 115

complexity theory quantum computing knowledge compilation linux

Yong Lai (赖永)

Associate Professor, Jilin University

Dirección de correo verificada de jlu.edu.cn

Citado por 98

knowledge compilation model counting neural symbolic computing

Alexis de Colnet

Postdoc researcher TU Wien

Dirección de correo verificada de ac.tuwien.ac.at

Citado por 62

Knowledge compilation

Vincent Derkinderen

Postdoctoral researcher, DTAI, KU Leuven

Dirección de correo verificada de kuleuven.be

Citado por 61

Probabilitic Inference Knowledge Compilation Model counting NeuroSymbolic AI

1 - 10