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

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

1 2 3 ... 5 6 7 next

  1. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  2. Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena: Semantic-based construction of arguments: an answer set programming approach (2015)
  3. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  4. Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo: Tabling, rational terms, and coinduction finally together! (2014)
  5. Riguzzi, Fabrizio; Swift, Terrance: Terminating evaluation of logic programs with finite three-valued models (2014)
  6. Sato, Taisuke; Meyer, Philipp: Infinite probability computation by cyclic explanation graphs (2014)
  7. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  8. Swift, Terrance: Incremental tabling in support of knowledge representation and reasoning (2014)
  9. Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis: A framework for modular ERDF ontologies (2013)
  10. Jansen, Joachim; Jorissen, Albert; Janssens, Gerda: Compiling $\mathrminput^\ast$ FO$(\cdot)$ inductive definitions into tabled prolog rules for IDP3 (2013)
  11. Liang, Senlin; Kifer, Michael: A practical analysis of non-termination in large logic programs (2013)
  12. Maier, Frederick: Interdefinability of defeasible logic and logic programming under the well-founded semantics (2013)
  13. Riguzzi, Fabrizio; Swift, Terrance: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics (2013)
  14. Saptawijaya, Ari; Pereira, Luís Moniz: Incremental tabling for query-driven propagation of logic program updates (2013)
  15. Saptawijaya, Ari; Pereira, Luís Moniz: Program updating by incremental and answer subsumption tabling (2013)
  16. Areias, Miguel; Rocha, Ricardo: Towards multi-threaded local tabling using a common table space (2012)
  17. Gorlin, Andrey; Ramakrishnan, C.R.; Smolka, Scott A.: Model checking with probabilistic tabled logic programming (2012)
  18. Hadjichristodoulou, Spyros: A gradual polymorphic type system with subtyping for Prolog (2012)
  19. Madalińska-Bugaj, Ewa; Nguyen, Linh Anh: A generalized QSQR evaluation method for Horn knowledge bases (2012)
  20. Sáenz-Pérez, Fernando: Outer joins in a deductive database system (2012)

1 2 3 ... 5 6 7 next