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.
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIII, 365 p. 67 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| ISBN | 3-642-41524-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE. |
| Record Nr. | UNISA-996465432803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
| Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIII, 365 p. 67 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| ISBN | 3-642-41524-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems -- The Parameterized Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks -- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems -- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users -- Every Formula-Based Logic Program Has a Least Innite-Valued Model -- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach to Preferred Answer Sets -- Solving Modular Model Expansion: Case Studies -- FdCong: A Constraint-Based Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX-Programs with Nested Program Calls -- A prototype of a knowledge-based programming environment -- Computing with Logic as Operator Elimination: The ToyElim System -- Coprocessor - a Standalone SAT Preprocessor -- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report -- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE. |
| Record Nr. | UNINA-9910485037403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / / edited by Salvador Abreu, Dietmar Seipel
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / / edited by Salvador Abreu, Dietmar Seipel |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 239 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-20589-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465528503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Programming and Knowledge Management [[electronic resource] ] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu
| Declarative Programming and Knowledge Management [[electronic resource] ] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 215 p. 32 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Software engineering Numerical analysis Computer logic Artificial Intelligence Programming Techniques Software Engineering Numeric Computing Logics and Meanings of Programs |
| ISBN | 3-030-00801-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data. |
| Record Nr. | UNISA-996466199003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu
| Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 215 p. 32 illus.) |
| Disciplina |
005.131
005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Software engineering Numerical analysis Computer logic Artificial Intelligence Programming Techniques Software Engineering Numeric Computing Logics and Meanings of Programs |
| ISBN | 3-030-00801-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data. |
| Record Nr. | UNINA-9910349404503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Progress in Artificial Intelligence [[electronic resource] ] : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings / / edited by Fernando Moura Pires, Salvador Abreu
| Progress in Artificial Intelligence [[electronic resource] ] : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings / / edited by Fernando Moura Pires, Salvador Abreu |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 508 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computer science Database management Information storage and retrieval systems Artificial Intelligence Programming Techniques Theory of Computation Database Management Information Storage and Retrieval |
| ISBN |
1-280-30652-1
9786610306527 3-540-24580-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of Invited Presentations and Tutorials -- Constraint Programming in Computational Molecular Biology -- Computational Creativity -- From Wheels to Wings with Evolutionary Spiking Circuits -- An Introduction to Object-Oriented RuleML -- Learning from Networks of Examples -- Grammar Induction and Adaptive Information Disclosure -- Understanding Implicit Language Structures -- Performance Issues in Prolog Applications -- Artificial Life and Evolutionary Algorithms (ALEA) -- Optimization of Logistic Processes in Supply-Chains Using Meta-heuristics -- Evolutionary Neural Network Learning -- Golomb Rulers: The Advantage of Evolution -- A Particle Swarm Data Miner -- Yerkes-Dodson Law in Agents’ Training -- SAPPO: A Simple, Adaptable, Predator Prey Optimiser -- Evolutionary Neuroestimation of Fitness Functions -- A Resource Sharing Model to Study Social Behaviours -- Improving Self-Confidence: An Advise-Based Evolutionary Model -- Constraint and Logic Programming Systems (CLPS) -- Solving Set Partitioning Problems with Global Constraint Propagation -- Heuristic-Based Backtracking for Propositional Satisfiability -- On the BEAM Implementation -- YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters -- Experimental Evaluation of a Caching Technique for ILP -- jcc: Integrating Timed Default Concurrent Constraint Programming into Java -- Extraction of Knowledge from Data Bases (EKDB) -- BAYES-NEAREST: A New Hybrid Classifier Combining Bayesian Network and Distance Based Algorithms -- A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring -- Influence of kNN-Based Load Forecasting Errors on Optimal Energy Production -- Creating User-Adapted Design Recommender System through Collaborative Filtering and Content Based Filtering -- Is the UCI Repository Useful for Data Mining? -- Improving the Efficiency of ILP Systems -- Reorganizing News Web Pages for Mobile Users -- Learning Semi Naïve Bayes Structures by Estimation of Distribution Algorithms -- Learning Action Theories with Ramifications -- Mining Low Dimensionality Data Streams of Continuous Attributes -- Adaptation to Drifting Concepts -- Border Detection on Remote Sensing Satellite Data Using Self-Organizing Maps -- Predicting Harmful Algae Blooms -- Improving Progressive Sampling via Meta-learning -- Multi-Agents and AI for the Internet (MAAII) -- Distributed Learning Agents in Urban Traffic Control -- The Chatbot Feeling – Towards Animated Emotional ECAs -- Using CLIPS to Detect Network Intrusions -- Model for Dialogue between Informational Agents -- A Possibilistic Logic Modeling of Autonomous Agents Negotiation -- Towards Individual Power Design -- An Architecture for a Rational Reactive Agent -- An Evolvable Rule-Based E-mail Agent -- Natural Language and Text Retrieval (NLTR) -- Automatic Summarization Based on Principal Component Analysis -- A Constraint Grammar Based Question Answering System for Portuguese -- Mining Generalized Character n-Grams in Large Corpora -- A Methodology to Create Ontology-Based Information Retrieval Systems -- A Preliminary Approach to the Multilabel Classification Problem of Portuguese Juridical Documents -- Synonymy for Query Expansion in Information Search -- Web Information Retrieval with Result Set Clustering -- ASdeCopas: A Syntactic-Semantic Interface -- Automatic Selection of Table Areas in Documents for Information Extraction -- Mandarin Question Sentence Detection: A Preliminary Study -- Acquiring Semantic Classes to Elaborate Attachment Heuristics -- Managing Dialog in a Natural Language Querying System. |
| Record Nr. | UNISA-996465801003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings / / edited by Fernando Moura Pires, Salvador Abreu
| Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings / / edited by Fernando Moura Pires, Salvador Abreu |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVI, 508 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computer science Database management Information storage and retrieval systems Artificial Intelligence Programming Techniques Theory of Computation Database Management Information Storage and Retrieval |
| ISBN |
1-280-30652-1
9786610306527 3-540-24580-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of Invited Presentations and Tutorials -- Constraint Programming in Computational Molecular Biology -- Computational Creativity -- From Wheels to Wings with Evolutionary Spiking Circuits -- An Introduction to Object-Oriented RuleML -- Learning from Networks of Examples -- Grammar Induction and Adaptive Information Disclosure -- Understanding Implicit Language Structures -- Performance Issues in Prolog Applications -- Artificial Life and Evolutionary Algorithms (ALEA) -- Optimization of Logistic Processes in Supply-Chains Using Meta-heuristics -- Evolutionary Neural Network Learning -- Golomb Rulers: The Advantage of Evolution -- A Particle Swarm Data Miner -- Yerkes-Dodson Law in Agents’ Training -- SAPPO: A Simple, Adaptable, Predator Prey Optimiser -- Evolutionary Neuroestimation of Fitness Functions -- A Resource Sharing Model to Study Social Behaviours -- Improving Self-Confidence: An Advise-Based Evolutionary Model -- Constraint and Logic Programming Systems (CLPS) -- Solving Set Partitioning Problems with Global Constraint Propagation -- Heuristic-Based Backtracking for Propositional Satisfiability -- On the BEAM Implementation -- YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters -- Experimental Evaluation of a Caching Technique for ILP -- jcc: Integrating Timed Default Concurrent Constraint Programming into Java -- Extraction of Knowledge from Data Bases (EKDB) -- BAYES-NEAREST: A New Hybrid Classifier Combining Bayesian Network and Distance Based Algorithms -- A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring -- Influence of kNN-Based Load Forecasting Errors on Optimal Energy Production -- Creating User-Adapted Design Recommender System through Collaborative Filtering and Content Based Filtering -- Is the UCI Repository Useful for Data Mining? -- Improving the Efficiency of ILP Systems -- Reorganizing News Web Pages for Mobile Users -- Learning Semi Naïve Bayes Structures by Estimation of Distribution Algorithms -- Learning Action Theories with Ramifications -- Mining Low Dimensionality Data Streams of Continuous Attributes -- Adaptation to Drifting Concepts -- Border Detection on Remote Sensing Satellite Data Using Self-Organizing Maps -- Predicting Harmful Algae Blooms -- Improving Progressive Sampling via Meta-learning -- Multi-Agents and AI for the Internet (MAAII) -- Distributed Learning Agents in Urban Traffic Control -- The Chatbot Feeling – Towards Animated Emotional ECAs -- Using CLIPS to Detect Network Intrusions -- Model for Dialogue between Informational Agents -- A Possibilistic Logic Modeling of Autonomous Agents Negotiation -- Towards Individual Power Design -- An Architecture for a Rational Reactive Agent -- An Evolvable Rule-Based E-mail Agent -- Natural Language and Text Retrieval (NLTR) -- Automatic Summarization Based on Principal Component Analysis -- A Constraint Grammar Based Question Answering System for Portuguese -- Mining Generalized Character n-Grams in Large Corpora -- A Methodology to Create Ontology-Based Information Retrieval Systems -- A Preliminary Approach to the Multilabel Classification Problem of Portuguese Juridical Documents -- Synonymy for Query Expansion in Information Search -- Web Information Retrieval with Result Set Clustering -- ASdeCopas: A Syntactic-Semantic Interface -- Automatic Selection of Table Areas in Documents for Information Extraction -- Mandarin Question Sentence Detection: A Preliminary Study -- Acquiring Semantic Classes to Elaborate Attachment Heuristics -- Managing Dialog in a Natural Language Querying System. |
| Record Nr. | UNINA-9910144211903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||