1.1k citations
- Menlo SchoolUS21 papers
- Stanford UniversityUS9 papers
- University of California, BerkeleyUS9 papers
- University of PennsylvaniaUS7 papers
- Michigan State UniversityUS6 papers
- Space Telescope Science InstituteUS6 papers
- University College LondonGB6 papers
- University of California San DiegoUS6 papers
- University of Illinois Urbana-ChampaignUS6 papers
- Oak Ridge National LaboratoryUS5 papers
- Purdue University West LafayetteUS5 papers
- Brown UniversityUS4 papers
16 papers · 1 filter
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel +1
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biolog…
Effects of thermal treatment on radiative properties of HVPE grown InP layers
Serge Luryi, Oleg Semyonov, Arsen Subashiev +5
Radiative efficiency of highly luminescent bulk InP wafers severely degrades upon heat treatment involved in epitaxial growth of quaternary layers and fabrication of photodiodes on…
Synthesis for Polynomial Lasso Programs
Jan Leike, Ashish Tiwari
We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebr…
Automorphism Groups of Graphical Models and Lifted Variational Inference
Hung Bui, Tuyen Huynh, Sebastian Riedel
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of sym…
Renormalization of Einstein gravity through a derivative-dependent field redefinition
Brian Slovick
This work explores an alternative solution to the problem of renormalizability in Einstein gravity. In the proposed approach, Einstein gravity is transformed into the renormalizabl…
Approximate Deduction in Single Evidential Bodies
Enrique H. Ruspini
Results on approximate deduction in the context of the calculus of evidence of Dempster-Shafer and the theory of interval probabilities are reported. Approximate conditional knowle…