L’articolo è stato aggiunto alla lista dei desideri
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Promo attive (0)
Nel volume si presentano le metodologie per la rappresentazione del diritto nei linguaggi di programmazione, sia i linguaggi procedurali che i linguaggi dichiarativi. La maggior parte dell’opera è dedicata ai linguaggi dichiarativi, e in particolare ai linguaggi di programmazione logica, che consentono formalizzazioni della conoscenza giuridica chiare ed intuitive, oltre che logicamente rigorose…La rappresentazione informatica della conoscenza giuridica è un’arte per la quale ancora oggi sono disponibili poche ricette generali, a causa della molteplicità dei problemi da affrontare, della specificità dei contesti da formalizzare, e soprattutto dell’enorme distanza tra linguaggio giuridico (che, benché tecnicizzato, è immerso nel linguaggio naturale), e i linguaggi di programmazione (che sono linguaggi formali). Pertanto un ampio spazio è dedicato agli esempi tratti da diversi settori del diritto.
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore