„Probabilistic Logic Programming“

Suchergebnisse

1.000+ Treffer

• Elements for Weighted Answer-Set Programming
  Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; Abreu, Salvador 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
  De Raedt, Luc ; Evans, Richard ; Muggleton, Stephen H. ; Schmid, Ute
• Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
  Besold, Tarek R. ; Garcez, Artur d’Avila ; Stenning, Keith ; Torre, Leendert van der ; Lambalgen, Michiel ˜vanœ
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
  Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
• Inductive Logic Programming – 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
  Frasconi, Paolo ; Lisi, Francesca A. 2011 Springer Berlin Heidelberg
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Computational Logic in Multi-Agent Systems – 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
  Dix, Jürgen ; Fisher, Michael ; Novák, Peter 2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Correction to: Modeling PU learning using probabilistic logic programming
  Verreet, Victor ; Raedt, Luc De ; Bekker, Jessa
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
  Schmid, Ute ; Muggleton, Stephen H. ; Singh, Rishabh
• The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
  Ehrhard, Thomas ; Faggian, Claudia ; Pagani, Michele 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Coalgebraic Perspective on Probabilistic Logic Programming
  Gu, Tao ; Zanasi, Fabio 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coinduction in Flow: The Later Modality in Fibrations
  Basold, Henning 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomially Ambiguous Probabilistic Automata on Restricted Languages (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Bell, Paul C. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abductive Inference in Probabilistic Logic Programs
  Simari, Gerardo ; Subrahmanian, V.S. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
  Riguzzi, Fabrizio ; Swift, Terrance 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dedicated Tabling for a Probabilistic Setting
  Mantadelis, Theofrastos ; Janssens, Gerda 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik