Encyklopedia w Markpol

Reklama:

CASC (CADE ATP System Competition, gdzie ATP to Automated Theorem Proving) to najważniejsze zawody systemów automatycznego dowodzenia twierdzeń, organizowane w ramach konferencji CADE. Programy dostają do rozwiązanie 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ń

    Chcesz wypromować swoją stronę w internecie?? - nie zwlekaj pozycjonowanie w Luman.biz to rozsądny wybór
    2005 Encyklopedia
    These materials are based onWikipedia and licensed under the GNU FDL
    Credit Card|Lincoln ls parts|Virtual Private Server|Credit Reports|Bucay

    		•