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.
Automated Deduction - CADE-17 [[electronic resource] ] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / / edited by David McAllester
| Automated Deduction - CADE-17 [[electronic resource] ] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / / edited by David McAllester |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Computer logic Artificial Intelligence Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations |
| ISBN | 3-540-45101-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics -- Session 1: -- Machine Instruction Syntax and Semantics in Higher Order Logic -- Proof Generation in the Touchstone Theorem Prover -- Wellfounded Schematic Definitions -- Session 2: -- Abstract Congruence Closure and Specializations -- A Framework for Cooperating Decision Procedures -- Modular Reasoning in Isabelle -- An Infrastructure for Intertheory Reasoning -- Session 3: -- Gödel’s Algorithm for Class Formation -- Automated Proof Construction in Type Theory Using Resolution -- System Description: TPS: A Theorem Proving System for Type Theory -- The Nuprl Open Logical Environment -- System Description: aRa – An Automatic Theorem Prover for Relation Algebras -- Invited Talk: -- Scalable Knowledge Representation and Reasoning Systems -- Session 4: -- Efficient Minimal Model Generation Using Branching Lemmas -- FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure -- Rigid E-Unification Revisited -- Invited Talk: -- Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice -- Session 5: -- Reducing Model Checking of the Many to the Few -- Simulation Based Minimization -- Rewriting for Cryptographic Protocol Verification -- System Description: *sat: A Platform for the Development of Modal Decision Procedures -- System Description: DLP -- Two Techniques to Improve Finite Model Search -- Session 6: -- Eliminating Dummy Elimination -- Extending Decision Procedures with Induction Schemes -- Complete Monotonic Semantic Path Orderings -- Session 7: -- Stratified Resolution -- Support Ordered Resolution -- System Description: IVY -- System Description: SystemOnTPTP -- System Description: PTTP+GLiDeS Semantically Guided PTTP -- Session 8: -- A Formalization of a Concurrent Object Calculus up to ?-Conversion -- A Resolution Decision Procedure for Fluted Logic -- ZRes: The Old Davis–Putnam Procedure Meets ZBDD -- System Description: MBase, an Open Mathematical Knowledge Base -- System Description: Tramp: Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level -- Session 9: -- On Unification for Bounded Distributive Lattices -- Reasoning with Individuals for the Description Logic -- System Description: Embedding Verification into Microsoft Excel -- System Description: Interactive Proof Critics in XBarnacle -- Tutorials: -- Tutorial: Meta-logical Frameworks -- Tutorial: Automated Deduction and Natural Language Understanding -- Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic -- Workshops: -- Workshop: Model Computation – Principles, Algorithms, Applications -- Workshop: Automation of Proof by Mathematical Induction -- Workshop: Type-Theoretic Languages: Proof-Search and Semantics -- Workshop: Automated Deduction in Education -- Workshop: The Role of Automated Deduction in Mathematics. |
| Record Nr. | UNINA-9910144146703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction - CADE-17 [[electronic resource] ] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / / edited by David McAllester
| Automated Deduction - CADE-17 [[electronic resource] ] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / / edited by David McAllester |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Computer logic Artificial Intelligence Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations |
| ISBN | 3-540-45101-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics -- Session 1: -- Machine Instruction Syntax and Semantics in Higher Order Logic -- Proof Generation in the Touchstone Theorem Prover -- Wellfounded Schematic Definitions -- Session 2: -- Abstract Congruence Closure and Specializations -- A Framework for Cooperating Decision Procedures -- Modular Reasoning in Isabelle -- An Infrastructure for Intertheory Reasoning -- Session 3: -- Gödel’s Algorithm for Class Formation -- Automated Proof Construction in Type Theory Using Resolution -- System Description: TPS: A Theorem Proving System for Type Theory -- The Nuprl Open Logical Environment -- System Description: aRa – An Automatic Theorem Prover for Relation Algebras -- Invited Talk: -- Scalable Knowledge Representation and Reasoning Systems -- Session 4: -- Efficient Minimal Model Generation Using Branching Lemmas -- FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure -- Rigid E-Unification Revisited -- Invited Talk: -- Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice -- Session 5: -- Reducing Model Checking of the Many to the Few -- Simulation Based Minimization -- Rewriting for Cryptographic Protocol Verification -- System Description: *sat: A Platform for the Development of Modal Decision Procedures -- System Description: DLP -- Two Techniques to Improve Finite Model Search -- Session 6: -- Eliminating Dummy Elimination -- Extending Decision Procedures with Induction Schemes -- Complete Monotonic Semantic Path Orderings -- Session 7: -- Stratified Resolution -- Support Ordered Resolution -- System Description: IVY -- System Description: SystemOnTPTP -- System Description: PTTP+GLiDeS Semantically Guided PTTP -- Session 8: -- A Formalization of a Concurrent Object Calculus up to ?-Conversion -- A Resolution Decision Procedure for Fluted Logic -- ZRes: The Old Davis–Putnam Procedure Meets ZBDD -- System Description: MBase, an Open Mathematical Knowledge Base -- System Description: Tramp: Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level -- Session 9: -- On Unification for Bounded Distributive Lattices -- Reasoning with Individuals for the Description Logic -- System Description: Embedding Verification into Microsoft Excel -- System Description: Interactive Proof Critics in XBarnacle -- Tutorials: -- Tutorial: Meta-logical Frameworks -- Tutorial: Automated Deduction and Natural Language Understanding -- Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic -- Workshops: -- Workshop: Model Computation – Principles, Algorithms, Applications -- Workshop: Automation of Proof by Mathematical Induction -- Workshop: Type-Theoretic Languages: Proof-Search and Semantics -- Workshop: Automated Deduction in Education -- Workshop: The Role of Automated Deduction in Mathematics. |
| Record Nr. | UNISA-996466137803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585785003321 |
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
| Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) |
| Disciplina | 006.333 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-59152-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. |
| Record Nr. | UNINA-9910427707203321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
| Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) |
| Disciplina | 006.333 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-59152-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. |
| Record Nr. | UNISA-996418291303316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings / / Lorraine McGinty, David C. Wilson (eds.)
| Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings / / Lorraine McGinty, David C. Wilson (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.333 |
| Collana |
Lecture notes in computer science
Lecture notes in artificial intelligence |
| Soggetto topico |
Artificial intelligence
Case-based reasoning Expert systems (Computer science) |
| ISBN |
1-282-29797-X
9786612297977 3-642-02998-1 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- We’re Wiser Together -- Black Swans, Gray Cygnets and Other Rare Birds -- Theoretical/Methodological Research Papers -- Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions -- Case-Based Reasoning in Transfer Learning -- Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples -- Opportunistic Adaptation Knowledge Discovery -- Improving Reinforcement Learning by Using Case Based Heuristics -- Dimensions of Case-Based Reasoner Quality Management -- Belief Merging-Based Case Combination -- Maintenance by a Committee of Experts: The MACE Approach to Case-Base Maintenance -- The Good, the Bad and the Incorrectly Classified: Profiling Cases for Case-Base Editing -- An Active Approach to Automatic Case Generation -- Four Heads Are Better than One: Combining Suggestions for Case Adaptation -- Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions -- Boosting CBR Agents with Genetic Algorithms -- Using Meta-reasoning to Improve the Performance of Case-Based Planning -- Multi-level Abstractions and Multi-dimensional Retrieval of Cases with Time Series Features -- On Similarity Measures Based on a Refinement Lattice -- An Overview of the Deterministic Dynamic Associative Memory (DDAM) Model for Case Representation and Retrieval -- Robust Measures of Complexity in TCBR -- S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control -- Quality Enhancement Based on Reinforcement Learning and Feature Weighting for a Critiquing-Based Recommender -- Abstraction in Knowledge-Rich Models for Case-Based Planning -- A Scalable Noise Reduction Technique for Large Case-Based Systems -- Conceptual Neighborhoods for Retrieval in Case-Based Reasoning -- CBR Supports Decision Analysis with Uncertainty -- Constraint-Based Case-Based Planning Using Weighted MAX-SAT -- Applied Research Papers -- A Value Supplementation Method for Case Bases with Incomplete Information -- Efficiently Implementing Episodic Memory -- Integration of a Methodology for Cluster-Based Retrieval in jColibri -- Case-Based Collective Inference for Maritime Object Classification -- Case-Based Reasoning for Situation-Aware Ambient Intelligence: A Hospital Ward Evaluation Study -- Spatial Event Prediction by Combining Value Function Approximation and Case-Based Reasoning -- Case-Based Support for Forestry Decisions: How to See the Wood from the Trees -- A Case-Based Perspective on Social Web Search -- Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge. |
| Record Nr. | UNINA-9910484803903321 |
| Berlin, Germany : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings / / Lorraine McGinty, David C. Wilson (eds.)
| Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings / / Lorraine McGinty, David C. Wilson (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.333 |
| Collana |
Lecture notes in computer science
Lecture notes in artificial intelligence |
| Soggetto topico |
Artificial intelligence
Case-based reasoning Expert systems (Computer science) |
| ISBN |
1-282-29797-X
9786612297977 3-642-02998-1 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- We’re Wiser Together -- Black Swans, Gray Cygnets and Other Rare Birds -- Theoretical/Methodological Research Papers -- Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions -- Case-Based Reasoning in Transfer Learning -- Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples -- Opportunistic Adaptation Knowledge Discovery -- Improving Reinforcement Learning by Using Case Based Heuristics -- Dimensions of Case-Based Reasoner Quality Management -- Belief Merging-Based Case Combination -- Maintenance by a Committee of Experts: The MACE Approach to Case-Base Maintenance -- The Good, the Bad and the Incorrectly Classified: Profiling Cases for Case-Base Editing -- An Active Approach to Automatic Case Generation -- Four Heads Are Better than One: Combining Suggestions for Case Adaptation -- Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions -- Boosting CBR Agents with Genetic Algorithms -- Using Meta-reasoning to Improve the Performance of Case-Based Planning -- Multi-level Abstractions and Multi-dimensional Retrieval of Cases with Time Series Features -- On Similarity Measures Based on a Refinement Lattice -- An Overview of the Deterministic Dynamic Associative Memory (DDAM) Model for Case Representation and Retrieval -- Robust Measures of Complexity in TCBR -- S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control -- Quality Enhancement Based on Reinforcement Learning and Feature Weighting for a Critiquing-Based Recommender -- Abstraction in Knowledge-Rich Models for Case-Based Planning -- A Scalable Noise Reduction Technique for Large Case-Based Systems -- Conceptual Neighborhoods for Retrieval in Case-Based Reasoning -- CBR Supports Decision Analysis with Uncertainty -- Constraint-Based Case-Based Planning Using Weighted MAX-SAT -- Applied Research Papers -- A Value Supplementation Method for Case Bases with Incomplete Information -- Efficiently Implementing Episodic Memory -- Integration of a Methodology for Cluster-Based Retrieval in jColibri -- Case-Based Collective Inference for Maritime Object Classification -- Case-Based Reasoning for Situation-Aware Ambient Intelligence: A Hospital Ward Evaluation Study -- Spatial Event Prediction by Combining Value Function Approximation and Case-Based Reasoning -- Case-Based Support for Forestry Decisions: How to See the Wood from the Trees -- A Case-Based Perspective on Social Web Search -- Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge. |
| Record Nr. | UNISA-996465847203316 |
| Berlin, Germany : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (editors)
| Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XII, 604 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Expert systems (Computer science) |
| ISBN | 3-540-48508-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Papers -- Affect-Driven CBR to generate expressive music -- Probability Based Metrics for Nearest Neighbor Classification and Case-Based Reasoning -- Active Exploration in Instance-Based Preference Modeling -- A Multiple-Domain Evaluation of Stratified Case-Based Reasoning -- Bootstrapping Case Base Development with Annotated Case Summaries? -- Activating CBR Systems through Autonomous Information Gathering -- Integrating CBR and Heuristic Search for Learning and Reusing Solutions in Real-time Task Scheduling -- Towards a Unified Theory of Adaptation in Case-Based Reasoning -- A Knowledge-level Task Model of Adaptation in Case-Based Reasoning -- Development and Utilization of a Case-Based Help-Desk Support System in a Corporate Environment -- Modelling the CBR Life Cycle Using Description Logics ? -- An Evolutionary Approach to Case Adaptation -- REMEX - A Case-Based Approach for Reusing Software Measurement Experienceware -- A Unified Long-Term Memory System? -- Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse? -- When Experience is Wrong: Examining CBR for Changing Tasks and Environments? -- Case Library Reduction Applied to Pile Foundations -- Case Representation, Acquisition, and Retrieval in SIROCCO -- Flexibly Interleaving Processes -- A Case Retention Policy based on Detrimental Retrieval -- Using Guidelines to Constrain Interactive Case-Based HTN Planning -- Speed-up, Quality and Competence in Multi-Modal Case-Based Reasoning -- A Case-Based Methodology for Planning Individualized Case Oriented Tutoring -- Building Compact Competent Case-Bases -- Footprint-Based Retrieval -- Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study -- Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study -- Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard -- Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard -- Integrating Rule-Based and Case-Based Decision Making in Diabetic Patient Management? -- Integrating Rule-Based and Case-Based Decision Making in Diabetic Patient Management? -- Managing Complex Knowledge in Natural Sciences -- Managing Complex Knowledge in Natural Sciences -- ELSI: A Medical Equipment Diagnostic System -- ELSI: A Medical Equipment Diagnostic System -- Case-Based Reasoning for Candidate List Extraction in a Marketing Domain. -- Case-Based Reasoning for Candidate List Extraction in a Marketing Domain. -- CBR for the Reuse of Image Processing Knowledge: a Recursive Retrieval/Adaptation Strategy -- CBR for the Reuse of Image Processing Knowledge: a Recursive Retrieval/Adaptation Strategy -- Virtual Function Generators: Representing and Reusing Underlying Design Concepts in Conceptual Synthesis of Mechanisms for Function Generation -- Virtual Function Generators: Representing and Reusing Underlying Design Concepts in Conceptual Synthesis of Mechanisms for Function Generation -- Shaping a CBR view with XML -- Shaping a CBR view with XML -- Integrating Information Resources: A Case Study of Engineering Design Support? -- Integrating Information Resources: A Case Study of Engineering Design Support? -- A Hybrid Case-Based Reasoner for Footwear Design -- A Hybrid Case-Based Reasoner for Footwear Design -- Fault Management in Computer Networks Using Case-Based Reasoning: DUMBO System -- Fault Management in Computer Networks Using Case-Based Reasoning: DUMBO System -- An Architecture for a CBR Image Segmentation System -- An Architecture for a CBR Image Segmentation System -- Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques -- Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques -- Case-Based Reasoning for Antibiotics Therapy Advice -- Case-Based Reasoning for Antibiotics Therapy Advice -- Surfing the Digital Wave -- Surfing the Digital Wave -- Cse-Based Quality Management System using Expectation Values -- Cse-Based Quality Management System using Expectation Values -- ICARUS: Design and Deployment of a Case-Based Reasoning System for Locomotive Diagnostics -- ICARUS: Design and Deployment of a Case-Based Reasoning System for Locomotive Diagnostics. |
| Record Nr. | UNINA-9910143454403321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (editors)
| Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XII, 604 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Expert systems (Computer science) |
| ISBN | 3-540-48508-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Papers -- Affect-Driven CBR to generate expressive music -- Probability Based Metrics for Nearest Neighbor Classification and Case-Based Reasoning -- Active Exploration in Instance-Based Preference Modeling -- A Multiple-Domain Evaluation of Stratified Case-Based Reasoning -- Bootstrapping Case Base Development with Annotated Case Summaries? -- Activating CBR Systems through Autonomous Information Gathering -- Integrating CBR and Heuristic Search for Learning and Reusing Solutions in Real-time Task Scheduling -- Towards a Unified Theory of Adaptation in Case-Based Reasoning -- A Knowledge-level Task Model of Adaptation in Case-Based Reasoning -- Development and Utilization of a Case-Based Help-Desk Support System in a Corporate Environment -- Modelling the CBR Life Cycle Using Description Logics ? -- An Evolutionary Approach to Case Adaptation -- REMEX - A Case-Based Approach for Reusing Software Measurement Experienceware -- A Unified Long-Term Memory System? -- Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse? -- When Experience is Wrong: Examining CBR for Changing Tasks and Environments? -- Case Library Reduction Applied to Pile Foundations -- Case Representation, Acquisition, and Retrieval in SIROCCO -- Flexibly Interleaving Processes -- A Case Retention Policy based on Detrimental Retrieval -- Using Guidelines to Constrain Interactive Case-Based HTN Planning -- Speed-up, Quality and Competence in Multi-Modal Case-Based Reasoning -- A Case-Based Methodology for Planning Individualized Case Oriented Tutoring -- Building Compact Competent Case-Bases -- Footprint-Based Retrieval -- Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study -- Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study -- Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard -- Integrating Case-Based Reasoning and Hypermedia Documentation: An Application for the Diagnosis of a Welding Robot at Odense Steel Shipyard -- Integrating Rule-Based and Case-Based Decision Making in Diabetic Patient Management? -- Integrating Rule-Based and Case-Based Decision Making in Diabetic Patient Management? -- Managing Complex Knowledge in Natural Sciences -- Managing Complex Knowledge in Natural Sciences -- ELSI: A Medical Equipment Diagnostic System -- ELSI: A Medical Equipment Diagnostic System -- Case-Based Reasoning for Candidate List Extraction in a Marketing Domain. -- Case-Based Reasoning for Candidate List Extraction in a Marketing Domain. -- CBR for the Reuse of Image Processing Knowledge: a Recursive Retrieval/Adaptation Strategy -- CBR for the Reuse of Image Processing Knowledge: a Recursive Retrieval/Adaptation Strategy -- Virtual Function Generators: Representing and Reusing Underlying Design Concepts in Conceptual Synthesis of Mechanisms for Function Generation -- Virtual Function Generators: Representing and Reusing Underlying Design Concepts in Conceptual Synthesis of Mechanisms for Function Generation -- Shaping a CBR view with XML -- Shaping a CBR view with XML -- Integrating Information Resources: A Case Study of Engineering Design Support? -- Integrating Information Resources: A Case Study of Engineering Design Support? -- A Hybrid Case-Based Reasoner for Footwear Design -- A Hybrid Case-Based Reasoner for Footwear Design -- Fault Management in Computer Networks Using Case-Based Reasoning: DUMBO System -- Fault Management in Computer Networks Using Case-Based Reasoning: DUMBO System -- An Architecture for a CBR Image Segmentation System -- An Architecture for a CBR Image Segmentation System -- Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques -- Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques -- Case-Based Reasoning for Antibiotics Therapy Advice -- Case-Based Reasoning for Antibiotics Therapy Advice -- Surfing the Digital Wave -- Surfing the Digital Wave -- Cse-Based Quality Management System using Expectation Values -- Cse-Based Quality Management System using Expectation Values -- ICARUS: Design and Deployment of a Case-Based Reasoning System for Locomotive Diagnostics -- ICARUS: Design and Deployment of a Case-Based Reasoning System for Locomotive Diagnostics. |
| Record Nr. | UNISA-996465620603316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
