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.
Case-Based Reasoning Research and Development [[electronic resource] ] : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August 2, 2001 Proceedings / / edited by David W. Aha, Ian Watson
| Case-Based Reasoning Research and Development [[electronic resource] ] : 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August 2, 2001 Proceedings / / edited by David W. Aha, Ian Watson |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 764 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Programming languages (Electronic computers) Information technology Business—Data processing Artificial Intelligence Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters IT in Business |
| ISBN | 3-540-44593-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Highlights of the European INRECA Projects -- The Synthesis of Expressive Music: A Challenging CBR Application -- Why Case-Based Reasoning is Attractive for Image Interpretation -- Research Papers -- Similarity Assessment for Relational CBR -- Acquiring Customer Preferences from Return-Set Selections -- The Role of Information Extraction for Textual CBR -- Case-Based Reasoning in Course Timetabling: An Attribute Graph Approach -- Ranking Algorithms for Costly Similarity Measures -- A Fuzzy-Rough Approach for Case Base Maintenance -- Learning and Applying Case-Based Adaptation Knowledge -- Case Representation Issues for Case-Based Reasoning from Ensemble Research -- A Declarative Similarity Framework for Knowledge Intensive CBR -- Classification Based Retrieval Using Formal Concept Analysis -- Conversational Case-Based Planning for Agent Team Coordination -- A Hybrid Approach for the Management of FAQ Documents in Latin Languages -- Taxonomic Conversational Case-Based Reasoning -- A Case-Based Reasoning View of Automated Collaborative Filtering -- A Case-Based Approach to Tailoring Software Processes -- The Conflict Graph for Maintaining Case—Based Reasoning Systems -- Issues on the Effective Use of CBR Technology for Software Project Prediction -- Incremental Case-Based Plan Recognition Using State Indices -- A Similarity-Based Approach to Attribute Selection in User-Adaptive Sales Dialogs -- When Two Case Bases Are Better than One: Exploiting Multiple Case Bases -- COBRA: a CBR-Based Aproach for Predicting Users Actions in a Web Site -- Similarity vs. Diversity -- Collaborative Case-Based Reasoning: Applications in Personalised Route Planning -- Helping a CBR Program Know What It Knows -- Precision and Recall in Interactive Case-Based Reasoning -- Meta-Case-Based Reasoning: Using Functional Models to Adapt Case-Based Agents -- Exploiting Interchangeabilities for Case Adaptation -- Ensemble Case-Based Reasoning: Collaboration Policies for Multiagent Cooperative CBR -- MaMa: A Maintenance Manual for Case—Based Reasoning Systems -- Rough Sets Reduction Techniques for Case-Based Reasoning -- sequential Instance-Based Learning for Planning in the Context of an Imperfect Information Game -- Learning Feature Weights from Case Order Feedback -- Adaptation by Applying Behavior Routines and Motion Strategies in Autonomous Navigation -- An Accurate Adaptation-Guided Similarity Metric for Case-Based Planning -- Releasing Memory Space Through a Case-Deletion Policy with a Lower Bound for Residual Competence -- Using Description Logics for Designing the Case Base in a Hybrid Approach for Diagnosis Integrating Model and Case-Based Reasoning -- Application Papers -- T-Air: A Case-Based Reasoning System for Designing Chemical Absorption Plants -- Benefits of Case-Based Reasoning in Color Matching -- CBR for Dimensional Management in a Manufacturing Plant -- Real-Time Creation of Frequently Asked Questions -- Managing Diagnostic Knowledge in Text Cases -- Emerging Applications -- CBR Adaptation for Chemical Formulation -- A Case-Based Reasoning Approach for Due-Date Assignment in a Wafer Fabrication Factory -- DubLet: An Online CBR System for Rental Property Recommendation -- Improved Performance Support through an Integrated Task-Based Video Case Library -- Transforming Electronic Mail Folders into Case Bases -- Case-Based Reasoning in the Care of Alzheimer’s Disease Patients -- Prototype of an Intelligent Failure Analysis System -- Applying CBR and Object Database Techniques in Chemical Process Design -- Mining High-Quality Cases for Hypertext Prediction and Prefetching. |
| Record Nr. | UNISA-996466068303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza
| Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 654 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information technology Business—Data processing Artificial Intelligence IT in Business |
| ISBN | 3-540-69238-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Case-based reasoning in color matching -- Estimating software development effort with case-based reasoning -- Applying case-based reasoning to automated deduction -- A Case-based approach for elaboration of design requirements -- Case-Based reasoning in an ultrasonic rail-inspection system -- CBR in a changing environment -- Case-based reasoning for information system design -- Applying memory-based learning to indexing of reference ships for case-based conceptual ship design -- CBR for document retrieval: The FAllQ project -- Combining medical records with case-based reasoning in a mixed paradigm design — TROPIX architecture & implementation -- Ocram-CBR: A Shell for Case-Based Educational Systems -- From troubleshooting to process design: Closing the manufacturing loop -- ForMAT and Parka: A technology integration experiment and beyond -- Encouraging self-explanation through case-based tutoring: A case study -- Lessons learned from deployed CBR systems and design decisions made in building a commercial CBR tool -- Using case-based reasoning for reusing software knowledge -- New technology bliss and pain in a large customer service center -- An engineering approach for troubleshooting case bases -- A large case-based reasoner for legal cases -- A scalable approach for question based indexing of encyclopedic texts -- An explicit representation of reasoning failures -- On the admissibility of concrete domains for CBR based on description logics -- Similarity metrics: A formal unification of cardinal and non-cardinal similarity measures -- The case for graph-structured representations -- The evaluation of a hierarchical case representation using context guided retrieval -- Refining conversational case libraries -- Perspectives: A declarative bias mechanism for case retrieval -- Using introspective learning to improve retrieval in CBR: A case study in air traffic control -- Using machine learning for assigning indices to textual cases -- How case-based reasoning and cooperative query answering techniques support RICAD -- What you saw is what you want: Using cases to seed information retrieval -- On the relation between the context of a feature and the domain theory in case-based planning -- Theoretical analysis of case retrieval method based on neighborhood of a new problem -- The adaptation knowledge bottleneck: How to ease it by learning from cases -- A case study of case-based CBR -- Solution-relevant abstractions constrain retrieval and adaptation -- Selecting most adaptable diagnostic solutions through Pivoting-Based Retrieval -- Towards improving case adaptability with a genetic algorithm -- Merge strategies for multiple case plan replay -- Loose coupling of failure explanation and repair: Using learning goals to sequence learning methods -- Using a case base of surfaces to speed-up reinforcement learning -- PAC analyses of a ‘similarity learning’ IBL algorithm -- Examining locally varying weights for nearest neighbor algorithms -- Case-based planning to learn -- A utility-based approach to learning in a mixed case-based and model-based reasoning architecture -- Qualitative knowledge to support reasoning about cases -- Integrating rule induction and case-based reasoning to enhance problem solving -- Using software process modeling for building a case-based reasoning methodology: Basic approach and case study -- Stratified case-based reasoning in non-refinable abstraction hierarchies -- Supporting combined human and machine planning: An interface for planning by analogical reasoning -- Using case-based reasoning for argumentation with multiple viewpoints -- Maintaining unstructured case bases -- An analogical theory of creativity in design -- Experimental study of a similarity metric for retrieving pieces from structured plan cases: Its role in the originality of plan case solutions -- Creative design: Reasoning and understanding -- Fuzzy modelling of case-based reasoning and decision -- Probabilistic indexing for case-based prediction -- A probabilistic model for case-based reasoning -- Case based reasoning, fuzzy systems modeling and solution composition. |
| Record Nr. | UNINA-9910144924503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza
| Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 654 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information technology Business—Data processing Artificial Intelligence IT in Business |
| ISBN | 3-540-69238-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Case-based reasoning in color matching -- Estimating software development effort with case-based reasoning -- Applying case-based reasoning to automated deduction -- A Case-based approach for elaboration of design requirements -- Case-Based reasoning in an ultrasonic rail-inspection system -- CBR in a changing environment -- Case-based reasoning for information system design -- Applying memory-based learning to indexing of reference ships for case-based conceptual ship design -- CBR for document retrieval: The FAllQ project -- Combining medical records with case-based reasoning in a mixed paradigm design — TROPIX architecture & implementation -- Ocram-CBR: A Shell for Case-Based Educational Systems -- From troubleshooting to process design: Closing the manufacturing loop -- ForMAT and Parka: A technology integration experiment and beyond -- Encouraging self-explanation through case-based tutoring: A case study -- Lessons learned from deployed CBR systems and design decisions made in building a commercial CBR tool -- Using case-based reasoning for reusing software knowledge -- New technology bliss and pain in a large customer service center -- An engineering approach for troubleshooting case bases -- A large case-based reasoner for legal cases -- A scalable approach for question based indexing of encyclopedic texts -- An explicit representation of reasoning failures -- On the admissibility of concrete domains for CBR based on description logics -- Similarity metrics: A formal unification of cardinal and non-cardinal similarity measures -- The case for graph-structured representations -- The evaluation of a hierarchical case representation using context guided retrieval -- Refining conversational case libraries -- Perspectives: A declarative bias mechanism for case retrieval -- Using introspective learning to improve retrieval in CBR: A case study in air traffic control -- Using machine learning for assigning indices to textual cases -- How case-based reasoning and cooperative query answering techniques support RICAD -- What you saw is what you want: Using cases to seed information retrieval -- On the relation between the context of a feature and the domain theory in case-based planning -- Theoretical analysis of case retrieval method based on neighborhood of a new problem -- The adaptation knowledge bottleneck: How to ease it by learning from cases -- A case study of case-based CBR -- Solution-relevant abstractions constrain retrieval and adaptation -- Selecting most adaptable diagnostic solutions through Pivoting-Based Retrieval -- Towards improving case adaptability with a genetic algorithm -- Merge strategies for multiple case plan replay -- Loose coupling of failure explanation and repair: Using learning goals to sequence learning methods -- Using a case base of surfaces to speed-up reinforcement learning -- PAC analyses of a ‘similarity learning’ IBL algorithm -- Examining locally varying weights for nearest neighbor algorithms -- Case-based planning to learn -- A utility-based approach to learning in a mixed case-based and model-based reasoning architecture -- Qualitative knowledge to support reasoning about cases -- Integrating rule induction and case-based reasoning to enhance problem solving -- Using software process modeling for building a case-based reasoning methodology: Basic approach and case study -- Stratified case-based reasoning in non-refinable abstraction hierarchies -- Supporting combined human and machine planning: An interface for planning by analogical reasoning -- Using case-based reasoning for argumentation with multiple viewpoints -- Maintaining unstructured case bases -- An analogical theory of creativity in design -- Experimental study of a similarity metric for retrieving pieces from structured plan cases: Its role in the originality of plan case solutions -- Creative design: Reasoning and understanding -- Fuzzy modelling of case-based reasoning and decision -- Probabilistic indexing for case-based prediction -- A probabilistic model for case-based reasoning -- Case based reasoning, fuzzy systems modeling and solution composition. |
| Record Nr. | UNISA-996465750503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fifth International Workshop on Temporal Representation and Reasoning : proceedings : Sanibel Island, Florida, May 16-17, 1998
| Fifth International Workshop on Temporal Representation and Reasoning : proceedings : Sanibel Island, Florida, May 16-17, 1998 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 1998 |
| Disciplina | 006.3/33 |
| Soggetto topico |
Temporal databases - Congresses
Artificial intelligence - Congresses Reasoning - Congresses Computer Science Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217756403316 |
| [Place of publication not identified], : IEEE Computer Society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNINA-9910144920403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNISA-996465571803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox
| Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Algorithms Numerical analysis Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-44657-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning Revisited -- Scaleability in Planning -- Exploiting Competitive Planner Performance -- A Parallel Algorithm for POMDP Solution -- Plan Merging & Plan Reuse as Satisfiability -- SAT-Based Procedures for Temporal Reasoning -- Numeric State Variables in Constraint-Based Planning -- Hierarchical Task Network Planning as Satisfiability -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length -- Action Constraints for Planning -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge -- Scaling up Planning by Teasing Out Resource Scheduling -- Real-Time Scheduling for Multi-agent Call Center Automation -- Task Decomposition Support to Reactive Scheduling -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem -- Automata-Theoretic Approach to Planning for Temporally Extended Goals -- Integer Programs and Valid Inequalities for Planning Problems -- Deductive Synthesis of Recursive Plans in Linear Logic -- Sensor Planning with Non-linear Utility Functions -- Propice-Plan: Toward a Unified Framework for Planning and Execution -- What is the Expressive Power of Disjunctive Preconditions? -- Some Results on the Complexity of Planning with Incomplete Information -- Probabilistic Planning in the Graphplan Framework -- Making Graphplan Goal-Directed -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables -- Planning as Heuristic Search: New Results. |
| Record Nr. | UNINA-9910144124903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox
| Recent Advances in AI Planning [[electronic resource] ] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / / edited by Susanne Biundo, Maria Fox |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Algorithms Numerical analysis Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science |
| ISBN | 3-540-44657-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning Revisited -- Scaleability in Planning -- Exploiting Competitive Planner Performance -- A Parallel Algorithm for POMDP Solution -- Plan Merging & Plan Reuse as Satisfiability -- SAT-Based Procedures for Temporal Reasoning -- Numeric State Variables in Constraint-Based Planning -- Hierarchical Task Network Planning as Satisfiability -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length -- Action Constraints for Planning -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge -- Scaling up Planning by Teasing Out Resource Scheduling -- Real-Time Scheduling for Multi-agent Call Center Automation -- Task Decomposition Support to Reactive Scheduling -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem -- Automata-Theoretic Approach to Planning for Temporally Extended Goals -- Integer Programs and Valid Inequalities for Planning Problems -- Deductive Synthesis of Recursive Plans in Linear Logic -- Sensor Planning with Non-linear Utility Functions -- Propice-Plan: Toward a Unified Framework for Planning and Execution -- What is the Expressive Power of Disjunctive Preconditions? -- Some Results on the Complexity of Planning with Incomplete Information -- Probabilistic Planning in the Graphplan Framework -- Making Graphplan Goal-Directed -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables -- Planning as Heuristic Search: New Results. |
| Record Nr. | UNISA-996466159703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami
| Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69665-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context dependent effects in temporal planning -- Information gathering plans with sensing actions -- What does a planner need to know about execution? -- Planning and chemical plant operating procedure synthesis: A case study -- Task planning and partial order planning: A domain transformation approach -- Expressing transformations of structured reactive plans -- Fast probabilistic plan debugging -- Quantification in generative refinement planning -- Modal tableaux for reasoning about actions and plans -- A time and resource problem for planning architectures -- Planning via model checking: A decision procedure for AR -- Possibilistic planning: Representation and complexity -- Planning with sensing for a mobile robot -- Encoding planning problems in nonmonotonic logic programs -- An argument for a hybrid HTN/operator-based approach to planning -- Natural hierarchical planning using operator decomposition -- Planning, learning, and executing in autonomous systems -- Combining the expressivity of UCPOP with the efficiency of Graphplan -- Bounded parameter Markov decision processes -- Planning and search techniques for intelligent behaviour of battlefield entities -- Understanding and extending Graphplan -- Extending planning graphs to an ADL subset -- Breaking security protocols as an AI planning problem -- Time-oriented skeletal plans: Support to design and execution -- SINERGY: A linear planner based on genetic programming -- A case study on mergeability of cases with a partial-order planner -- Ignoring irrelevant facts and operators in plan generation -- A tabu search strategy to solve scheduling problems with deadlines and complex metric constraints -- Contingency selection in plan generation -- Approaching the plans are programs paradigm using transaction logic -- Event calculus planning revisited -- Constraint based reactive rescheduling in a stochastic environment -- Plan-refinement strategies and search-space size -- Replanning using hierarchical task network and operator-based planning -- BI-POMDP: Bounded, incremental partially-observable Markov-model planning. |
| Record Nr. | UNINA-9910144901803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami
| Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69665-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Context dependent effects in temporal planning -- Information gathering plans with sensing actions -- What does a planner need to know about execution? -- Planning and chemical plant operating procedure synthesis: A case study -- Task planning and partial order planning: A domain transformation approach -- Expressing transformations of structured reactive plans -- Fast probabilistic plan debugging -- Quantification in generative refinement planning -- Modal tableaux for reasoning about actions and plans -- A time and resource problem for planning architectures -- Planning via model checking: A decision procedure for AR -- Possibilistic planning: Representation and complexity -- Planning with sensing for a mobile robot -- Encoding planning problems in nonmonotonic logic programs -- An argument for a hybrid HTN/operator-based approach to planning -- Natural hierarchical planning using operator decomposition -- Planning, learning, and executing in autonomous systems -- Combining the expressivity of UCPOP with the efficiency of Graphplan -- Bounded parameter Markov decision processes -- Planning and search techniques for intelligent behaviour of battlefield entities -- Understanding and extending Graphplan -- Extending planning graphs to an ADL subset -- Breaking security protocols as an AI planning problem -- Time-oriented skeletal plans: Support to design and execution -- SINERGY: A linear planner based on genetic programming -- A case study on mergeability of cases with a partial-order planner -- Ignoring irrelevant facts and operators in plan generation -- A tabu search strategy to solve scheduling problems with deadlines and complex metric constraints -- Contingency selection in plan generation -- Approaching the plans are programs paradigm using transaction logic -- Event calculus planning revisited -- Constraint based reactive rescheduling in a stochastic environment -- Plan-refinement strategies and search-space size -- Replanning using hierarchical task network and operator-based planning -- BI-POMDP: Bounded, incremental partially-observable Markov-model planning. |
| Record Nr. | UNISA-996466079103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
