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 Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / / edited by Uwe Egly, Christian G. Fernmüller
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / / edited by Uwe Egly, Christian G. Fernmüller |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 346 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
| ISBN | 3-540-45616-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert’s Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 — System Abstract. |
| Record Nr. | UNISA-996465375403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / / edited by Roy Dyckhoff
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / / edited by Roy Dyckhoff |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 440 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-45008-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local Symmetries in Propositional Logic -- Comparison -- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison -- Consistency Testing: The RACE Experience -- Benchmark Analysis with FaCT -- MSPASS: Modal Reasoning by Translation and First-Order Resolution -- TANCS-2000 Results for DLP -- Evaluating *SAT on TANCS 2000 Benchmarks -- Research Papers -- A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations -- A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus -- An Analytic Calculus for Quantified Propositional Gödel Logic -- A Tableau Method for Inconsistency-Adaptive Logics -- A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning -- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics -- Variants of First-Order Modal Logics -- Complexity of Simple Dependent Bimodal Logics -- Properties of Embeddings from Int to S4 -- Term-Modal Logics -- A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics -- Dual Intuitionistic Logic Revisited -- Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions -- Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints -- Matrix-Based Inductive Theorem Proving -- Monotonic Preorders for Free Variable Tableaux -- The Mosaic Method for Temporal Logics -- Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5 -- A Tableau Calculus for Equilibrium Entailment -- Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory -- Tableau Calculus for Only Knowing and Knowing At Most -- A Tableau-Like Representation Framework for Efficient Proof Reconstruction -- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q -- System Descriptions -- Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO -- E-SETHEO: An Automated3 Theorem Prover. |
| Record Nr. | UNISA-996466137003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / / edited by Roy Dyckhoff
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / / edited by Roy Dyckhoff |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 440 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-45008-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local Symmetries in Propositional Logic -- Comparison -- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison -- Consistency Testing: The RACE Experience -- Benchmark Analysis with FaCT -- MSPASS: Modal Reasoning by Translation and First-Order Resolution -- TANCS-2000 Results for DLP -- Evaluating *SAT on TANCS 2000 Benchmarks -- Research Papers -- A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations -- A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus -- An Analytic Calculus for Quantified Propositional Gödel Logic -- A Tableau Method for Inconsistency-Adaptive Logics -- A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning -- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics -- Variants of First-Order Modal Logics -- Complexity of Simple Dependent Bimodal Logics -- Properties of Embeddings from Int to S4 -- Term-Modal Logics -- A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics -- Dual Intuitionistic Logic Revisited -- Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions -- Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints -- Matrix-Based Inductive Theorem Proving -- Monotonic Preorders for Free Variable Tableaux -- The Mosaic Method for Temporal Logics -- Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5 -- A Tableau Calculus for Equilibrium Entailment -- Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory -- Tableau Calculus for Only Knowing and Knowing At Most -- A Tableau-Like Representation Framework for Efficient Proof Reconstruction -- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q -- System Descriptions -- Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO -- E-SETHEO: An Automated3 Theorem Prover. |
| Record Nr. | UNINA-9910767560303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / / edited by Didier Galmiche
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / / edited by Didier Galmiche |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Artificial intelligence Mathematical logic Computer System Implementation Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-69046-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MGTP: A model generation theorem prover — Its advanced features and applications — -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies. |
| Record Nr. | UNISA-996465546903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / / edited by Didier Galmiche
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / / edited by Didier Galmiche |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 380 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Artificial intelligence Mathematical logic Computer System Implementation Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-69046-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MGTP: A model generation theorem prover — Its advanced features and applications — -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies. |
| Record Nr. | UNINA-9910768459603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub
| The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub |
| Autore | Schaub Torsten |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 166 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69793-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives. |
| Record Nr. | UNINA-9910143474603321 |
Schaub Torsten
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub
| The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub |
| Autore | Schaub Torsten |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 166 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69793-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives. |
| Record Nr. | UNISA-996466100103316 |
|
Schaub Torsten
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge
| Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XV, 734 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Operations research Decision making Artificial Intelligence Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Computer Appl. in Social and Behavioral Sciences Operations Research/Decision Theory |
| ISBN | 3-540-45006-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Human-Centered CBR: Integrating Case-Based Reasoning with Knowledge Construction and Extension -- On the Role of the Cases in Case-Based Planning -- From Manual Knowledge Engineering to Bootstrapping: Progress in Information Extraction and NLP -- Scientific Papers -- SOFT-CBR: A Self-Optimizing Fuzzy Tool for Case-Based Reasoning -- Extracting Performers’ Behaviors to Annotate Cases in a CBR System for Musical Tempo Transformations -- Case-Based Ranking for Decision Support Systems -- Analogical Reasoning for Reuse of Object-Oriented Specifications -- Combining Case-Based and Model-Based Reasoning for Predicting the Outcome of Legal Cases -- Measuring the Similarity of Labeled Graphs -- Global Grade Selector: A Recommender System for Supporting the Sale of Plastic Resin -- Maximum Likelihood Hebbian Learning Based Retrieval Method for CBR Systems -- An Evaluation of the Usefulness of Case-Based Explanation -- Adaptation Guided Retrieval Based on Formal Concept Analysis -- Club ? (Trèfle): A Use Trace Model -- Case-Based Plan Recognition in Computer Games -- Solution Verification in Software Design: A CBR Approach -- Evaluation of Case-Based Maintenance Strategies in Software Design -- Optimal Case-Based Refinement of Adaptation Rule Bases for Engineering Design -- Detecting Outliers Using Rule-Based Modeling for Improving CBR-Based Software Quality Classification Models -- An Empirical Analysis of Linear Adaptation Techniques for Case-Based Prediction -- A Framework for Historical Case-Based Reasoning -- An Investigation of Generalized Cases -- On the Role of Diversity in Conversational Recommender Systems -- Similarity and Compromise -- The General Motors Variation-Reduction Adviser: Evolution of a CBR System -- Diversity-Conscious Retrieval from Generalized Cases: A Branch and Bound Algorithm -- Assessing Elaborated Hypotheses: An Interpretive Case-Based Reasoning Approach -- Soft Interchangeability for Case Adaptation -- Supporting the IT Security of eServices with CBR-Based Experience Management -- Improving Similarity Assessment with Entropy-Based Local Weighting -- Collaborative Case Retention Strategies for CBR Agents -- Efficient Real Time Maintenance of Retrieval Knowledge in Case-Based Reasoning -- Incremental Learning of Retrieval Knowledge in a Case-Based Reasoning System -- Case Base Management for Analog Circuits Diagnosis Improvement -- Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization -- A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation -- Product Recommendation with Interactive Query Management and Twofold Similarity -- Unifying Weighting and Case Reduction Methods Based on Rough Sets to Improve Retrieval -- A Knowledge Representation Format for Virtual IP Marketplaces -- Managing Experience for Process Improvement in Manufacturing -- Using Evolution Programs to Learn Local Similarity Measures -- Playing Mozart Phrase by Phrase -- Using Genetic Algorithms to Discover Selection Criteria for Contradictory Solutions Retrieved by CBR -- Using Case-Based Reasoning to Overcome High Computing Cost Interactive Simulations -- Predicting Software Development Project Outcomes -- An SQL-Based Approach to Similarity Assessment within a Relational Database -- Knowledge Capture and Reuse for Geo-spatial Imagery Tasks -- Index Driven Selective Sampling for CBR -- Case Base Reduction Using Solution-Space Metrics -- CBM-Gen+: An Algorithm for Reducing Case Base Inconsistencies in Hierarchical and Incomplete Domains -- Maintaining Consistency in Project Planning Reuse -- Case Mining from Large Databases -- Case Base Maintenance for Improving Prediction Quality -- Context-Awareness in User Modelling: Requirements Analysis for a Case-Based Reasoning Application. |
| Record Nr. | UNINA-9910143867403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge
| Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XV, 734 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Operations research Decision making Artificial Intelligence Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Computer Appl. in Social and Behavioral Sciences Operations Research/Decision Theory |
| ISBN | 3-540-45006-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Human-Centered CBR: Integrating Case-Based Reasoning with Knowledge Construction and Extension -- On the Role of the Cases in Case-Based Planning -- From Manual Knowledge Engineering to Bootstrapping: Progress in Information Extraction and NLP -- Scientific Papers -- SOFT-CBR: A Self-Optimizing Fuzzy Tool for Case-Based Reasoning -- Extracting Performers’ Behaviors to Annotate Cases in a CBR System for Musical Tempo Transformations -- Case-Based Ranking for Decision Support Systems -- Analogical Reasoning for Reuse of Object-Oriented Specifications -- Combining Case-Based and Model-Based Reasoning for Predicting the Outcome of Legal Cases -- Measuring the Similarity of Labeled Graphs -- Global Grade Selector: A Recommender System for Supporting the Sale of Plastic Resin -- Maximum Likelihood Hebbian Learning Based Retrieval Method for CBR Systems -- An Evaluation of the Usefulness of Case-Based Explanation -- Adaptation Guided Retrieval Based on Formal Concept Analysis -- Club ? (Trèfle): A Use Trace Model -- Case-Based Plan Recognition in Computer Games -- Solution Verification in Software Design: A CBR Approach -- Evaluation of Case-Based Maintenance Strategies in Software Design -- Optimal Case-Based Refinement of Adaptation Rule Bases for Engineering Design -- Detecting Outliers Using Rule-Based Modeling for Improving CBR-Based Software Quality Classification Models -- An Empirical Analysis of Linear Adaptation Techniques for Case-Based Prediction -- A Framework for Historical Case-Based Reasoning -- An Investigation of Generalized Cases -- On the Role of Diversity in Conversational Recommender Systems -- Similarity and Compromise -- The General Motors Variation-Reduction Adviser: Evolution of a CBR System -- Diversity-Conscious Retrieval from Generalized Cases: A Branch and Bound Algorithm -- Assessing Elaborated Hypotheses: An Interpretive Case-Based Reasoning Approach -- Soft Interchangeability for Case Adaptation -- Supporting the IT Security of eServices with CBR-Based Experience Management -- Improving Similarity Assessment with Entropy-Based Local Weighting -- Collaborative Case Retention Strategies for CBR Agents -- Efficient Real Time Maintenance of Retrieval Knowledge in Case-Based Reasoning -- Incremental Learning of Retrieval Knowledge in a Case-Based Reasoning System -- Case Base Management for Analog Circuits Diagnosis Improvement -- Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization -- A Hybrid System with Multivariate Data Validation and Case Base Reasoning for an Efficient and Realistic Product Formulation -- Product Recommendation with Interactive Query Management and Twofold Similarity -- Unifying Weighting and Case Reduction Methods Based on Rough Sets to Improve Retrieval -- A Knowledge Representation Format for Virtual IP Marketplaces -- Managing Experience for Process Improvement in Manufacturing -- Using Evolution Programs to Learn Local Similarity Measures -- Playing Mozart Phrase by Phrase -- Using Genetic Algorithms to Discover Selection Criteria for Contradictory Solutions Retrieved by CBR -- Using Case-Based Reasoning to Overcome High Computing Cost Interactive Simulations -- Predicting Software Development Project Outcomes -- An SQL-Based Approach to Similarity Assessment within a Relational Database -- Knowledge Capture and Reuse for Geo-spatial Imagery Tasks -- Index Driven Selective Sampling for CBR -- Case Base Reduction Using Solution-Space Metrics -- CBM-Gen+: An Algorithm for Reducing Case Base Inconsistencies in Hierarchical and Incomplete Domains -- Maintaining Consistency in Project Planning Reuse -- Case Mining from Large Databases -- Case Base Maintenance for Improving Prediction Quality -- Context-Awareness in User Modelling: Requirements Analysis for a Case-Based Reasoning Application. |
| Record Nr. | UNISA-996466062703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910143596603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
