Questa è l'app per Windows denominata Cpt Kirk, eseguibile online su Windows tramite Linux. L'ultima versione può essere scaricata come kirk.jar. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Cpt Kirk per eseguirla su Windows online o su Linux online con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
Il capitano Kirk funzionerà online su Windows anziché su Linux
Ad
DESCRIZIONE
Poiché il metodo proposto in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubsi basa sulla meta-programmazione, è possibile utilizzare i sistemi software all'avanguardia esistenti
che supportano una semantica ben fondata e basata su un insieme di risposte, che ci ha permesso di iniziare a sviluppare questo nuovo strumento estendendo quello esistente correlato a un approccio di debug: Spock, da cui il nome Cpt. Kirk.
Inoltre, e cosa più importante, una direzione da esplorare è quella di utilizzare la tecnica di reificazione come descritto in "metaASP" per ottenere gli implicanti tramite una tecnica di saturazione e ottenere gli implicanti principali delle formule di provenienza tramite ottimizzazione e quindi opportune giustificazioni minime.
Caratteristiche
- Calcola i modelli di provenienza "perché no" per i programmi Answer Set.
- Mappare i modelli WnP con i modelli di debug (spock).
Pubblico
Scienza / Ricerca
Linguaggio di programmazione
Java
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/cptkirk/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
