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-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / / Renate A. Schmidt
| Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / / Renate A. Schmidt |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (515 p.) |
| Disciplina | 006.3 |
| Collana |
Lecture notes in computer science
Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Logic, Symbolic and mathematical
Automatic theorem proving |
| ISBN |
1-282-33197-3
9786612331978 3-642-02959-0 |
| Classificazione |
DAT 706f
DAT 716f SS 4800 004 510 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talk -- Integrated Reasoning and Proof Choice Point Selection in the Jahob System – Mechanisms for Program Survival -- Session 2. Combinations and Extensions -- Superposition and Model Evolution Combined -- On Deciding Satisfiability by DPLL( ) and Unsound Theorem Proving -- Combinable Extensions of Abelian Groups -- Locality Results for Certain Extensions of Theories with Bridging Functions -- Session 3. Minimal Unsatisfiability and Automated Reasoning Support -- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis -- Does This Set of Clauses Overlap with at Least One MUS? -- Progress in the Development of Automated Theorem Proving for Higher-Order Logic -- Session 4. System Descriptions -- System Description: H-PILoT -- SPASS Version 3.5 -- Dei: A Theorem Prover for Terms with Integer Exponents -- veriT: An Open, Trustable and Efficient SMT-Solver -- Divvy: An ATP Meta-system Based on Axiom Relevance Ordering -- Session 5. Invited Talk -- Instantiation-Based Automated Reasoning: From Theory to Practice -- Session 6. Interpolation and Predicate Abstraction -- Interpolant Generation for UTVPI -- Ground Interpolation for Combined Theories -- Interpolation and Symbol Elimination -- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction -- Session 7. Resolution-Based Systems for Non-classical Logics -- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method -- A Refined Resolution Calculus for CTL -- Fair Derivations in Monodic Temporal Reasoning -- Session 8. Termination Analysis and Constraint Solving -- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs -- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic -- Session 9. Invited Talk -- Building Theorem Provers -- Session 10. Rewriting, Termination and Productivity -- Termination Analysis by Dependency Pairs and Inductive Theorem Proving -- Beyond Dependency Graphs -- Computing Knowledge in Security Protocols under Convergent Equational Theories -- Complexity of Fractran and Productivity -- Session 11. Models -- Automated Inference of Finite Unsatisfiability -- Decidability Results for Saturation-Based Model Building -- Session 12. Modal Tableaux with Global Caching -- A Tableau Calculus for Regular Grammar Logics with Converse -- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability -- Session 13. Arithmetic -- Volume Computation for Boolean Combination of Linear Arithmetic Constraints -- A Generalization of Semenov’s Theorem to Automata over Real Numbers -- Real World Verification. |
| Altri titoli varianti | CADE 22 |
| Record Nr. | UNISA-996465837603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction -- CADE-24 [[electronic resource] ] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / / edited by Maria Paola Bonacina
| Automated Deduction -- CADE-24 [[electronic resource] ] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / / edited by Maria Paola Bonacina |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 95 illus.) : digital |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Algorithms Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress2013.Lake Placid, NY
Conference papers and proceedings. |
| ISBN | 3-642-38574-5 |
| Classificazione |
004
510 DAT 706f DAT 716f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | One Logic to Use Them All -- The Tree Width of Separation Logic with Recursive Definitions -- Hierarchic Superposition with Weak Abstraction -- Completeness and Decidability Results for First-Order Clauses with Indices -- A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies -- Tractable Inference Systems: An Extension with a Deducibility Predicate -- Computing Tiny Clause Normal Forms -- System Description: E-KRHyper 1.4 Extensions for Unique Names and Description Logic -- Analysing Vote Counting Algorithms via Logic: And Its Application to the CADE Election Scheme -- Automated Reasoning, Fast and Slow -- Foundational Proof Certificates in First-Order Logic -- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals -- A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition -- dReal: An SMT Solver for Nonlinear Theories over the Reals -- Solving Difference Constraints over Modular Arithmetic -- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis -- Hierarchical Combination -- PRocH: Proof Reconstruction for HOL Light -- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description -- Towards Modularly Comparing Programs Using Automated Theorem Provers -- Reuse in Software Verification by Abstract Method Calls -- Dynamic Logic with Trace Semantics -- Temporalizing Ontology-Based Data Access -- Verifying Refutations with Extended Resolution -- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems -- Quantifier Instantiation Techniques for Finite Model Finding in SMT -- Automating Inductive Proofs Using Theory Exploration -- E-MaLeS 1.1 -- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism -- Propositional Temporal Proving with Reductions to a SAT Problem -- InKreSAT: Modal Reasoning via Incremental Reduction to SAT -- bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR -- The 481 Ways to Split a Clause and Deal with Propositional Variables. |
| Record Nr. | UNISA-996465852703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / / edited by Maria Paola Bonacina
| Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / / edited by Maria Paola Bonacina |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 95 illus.) : digital |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer science Software engineering Algorithms Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN | 3-642-38574-5 |
| Classificazione |
004
510 DAT 706f DAT 716f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | One Logic to Use Them All -- The Tree Width of Separation Logic with Recursive Definitions -- Hierarchic Superposition with Weak Abstraction -- Completeness and Decidability Results for First-Order Clauses with Indices -- A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies -- Tractable Inference Systems: An Extension with a Deducibility Predicate -- Computing Tiny Clause Normal Forms -- System Description: E-KRHyper 1.4 Extensions for Unique Names and Description Logic -- Analysing Vote Counting Algorithms via Logic: And Its Application to the CADE Election Scheme -- Automated Reasoning, Fast and Slow -- Foundational Proof Certificates in First-Order Logic -- Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals -- A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition -- dReal: An SMT Solver for Nonlinear Theories over the Reals -- Solving Difference Constraints over Modular Arithmetic -- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis -- Hierarchical Combination -- PRocH: Proof Reconstruction for HOL Light -- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description -- Towards Modularly Comparing Programs Using Automated Theorem Provers -- Reuse in Software Verification by Abstract Method Calls -- Dynamic Logic with Trace Semantics -- Temporalizing Ontology-Based Data Access -- Verifying Refutations with Extended Resolution -- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems -- Quantifier Instantiation Techniques for Finite Model Finding in SMT -- Automating Inductive Proofs Using Theory Exploration -- E-MaLeS 1.1 -- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism -- Propositional Temporal Proving with Reductions to a SAT Problem -- InKreSAT: Modal Reasoning via Incremental Reduction to SAT -- bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR -- The 481 Ways to Split a Clause and Deal with Propositional Variables. |
| Record Nr. | UNINA-9910483964403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / / edited by Renate Schmidt
| Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / / edited by Renate Schmidt |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (515 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Compilers (Computer programs) Computer programming Machine theory Computer science Software engineering Artificial Intelligence Compilers and Interpreters Programming Techniques Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN |
1-282-33197-3
9786612331978 3-642-02959-0 |
| Classificazione |
DAT 706f
DAT 716f SS 4800 004 510 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talk -- Integrated Reasoning and Proof Choice Point Selection in the Jahob System – Mechanisms for Program Survival -- Session 2. Combinations and Extensions -- Superposition and Model Evolution Combined -- On Deciding Satisfiability by DPLL( ) and Unsound Theorem Proving -- Combinable Extensions of Abelian Groups -- Locality Results for Certain Extensions of Theories with Bridging Functions -- Session 3. Minimal Unsatisfiability and Automated Reasoning Support -- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis -- Does This Set of Clauses Overlap with at Least One MUS? -- Progress in the Development of Automated Theorem Proving for Higher-Order Logic -- Session 4. System Descriptions -- System Description: H-PILoT -- SPASS Version 3.5 -- Dei: A Theorem Prover for Terms with Integer Exponents -- veriT: An Open, Trustable and Efficient SMT-Solver -- Divvy: An ATP Meta-system Based on Axiom Relevance Ordering -- Session 5. Invited Talk -- Instantiation-Based Automated Reasoning: From Theory to Practice -- Session 6. Interpolation and Predicate Abstraction -- Interpolant Generation for UTVPI -- Ground Interpolation for Combined Theories -- Interpolation and Symbol Elimination -- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction -- Session 7. Resolution-Based Systems for Non-classical Logics -- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method -- A Refined Resolution Calculus for CTL -- Fair Derivations in Monodic Temporal Reasoning -- Session 8. Termination Analysis and Constraint Solving -- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs -- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic -- Session 9. Invited Talk.-Building Theorem Provers -- Session 10. Rewriting, Termination and Productivity -- Termination Analysis by Dependency Pairs and Inductive Theorem Proving -- Beyond Dependency Graphs -- Computing Knowledge in Security Protocols under Convergent Equational Theories -- Complexity of Fractran and Productivity -- Session 11. Models -- Automated Inference of Finite Unsatisfiability -- Decidability Results for Saturation-Based Model Building -- Session 12. Modal Tableaux with Global Caching -- A Tableau Calculus for Regular Grammar Logics with Converse -- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability -- Session 13. Arithmetic -- Volume Computation for Boolean Combination of Linear Arithmetic Constraints -- A Generalization of Semenov’s Theorem to Automata over Real Numbers -- Real World Verification. |
| Record Nr. | UNINA-9910483050003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning and Mathematics [[electronic resource] ] : Essays in Memory of William W. McCune / / edited by Maria Paola Bonacina, Mark E. Stickel
| Automated Reasoning and Mathematics [[electronic resource] ] : Essays in Memory of William W. McCune / / edited by Maria Paola Bonacina, Mark E. Stickel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 259 p. 27 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Math Applications in Computer Science |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-642-36675-9 |
| Classificazione |
DAT 700f
DAT 702f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466265003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune / / edited by Maria Paola Bonacina, Mark E. Stickel
| Automated Reasoning and Mathematics : Essays in Memory of William W. McCune / / edited by Maria Paola Bonacina, Mark E. Stickel |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 259 p. 27 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer science Computer science - Mathematics Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematical Applications in Computer Science |
| ISBN | 3-642-36675-9 |
| Classificazione |
DAT 700f
DAT 702f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483182703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 341 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Software Engineering |
| Soggetto genere / forma |
Kongress2009.Oslo
Conference papers and proceedings. Kongress. Oslo (2009) |
| ISBN | 3-642-02716-4 |
| Classificazione |
DAT 706f
SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Presenting Constraints -- On the Use of Automata for Deciding Linear Arithmetic -- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus -- A Schemata Calculus for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A Novel Architecture for Situation Awareness Systems -- On the Proof Theory of Regular Fixed Points -- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus -- A Tableau-Based System for Spatial Reasoning about Directional Relations -- Terminating Tableaux for the Basic Fragment of Simple Type Theory -- Modular Sequent Systems for Modal Logic -- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions -- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories -- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference -- Sound Global State Caching for ALC with Inverse Roles -- A Tableau System for the Modal ?-Calculus -- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies -- Prime Implicate Tries -- Proof Systems for a Gödel Modal Logic -- Generic Modal Cut Elimination Applied to Conditional Logics -- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents -- Automated Synthesis of Tableau Calculi -- Tableaux for Projection Computation and Knowledge Compilation. |
| Record Nr. | UNISA-996465384603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler
| Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 341 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
GieseMartin
WaalerArild |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer programming Software engineering Artificial Intelligence Formal Languages and Automata Theory Programming Techniques Software Engineering |
| ISBN | 3-642-02716-4 |
| Classificazione |
DAT 706f
SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Presenting Constraints -- On the Use of Automata for Deciding Linear Arithmetic -- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus -- A Schemata Calculus for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A Novel Architecture for Situation Awareness Systems -- On the Proof Theory of Regular Fixed Points -- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus -- A Tableau-Based System for Spatial Reasoning about Directional Relations -- Terminating Tableaux for the Basic Fragment of Simple Type Theory -- Modular Sequent Systems for Modal Logic -- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions -- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories -- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference -- Sound Global State Caching for ALC with Inverse Roles -- A Tableau System for the Modal ?-Calculus -- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies -- Prime Implicate Tries -- Proof Systems for a Gödel Modal Logic -- Generic Modal Cut Elimination Applied to Conditional Logics -- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents -- Automated Synthesis of Tableau Calculi -- Tableaux for Projection Computation and Knowledge Compilation. |
| Record Nr. | UNINA-9910485143803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : 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 : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / / edited by Lorraine McGinty, David C. Wilson
| Case-Based Reasoning Research and Development : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / / edited by Lorraine McGinty, David C. Wilson |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Compilers (Computer programs) Machine theory Business information services Artificial Intelligence Compilers and Interpreters Formal Languages and Automata Theory IT in Business |
| 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, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
