
Pellet
 Referenced in 92 articles
[sw07019]
 systems where soundandcomplete 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]
 highlyefficient 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 similaritybased 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 nonparametric 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 highlevel language and interactive...

MiniSat
 Referenced in 520 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...