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.
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNISA-996465635203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNINA-9910483881603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIxIA 2022 - advances in artificial intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, proceedings / / Agostino Dovier, Angelo Montanari , Andrea Orlandini, editors
| AIxIA 2022 - advances in artificial intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, proceedings / / Agostino Dovier, Angelo Montanari , Andrea Orlandini, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (504 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-27181-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hybrid Approaches -- The PSyKE technology for Trustworthy Artificial Intelligence -- A Declarative Approach to Contrast Pattern Mining -- Graphs and Networks -- Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities -- Decision Trees with a Modal Flavor -- Assisted Process Knowledge Graph Building Using Pre-Trained Language Models -- Neural Networks Reduction via Lumping -- Knowledge Enhanced Neural Networks for relational domains -- Logic Tensor Networks for Top-N Recommendation -- Multiagent Systems -- A Review of the Muddy Children Problem -- Multi-Agent Cooperative Argumentation in Arg2P -- Ethics by Design for Intelligent and Sustainable Adaptive systems -- Automated Planning and Scheduling -- Verification of Numeric Planning Problems through Domain Dynamic Consistency -- Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario -- Logic-Based Ethical Planning -- A Hybrid Recommender System with Implicit Feedbacks in Fashion Retail -- Incremental Timeline-based Planning for Efficient Plan Execution and Adaptation -- Knowledge Acquisition and Completion for Long-Term Human-Robot Interactions using Knowledge Graph Embedding -- Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints -- Topic Modelling and Frame identification for Political Arguments -- Substitute plastic film with Kraft paper in automatic pallet wrapping: an AI pipeline -- AI Applications -- Transformer Based Motion In-Betweening -- A Logic-based Tool for Dynamic Generation and Classification of Music Content -- Why Can Neural Networks Recognize Us by Our Finger Movements? -- Miscellany -- Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens finally together -- Deep learning for ECoG brain-computer interface: end-to-end vs hand-crafted features -- Quantum Circuit Compilation for the Graph Coloring Problem -- Toward a Heterogeneous Multi-Robot Framework for Priority-Based Sanitization of Railway Stations -- Simulated Annealing for the Home Healthcare Routing and Scheduling Problem -- MAP Inference in Probabilistic Answer Set Programs -- Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations -- Natural Language Processing -- DelBERTo: a Deep Lightweight Transformer for Sentiment Analysis -- A BERT-based Scoring System for Workplace Safety Courses in Italian -- Embedding Contextual Information in seq2seq models for Grounded Semantic Role Labeling -- Keynote talk. -Adventures with Datalog: Walking the Thin Line Between Theory and Practice. |
| Record Nr. | UNISA-996517754703316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIxIA 2022 - advances in artificial intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, proceedings / / Agostino Dovier, Angelo Montanari , Andrea Orlandini, editors
| AIxIA 2022 - advances in artificial intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, proceedings / / Agostino Dovier, Angelo Montanari , Andrea Orlandini, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (504 pages) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-031-27181-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hybrid Approaches -- The PSyKE technology for Trustworthy Artificial Intelligence -- A Declarative Approach to Contrast Pattern Mining -- Graphs and Networks -- Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities -- Decision Trees with a Modal Flavor -- Assisted Process Knowledge Graph Building Using Pre-Trained Language Models -- Neural Networks Reduction via Lumping -- Knowledge Enhanced Neural Networks for relational domains -- Logic Tensor Networks for Top-N Recommendation -- Multiagent Systems -- A Review of the Muddy Children Problem -- Multi-Agent Cooperative Argumentation in Arg2P -- Ethics by Design for Intelligent and Sustainable Adaptive systems -- Automated Planning and Scheduling -- Verification of Numeric Planning Problems through Domain Dynamic Consistency -- Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario -- Logic-Based Ethical Planning -- A Hybrid Recommender System with Implicit Feedbacks in Fashion Retail -- Incremental Timeline-based Planning for Efficient Plan Execution and Adaptation -- Knowledge Acquisition and Completion for Long-Term Human-Robot Interactions using Knowledge Graph Embedding -- Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints -- Topic Modelling and Frame identification for Political Arguments -- Substitute plastic film with Kraft paper in automatic pallet wrapping: an AI pipeline -- AI Applications -- Transformer Based Motion In-Betweening -- A Logic-based Tool for Dynamic Generation and Classification of Music Content -- Why Can Neural Networks Recognize Us by Our Finger Movements? -- Miscellany -- Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens finally together -- Deep learning for ECoG brain-computer interface: end-to-end vs hand-crafted features -- Quantum Circuit Compilation for the Graph Coloring Problem -- Toward a Heterogeneous Multi-Robot Framework for Priority-Based Sanitization of Railway Stations -- Simulated Annealing for the Home Healthcare Routing and Scheduling Problem -- MAP Inference in Probabilistic Answer Set Programs -- Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations -- Natural Language Processing -- DelBERTo: a Deep Lightweight Transformer for Sentiment Analysis -- A BERT-based Scoring System for Workplace Safety Courses in Italian -- Embedding Contextual Information in seq2seq models for Grounded Semantic Role Labeling -- Keynote talk. -Adventures with Datalog: Walking the Thin Line Between Theory and Practice. |
| Record Nr. | UNINA-9910682597003321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||