Informatica - Logica nell'informatica

Uno sguardo su come la realizzabilità collega matematica, logica e calcolo.

Uno sguardo a come i nostri cervelli prevedono e agiscono nel mondo.

Questo articolo esplora i sistemi auto-adattivi nei veicoli robotici sottomarini.

Esplorare l'impatto della semantica monusa sui sistemi di somma vettoriale con stati.

Un nuovo metodo per condividere dimostrazioni formali tra diversi assistenti alla dimostrazione.

Uno sguardo a come VeriFast migliora la verifica dei programmi C usando sistemi formali.

Uno sguardo alla sintesi best-effort per agenti che affrontano l'incertezza.

Un sistema per gestire il comportamento delle macchine intelligenti tramite regole e penalità.

Quest'articolo presenta un approccio innovativo per migliorare il riconoscimento dei segnali stradali.

Uno sguardo chiaro ai processi, alla concorrenza e alla loro importanza nell'informatica.

Combinare il machine learning con il ragionamento per migliorare le capacità decisionali in ambienti dinamici.

Capire l'interpretabilità nell'IA attraverso la programmazione a risposta migliora i processi decisionali.

Uno studio su come unire deep learning e ragionamento simbolico per avere modelli di AI migliori.

Migliorare la comprensione dei conducenti per una guida semi-autonoma più sicura.

Questo sistema integra Python e Prolog per una funzionalità senza problemi.

Semplificare la produzione di aerei tramite co-design e metodi di modellazione avanzati.

Strategie per mantenere la coerenza nei programmi di insiemi di risposte tramite risoluzione dei conflitti.

Nuovi metodi migliorano l'efficienza nella risoluzione dei problemi di Answer Set Programming.

Questo documento valuta le capacità di ragionamento logico del modello CLIP di OpenAI.

L'IA può imparare in modo efficiente da un singolo esempio, migliorando la classificazione del testo.

Esplorare come l'IA possa ragionare su diverse scelte e risultati.

Un metodo per migliorare la programmazione analizzando i predicati e i loro argomenti.

Questo articolo esamina i benchmark per valutare le lingue che integrano regole logiche.

Uno sguardo a come l'ABA Learning modella la creazione di argomenti nell'intelligenza artificiale.

Una guida semplice alle approssimazioni sfocate e ruvide e alle loro applicazioni.

Uno sguardo al model-checking per la verifica dei programmi in mezzo a comportamenti complessi.

Uno sguardo all'importanza e alle applicazioni degli inversi di Moore-Penrose.

Una panoramica dei sottoreti quantistiche e della loro rilevanza nella meccanica quantistica e nella matematica.

Indagando la soddisfacibilità nella Logica Temporale Proposizionale con più variabili.

Questo paper esplora l'impatto della logica multiruolo sulle operazioni logiche e sui sistemi di comunicazione.

Impara metodi per creare scenari peggiori per programmi concorrenti.

Uno sguardo alle valutazioni e al loro ruolo nella gestione degli effetti computazionali nei monadi.

Un nuovo approccio semplifica la verifica dei programmi concorrenti su diversi modelli di memoria.

Un approccio fresco per capire le interazioni tra agenti e la conoscenza nei sistemi.

Questo articolo esplora come misurare eventi nei processi stocastici usando la Logica Temporale Metrica.

Esplora il rapporto tra logiche modali minime e costruttive nel ragionamento.

Uno sguardo a come le relazioni semplificano l'organizzazione dei dati e migliorano l'analisi.

Un nuovo approccio per selezionare risolutori nell'ottimizzazione pseudo-booleana.

Grove offre un metodo per garantire l'affidabilità nei sistemi distribuiti.

Uno sguardo a come le potenze simmetriche collegano vari campi scientifici.