top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Declarative Logic Programming : Theory, Systems, and Applications
Declarative Logic Programming : Theory, Systems, and Applications
Autore Kifer Michael
Pubbl/distr/stampa San Rafael : , : Morgan & Claypool Publishers, , 2018
Descrizione fisica 1 online resource
Altri autori (Persone) LiuYanhong Annie
Collana ACM books
Soggetto topico Logic programming
Declarative programming
ISBN 1-970001-96-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910861040603321
Kifer Michael  
San Rafael : , : Morgan & Claypool Publishers, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical Aspects of Declarative Languages [[electronic resource] ] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / / edited by Ekaterina Komendantskaya, Yanhong Annie Liu
Practical Aspects of Declarative Languages [[electronic resource] ] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / / edited by Ekaterina Komendantskaya, Yanhong Annie Liu
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XXVI, 223 p. 387 illus., 195 illus. in color.)
Disciplina 005.131
Collana Programming and Software Engineering
Soggetto topico Programming languages (Electronic computers)
Artificial intelligence
Computers
Computer programming
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Theory of Computation
Programming Techniques
ISBN 3-030-39197-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logical Engines and Applications -- Interactive Text Graph Mining with a Prolog-based Dialog Engine -- Flexible graph matching and graph edit distance using answer set programming -- On Repairing Web Services Workflows -- Answer Set Programming Systems -- AQuA: ASP-based Visual Question Answering -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML -- RTMLton: An SML runtime for real-time systems -- A Timed IO monad -- Reasoning and Efficient Implementation -- Exploiting Database Systems and Treewidth for Counting -- Whitebox Induction of Default Rules Using High-Utility Itemset Mining -- Small Languages and Implementation -- Explanations for Dynamic Programming -- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams -- Variability-Aware Datalog.
Record Nr. UNISA-996418222703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / / edited by Ekaterina Komendantskaya, Yanhong Annie Liu
Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / / edited by Ekaterina Komendantskaya, Yanhong Annie Liu
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XXVI, 223 p. 387 illus., 195 illus. in color.)
Disciplina 005.131
Collana Programming and Software Engineering
Soggetto topico Programming languages (Electronic computers)
Artificial intelligence
Computers
Computer programming
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Theory of Computation
Programming Techniques
ISBN 3-030-39197-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Logical Engines and Applications -- Interactive Text Graph Mining with a Prolog-based Dialog Engine -- Flexible graph matching and graph edit distance using answer set programming -- On Repairing Web Services Workflows -- Answer Set Programming Systems -- AQuA: ASP-based Visual Question Answering -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML -- RTMLton: An SML runtime for real-time systems -- A Timed IO monad -- Reasoning and Efficient Implementation -- Exploiting Database Systems and Treewidth for Counting -- Whitebox Induction of Default Rules Using High-Utility Itemset Mining -- Small Languages and Implementation -- Explanations for Dynamic Programming -- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams -- Variability-Aware Datalog.
Record Nr. UNINA-9910373928403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui