References in zbMATH (referenced in 144 articles , 1 standard article )

Showing results 1 to 20 of 144.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Azzolini, Damiano; Bellodi, Elena; Ferilli, Stefano; Riguzzi, Fabrizio; Zese, Riccardo: Abduction with probabilistic logic programming under the distribution semantics (2022)
  2. Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
  3. Nguembang Fadja, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina: Learning hierarchical probabilistic logic programs (2021)
  4. Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal: Justifications for goal-directed constraint answer set programming (2020)
  5. Dewoprabowo, Ridhwan; Saptawijaya, Ari: Tabling optimization for contextual abduction (2020)
  6. Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: Managing caching strategies for stream reasoning with reinforcement learning (2020)
  7. Arias, Joaquín; Carro, Manuel: Description, implementation, and evaluation of a generic design for tabled CLP (2019)
  8. Constantini, Stefania: About epistemic negation and world views in epistemic logic programs (2019)
  9. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  10. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on BigData (2018)
  11. Warren, David S.: Top-down and bottom-up evaluation procedurally integrated (2018)
  12. Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo: Causal inference in cplint (2017)
  13. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  14. Unel, Gulay; Toman, David: Logic programming approach to automata-based decision procedures (2017)
  15. Costantini, Stefania; Formisano, Andrea: Query answering in resource-based answer set semantics (2016)
  16. Drabent, Włodzimierz: Correctness and completeness of logic programs (2016)
  17. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  18. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  19. Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 (2015)
  20. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)

1 2 3 ... 6 7 8 next