Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/CARINE> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- CARINE abstract "CARINE is a first-order classical logic automated theorem prover. CARINE (Computer Aided Reasoning engINE) is a resolution based theorem prover initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm [Haroun 2005]. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID) [Korf 1985]) and used in theorem provers like THEO [Newborn 2001]. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.".
- CARINE wikiPageExternalLink citation.cfm?id=1292723&coll=GUIDE&dl=GUIDE&CFID=21911086&CFTOKEN=99864762.
- CARINE wikiPageExternalLink www.atpcarine.com.
- CARINE wikiPageExternalLink eprover.html.
- CARINE wikiPageID "1258255".
- CARINE wikiPageLength "6927".
- CARINE wikiPageOutDegree "5".
- CARINE wikiPageRevisionID "648399886".
- CARINE wikiPageWikiLink Automated_theorem_proving.
- CARINE wikiPageWikiLink Category:Theorem_proving_software_systems.
- CARINE wikiPageWikiLink Classical_logic.
- CARINE wikiPageWikiLink E_theorem_prover.
- CARINE wikiPageWikiLink First-order_logic.
- CARINE wikiPageWikiLinkText "CARINE".
- CARINE subject Category:Theorem_proving_software_systems.
- CARINE hypernym Logic.
- CARINE type Algorithm.
- CARINE type Method.
- CARINE type Proof.
- CARINE type Redirect.
- CARINE type Tool.
- CARINE comment "CARINE is a first-order classical logic automated theorem prover. CARINE (Computer Aided Reasoning engINE) is a resolution based theorem prover initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm [Haroun 2005].".
- CARINE label "CARINE".
- CARINE sameAs Q5008821.
- CARINE sameAs m.04mv6d.
- CARINE sameAs Q5008821.
- CARINE wasDerivedFrom CARINE?oldid=648399886.
- CARINE isPrimaryTopicOf CARINE.