Aceasta este aplicația Windows numită Cpt Kirk a cărei ultimă versiune poate fi descărcată ca kirk.jar. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Cpt Kirk cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți orice emulator online OS OnWorks de pe acest site, dar mai bun emulator online Windows.
- 5. Din sistemul de operare Windows OnWorks pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația și instalați-o.
- 7. Descărcați Wine din depozitele de software ale distribuțiilor Linux. Odată instalat, puteți apoi să faceți dublu clic pe aplicație pentru a le rula cu Wine. De asemenea, puteți încerca PlayOnLinux, o interfață elegantă peste Wine, care vă va ajuta să instalați programe și jocuri populare Windows.
Wine este o modalitate de a rula software-ul Windows pe Linux, dar fără a fi necesar Windows. Wine este un strat de compatibilitate Windows open-source care poate rula programe Windows direct pe orice desktop Linux. În esență, Wine încearcă să reimplementeze suficient Windows de la zero, astfel încât să poată rula toate acele aplicații Windows fără a avea nevoie efectiv de Windows.
Cpt Kirk
Ad
DESCRIERE
Întrucât metoda propusă în https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub
se bazează pe meta-programare, este posibil să se utilizeze sisteme software existente de ultimă generație
care suportă o semantică bine fundamentată și setată de răspunsuri, ceea ce ne-a permis să începem dezvoltarea acestui nou instrument prin extinderea celui care există legat de o abordare de depanare: Spock, de unde și numele Cpt. Biserică.
Mai mult și mai important, o direcție de explorat este utilizarea tehnică de reificare așa cum este descrisă în „metaASP” pentru a obține implicanții printr-o tehnică de saturare și obținerea implicanților primari ai formulelor de proveniență prin optimizare și, prin urmare, justificări minime adecvate.
DESCRIERE
- Calculați modele de proveniență pentru programele Answer Set.
- Hartă modele WnP cu modele de depanare (spock).
Public
Știință/Cercetare
Limbaj de programare
Java
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/cptkirk/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
