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

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

1 2 3 ... 5 6 7 next

  1. Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: Managing caching strategies for stream reasoning with reinforcement learning (2020)
  2. Constantini, Stefania: About epistemic negation and world views in epistemic logic programs (2019)
  3. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  4. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on BigData (2018)
  5. Warren, David S.: Top-down and bottom-up evaluation procedurally integrated (2018)
  6. Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo: Causal inference in cplint (2017)
  7. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  8. Unel, Gulay; Toman, David: Logic programming approach to automata-based decision procedures (2017)
  9. Costantini, Stefania; Formisano, Andrea: Query answering in resource-based answer set semantics (2016)
  10. Drabent, Włodzimierz: Correctness and completeness of logic programs (2016)
  11. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  12. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  13. 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)
  14. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)
  15. Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena: Semantic-based construction of arguments: an answer set programming approach (2015)
  16. Stulova, Nataliia; Morales, José F.; Hermenegildo, Manuel V.: Practical run-time checking via unobtrusive property caching (2015)
  17. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  18. Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo: Tabling, rational terms, and coinduction finally together! (2014)
  19. Riguzzi, Fabrizio; Swift, Terrance: Terminating evaluation of logic programs with finite three-valued models (2014)
  20. Sato, Taisuke; Meyer, Philipp: Infinite probability computation by cyclic explanation graphs (2014)

1 2 3 ... 5 6 7 next