• Pellet

  • Referenced in 92 articles [sw07019]
  • systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support ... nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture...
  • Isar

  • Referenced in 138 articles [sw04599]
  • reasonable environment for live proof document editing. Thus proof texts may be developed incrementally...
  • InKreSAT

  • Referenced in 5 articles [sw23448]
  • InKreSAT: modal reasoning via incremental reduction to SAT. InKreSAT is a prover for the modal...
  • IncMaxCLQ

  • Referenced in 1 article [sw21468]
  • MaxCLQ for MaxClique. Combining Incremental Upper Bound and MaxSAT reasoning for MaxClique. MaxSAT reasoning ... hardness of the MaxSAT problem, MaxSAT reasoning generally cannot be complete at a node ... thus propose an incremental upper bound and combine it with MaxSAT reasoning to remedy...
  • RDFox

  • Referenced in 2 articles [sw33097]
  • highly-efficient parallel reasoning algorithms for the computation and incremental update of datalog materialisations with ... indexing data structures and our novel reasoning algorithms. In addition, we evaluate RDFox...
  • MBT

  • Referenced in 6 articles [sw08004]
  • supervised learning based on similarity-based reasoning. The part of speech tag of a word ... tagged corpus size sufficient for training, (ii) incremental learning, (iii) explanation capabilities, (iv) flexible integration ... representations, (v) its non-parametric nature, (vi) reasonably good results on unknown words without morphological...
  • plasp

  • Referenced in 7 articles [sw07080]
  • Third, we can harness ASP solvers providing incremental solving mechanisms. Finally, the ASP community gains ... community benefits from the knowledge representation and reasoning capacities...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • strategies, we propose a novel approach for incremental model checking of product lines. Therefore, variability ... DeltaCCS specifications allow for a rigorous local reasoning on the preservation of behavioral properties after...
  • Propositional Resolution

  • Referenced in 1 article [sw28841]
  • artificial intelligence and verification (for abductive reasoning, knowledge compilation, diagnosis, debugging etc.). We also show ... that implicates can be computed in an incremental way, by fixing an ordering among...
  • PyMiniSolvers

  • Referenced in 1 article [sw25462]
  • libraries, reducing overhead and allowing for efficient incremental solving. Its interfaces closely match the interfaces ... interface is provided for each tool, simplifying reasoning about subsets of a constraint...
  • ILPME

  • Referenced in 1 article [sw27486]
  • paper for the details: https://arxiv.org/pdf/1802.07966.pdf. Incremental and iterative learning of answer set programs ... impacted the usability of knowledge representation and reasoning techniques in the development of AI systems...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • LEDA

  • Referenced in 258 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 234 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...