Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SNARK_(theorem_prover)> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- SNARK_(theorem_prover) abstract "SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering, developed at SRI International.SNARK's principal inference mechanisms are resolution and paramodulation; in addition it offers specialized decision procedures for particular domains, e.g., a constraint solver for Allen's temporal interval logic. In contrast to many other theorem provers is fully automated (non-interactive). SNARK offers many strategic controls for adjusting its search behavior and thus tune its performance to particular applications. This, together with its use of multi-sorted logic and facilities for integrating special-purpose reasoning procedures with general-purpose inference make it particularly suited as reasoner for large sets of assertions.SNARK is used as reasoning component in the NASA Intelligent Systems Project. It is written in Common Lisp and available under the Mozilla Public License.".
- SNARK_(theorem_prover) wikiPageExternalLink DedCmp02b.pdf.
- SNARK_(theorem_prover) wikiPageExternalLink 986.pdf.
- SNARK_(theorem_prover) wikiPageExternalLink tutorial.html.
- SNARK_(theorem_prover) wikiPageExternalLink snark.html.
- SNARK_(theorem_prover) wikiPageID "11617810".
- SNARK_(theorem_prover) wikiPageLength "2764".
- SNARK_(theorem_prover) wikiPageOutDegree "23".
- SNARK_(theorem_prover) wikiPageRevisionID "559786741".
- SNARK_(theorem_prover) wikiPageWikiLink Artificial_intelligence.
- SNARK_(theorem_prover) wikiPageWikiLink Association_for_the_Advancement_of_Artificial_Intelligence.
- SNARK_(theorem_prover) wikiPageWikiLink Automated_reasoning.
- SNARK_(theorem_prover) wikiPageWikiLink Automated_theorem_prover.
- SNARK_(theorem_prover) wikiPageWikiLink Automated_theorem_proving.
- SNARK_(theorem_prover) wikiPageWikiLink Category:Common_Lisp_software.
- SNARK_(theorem_prover) wikiPageWikiLink Category:Free_theorem_provers.
- SNARK_(theorem_prover) wikiPageWikiLink Category:SRI_International_software.
- SNARK_(theorem_prover) wikiPageWikiLink Common_Lisp.
- SNARK_(theorem_prover) wikiPageWikiLink Computer-aided_proof.
- SNARK_(theorem_prover) wikiPageWikiLink Computer-assisted_proof.
- SNARK_(theorem_prover) wikiPageWikiLink First-order_logic.
- SNARK_(theorem_prover) wikiPageWikiLink Formal_verification.
- SNARK_(theorem_prover) wikiPageWikiLink Mozilla_Public_License.
- SNARK_(theorem_prover) wikiPageWikiLink NASA.
- SNARK_(theorem_prover) wikiPageWikiLink Paramodulation.
- SNARK_(theorem_prover) wikiPageWikiLink Resolution_(logic).
- SNARK_(theorem_prover) wikiPageWikiLink Richard_Waldinger.
- SNARK_(theorem_prover) wikiPageWikiLink SRI_International.
- SNARK_(theorem_prover) wikiPageWikiLink Software_engineering.
- SNARK_(theorem_prover) wikiPageWikiLinkText "SNARK (theorem prover)".
- SNARK_(theorem_prover) wikiPageWikiLinkText "SNARK theorem prover".
- SNARK_(theorem_prover) wikiPageWikiLinkText "SNARK".
- SNARK_(theorem_prover) hasPhotoCollection SNARK_(theorem_prover).
- SNARK_(theorem_prover) wikiPageUsesTemplate Template:Science-software-stub.
- SNARK_(theorem_prover) subject Category:Common_Lisp_software.
- SNARK_(theorem_prover) subject Category:Free_theorem_provers.
- SNARK_(theorem_prover) subject Category:SRI_International_software.
- SNARK_(theorem_prover) hypernym Prover.
- SNARK_(theorem_prover) type Software.
- SNARK_(theorem_prover) comment "SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering, developed at SRI International.SNARK's principal inference mechanisms are resolution and paramodulation; in addition it offers specialized decision procedures for particular domains, e.g., a constraint solver for Allen's temporal interval logic.".
- SNARK_(theorem_prover) label "SNARK (theorem prover)".
- SNARK_(theorem_prover) sameAs m.02rlq6b.
- SNARK_(theorem_prover) sameAs Q7391799.
- SNARK_(theorem_prover) sameAs Q7391799.
- SNARK_(theorem_prover) wasDerivedFrom SNARK_(theorem_prover)?oldid=559786741.
- SNARK_(theorem_prover) isPrimaryTopicOf SNARK_(theorem_prover).