Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Angelika Kimmig

Angelika Kimmig

Cardiff University

Efficient Knowledge Compilation Beyond Weighted Model Counting


May 16, 2022
Rafael Kiesel, Pietro Totis, Angelika Kimmig

Add code

* Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Using DeepProbLog to perform Complex Event Processing on an Audio Stream


Oct 15, 2021
Marc Roig Vilamala, Tianwei Xing, Harrison Taylor, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

Add code

* 8 pages, 3 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation


Oct 07, 2021
Pietro Totis, Angelika Kimmig, Luc De Raedt

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Handling Epistemic and Aleatory Uncertainties in Probabilistic Circuits


Feb 22, 2021
Federico Cerutti, Lance M. Kaplan, Angelika Kimmig, Murat Sensoy

Add code

* Under submission to MACH 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Proceedings 36th International Conference on Logic Programming (Technical Communications)


Sep 19, 2020
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

Add code

* EPTCS 325, 2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Hybrid Neuro-Symbolic Approach for Complex Event Processing


Sep 18, 2020
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

Add code

* Accepted as extended abstract at ICLP2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Hybrid Neuro-Symbolic Approach for Complex EventProcessing


Sep 07, 2020
Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimmig, Federico Cerutti

Add code

* Accepted as extended abstract at ICLP2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

The current state of automated argumentation theory: a literature review


Mar 30, 2020
Sam Vente, Angelika Kimmig, Alun Preece, Federico Cerutti

Add code

* pre-print 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Increasing negotiation performance at the edge of the network


Mar 30, 2020
Sam Vente, Angelika Kimmig, Alun Preece, Federico Cerutti

Add code

* Accepted for presentation at The 7th International Conference on Agreement Technologies (AT 2020) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)


Nov 18, 2019
Efthymia Tsamoura, Victor Gutierrez-Basulto, Angelika Kimmig

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>