• Pellet

  • Referenced in 96 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 145 articles [sw04599]
  • reasonable environment for live proof document editing. Thus proof texts may be developed incrementally...
  • InKreSAT

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

  • Referenced in 5 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...
  • 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...
  • plasp

  • Referenced in 10 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...
  • 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...
  • 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...
  • VOROPACK-D

  • Referenced in 3 articles [sw40483]
  • VOROPACK-D, takes advantage of the spatial reasoning property of Voronoi diagram and finds ... time with O(n) memory by making incremental placement of n disks in the order...
  • SALT

  • Referenced in 7 articles [sw36120]
  • problem-solving strategy. The SALT-assumed method incrementally constructs an initial design by proposing values ... task and explain its line of reasoning, and in analyzing test case coverage. The strong...
  • 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...
  • IMLI

  • Referenced in 2 articles [sw41233]
  • IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. The wide adoption ... need for end users to understand the reasoning behind decisions due to learning systems ... question in affirmation. We propose IMLI: an incremental approach to MaxSAT based framework that achieves...
  • 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 2 articles [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 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3221 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 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

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

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