dbo:abstract
|
- The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning. It has inspired similar competition in related fields, in particular the successful SMT-COMP competition for Satisfiability Modulo Theories, the SAT Competition for propositional reasoners, and the modal logic reasoning competition. The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996. Among the systems competing were Otter and . (en)
- CADE ATP System Competition (CASC, gdzie ATP to automated theorem proving) – zawody systemów automatycznego dowodzenia twierdzeń, organizowane w ramach konferencji CADE. Programy dostają do rozwiązania problemy z biblioteki TPTP, przy czym wygrywa program który rozwiąże ich najwięcej w najkrótszym czasie. Zawody odbywają się w kilkunastu kategoriach, różniących się rodzajami problemów, zależnie od takich kwestii jak:
* tylko klauzule Horna lub dowolne klauzule
* tylko równość, bez równości, i problemy mieszane
* problem w ogólnej postaci rachunku predykatów pierwszego rzędu lub w koniunkcyjnej postaci normalnej (CNF)
* specjalna kategoria dla rachunku zdań (pl)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4241 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated Reasoning. It has inspired similar competition in related fields, in particular the successful SMT-COMP competition for Satisfiability Modulo Theories, the SAT Competition for propositional reasoners, and the modal logic reasoning competition. (en)
- CADE ATP System Competition (CASC, gdzie ATP to automated theorem proving) – zawody systemów automatycznego dowodzenia twierdzeń, organizowane w ramach konferencji CADE. Programy dostają do rozwiązania problemy z biblioteki TPTP, przy czym wygrywa program który rozwiąże ich najwięcej w najkrótszym czasie. Zawody odbywają się w kilkunastu kategoriach, różniących się rodzajami problemów, zależnie od takich kwestii jak: (pl)
|
rdfs:label
|
- CADE ATP System Competition (en)
- CADE ATP System Competition (pl)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:award
of | |
is dbo:knownFor
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:knownFor
of | |
is foaf:primaryTopic
of | |