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.
Uncertain differential equations [[electronic resource] /] / by Kai Yao
Uncertain differential equations [[electronic resource] /] / by Kai Yao
Autore Yao Kai
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (166 p.)
Disciplina 620
Collana Springer Uncertainty Research
Soggetto topico Computational intelligence
Economics, Mathematical 
Mathematical statistics
Computational Intelligence
Quantitative Finance
Probability and Statistics in Computer Science
ISBN 3-662-52729-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Uncertain Variable -- Uncertain Process -- Contour Process -- Uncertain Calculus -- Uncertain Differential Equation -- Uncertain Calculus with Renewal Process -- Uncertain Differential Equation with Jumps -- Multi-Dimensional Uncertain Differential Equation -- High-Order Uncertain Differential Equation.
Record Nr. UNINA-9910254241703321
Yao Kai  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
Autore Heuel Stephan
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XVIII, 210 p.)
Disciplina 516/.5
Altri autori (Persone) HeuelStephan
Collana Lecture Notes in Computer Science
Soggetto topico Geometry
Pattern recognition
Optical data processing
Mathematical statistics
Computer graphics
Artificial intelligence
Pattern Recognition
Image Processing and Computer Vision
Probability and Statistics in Computer Science
Computer Graphics
Artificial Intelligence
ISBN 1-280-30762-5
9786610307623
3-540-24656-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Introduction -- 2 Representation of Geometric Entities and Transformations -- 3 Geometric Reasoning Using Projective Geometry -- 4 Statistical Geometric Reasoning -- 5 Polyhedral Object Reconstruction -- 6 Conclusions -- A Notation -- B Linear Algebra -- C Statistics.
Record Nr. UNISA-996465408403316
Heuel Stephan  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
Uncertain Projective Geometry [[electronic resource] ] : Statistical Reasoning for Polyhedral Object Reconstruction / / by Stephan Heuel
Autore Heuel Stephan
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XVIII, 210 p.)
Disciplina 516/.5
Altri autori (Persone) HeuelStephan
Collana Lecture Notes in Computer Science
Soggetto topico Geometry
Pattern recognition
Optical data processing
Mathematical statistics
Computer graphics
Artificial intelligence
Pattern Recognition
Image Processing and Computer Vision
Probability and Statistics in Computer Science
Computer Graphics
Artificial Intelligence
ISBN 1-280-30762-5
9786610307623
3-540-24656-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Introduction -- 2 Representation of Geometric Entities and Transformations -- 3 Geometric Reasoning Using Projective Geometry -- 4 Statistical Geometric Reasoning -- 5 Polyhedral Object Reconstruction -- 6 Conclusions -- A Notation -- B Linear Algebra -- C Statistics.
Record Nr. UNINA-9910144185803321
Heuel Stephan  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 331 p. 72 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Data mining
Information storage and retrieval
User interfaces (Computer systems)
Mathematical logic
Mathematical statistics
Artificial Intelligence
Data Mining and Knowledge Discovery
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
Mathematical Logic and Formal Languages
Probability and Statistics in Computer Science
Soggetto genere / forma Conference proceedings.
ISBN 3-642-35975-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PR-OWL 2.0 – Bridging the Gap to OWL Semantics.- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data -- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.- PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data.
Record Nr. UNISA-996465973203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Uncertainty Reasoning for the Semantic Web II [[electronic resource] ] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers / / edited by Fernando Bobillo, Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 331 p. 72 illus.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Data mining
Information storage and retrieval
User interfaces (Computer systems)
Mathematical logic
Mathematical statistics
Artificial Intelligence
Data Mining and Knowledge Discovery
Information Storage and Retrieval
User Interfaces and Human Computer Interaction
Mathematical Logic and Formal Languages
Probability and Statistics in Computer Science
Soggetto genere / forma Conference proceedings.
ISBN 3-642-35975-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PR-OWL 2.0 – Bridging the Gap to OWL Semantics.- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data -- Probabilistic Ontology and Knowledge Fusion for Procurement Fraud Detection in Brazil -- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner.- Instance-Based Non-standard Inferences in EL with Subjective Probabilities.- Finite Fuzzy Description Logics and Crisp Representations.- Reasoning in Fuzzy OWL 2 with DeLorean.- Dealing with Contradictory Evidence Using Fuzzy Trust in Semantic Web Data.- Storing and Querying Fuzzy Knowledge in the Semantic Web Using FiRE.- Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH.- A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.- PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation Using Probabilistic Methods.- Semantic Web Search and Inductive Reasoning.- Ontology Enhancement through Inductive Decision Trees.- Assertion Prediction with Ontologies through Evidence Combination.- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based Approximate SPARQL Querying of the Web of Linked Data.
Record Nr. UNINA-9910739451203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XVIII, 329 p. 56 illus.)
Disciplina 025.0427
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Mathematical statistics
Data mining
Artificial Intelligence
Mathematical Logic and Formal Languages
Probability and Statistics in Computer Science
Data Mining and Knowledge Discovery
ISBN 3-319-13413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text.
Record Nr. UNINA-9910484495803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Uncertainty Reasoning for the Semantic Web III [[electronic resource] ] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XVIII, 329 p. 56 illus.)
Disciplina 025.0427
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Mathematical statistics
Data mining
Artificial Intelligence
Mathematical Logic and Formal Languages
Probability and Statistics in Computer Science
Data Mining and Knowledge Discovery
ISBN 3-319-13413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text -- UMP-ST Plug-in: Documenting, Maintaining and Evolving Probabilistic Ontologies Using UnBBayes Framework -- Computing Inferences for Relational Bayesian Networks Based on ALC Constructs -- Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– -- Learning Probabilistic Description Logics -- Semantics and Inference for Probabilistic Description Logics -- A Metaontology for Annotating Ontology Entities with Vagueness Descriptions -- Finite Lattices Do Not Make Reasoning in ALCOI Harder -- Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge -- Semantic Knowledge Discovery and Data-Driven Logical Reasoning from Heterogeneous Data Sources -- Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness -- Graph-Based Regularization for Transductive Class-Membership Prediction -- Analyzing User Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web -- Uncertainty Estimation and Analysis of Categorical Web Data -- Ontological CP-Nets -- Uncertainty Handling in Named Entity Extraction and Disambiguation for Informal Text.
Record Nr. UNISA-996210520703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Uncertainty Theory [[electronic resource] /] / by Baoding Liu
Uncertainty Theory [[electronic resource] /] / by Baoding Liu
Autore Liu Baoding
Edizione [4th ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (491 p.)
Disciplina 003.54
Collana Springer Uncertainty Research
Soggetto topico Computational intelligence
Probabilities
Mathematical statistics
Operations research
Decision making
Computational Intelligence
Probability Theory and Stochastic Processes
Probability and Statistics in Computer Science
Operations Research/Decision Theory
ISBN 3-662-44354-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Uncertain measure -- Uncertain variable -- Uncertain Programming -- Uncertain Statistics -- Uncertain Risk Analysis -- Uncertain Reliability Analysis -- Uncertain Logic -- Uncertain Entailment -- Uncertain Set -- Uncertain Inference -- Uncertain Process -- Uncertain Renewal Process -- Uncertain Calculus -- Uncertain Differential Equation -- Uncertain Finance.
Record Nr. UNINA-9910299704403321
Liu Baoding  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
Autore Helmert Malte
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIV, 270 p.)
Disciplina 006.3
Altri autori (Persone) HelmertMalte
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Algorithms
Computers
Mathematical statistics
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Probability and Statistics in Computer Science
ISBN 3-540-77723-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion.
Record Nr. UNISA-996465286803316
Helmert Malte  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert
Autore Helmert Malte
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIV, 270 p.)
Disciplina 006.3
Altri autori (Persone) HelmertMalte
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Algorithms
Computers
Mathematical statistics
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Probability and Statistics in Computer Science
ISBN 3-540-77723-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion.
Record Nr. UNINA-9910483385103321
Helmert Malte  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui