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.
AI 2001: Advances in Artificial Intelligence [[electronic resource] ] : 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / / edited by Mike Brooks, Dan Corbett, Markus Stumptner
| AI 2001: Advances in Artificial Intelligence [[electronic resource] ] : 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / / edited by Mike Brooks, Dan Corbett, Markus Stumptner |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 672 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-45656-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- A Memetic Pareto Evolutionary Approach to Artificial Neural Networks -- Relating Defeasible and Default Logic -- Resolving Minsky’s Paradox : The d-Dimensional Normal Distribution Case -- Solving Overconstrained Temporal Reasoning Problems -- How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search -- Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations -- Phased Array Sub-beam Optimisation -- Generation of Facial Expressions from Emotion Using a Fuzzy Rule Based System -- An Efficient Form Classification Method Using Partial Matching -- Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance -- Postdiction Problems in Dynamic Logic -- A Method for Reasoning with Ontologies Represented as Conceptual Graphs -- Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management -- State Minimization Re-visited -- Decidability of Quantifed Propositional Branching Time Logics -- Improved Techniques for an Iris Recognition System with High Performance -- An Investigation of an Adaptive Poker Player -- Acquiring Adaptation Knowledge for CBR with MIKAS -- A Real-Time Region-Based Motion Segmentation Using Adaptive Thresholding and K-Means Clustering -- Automatic Cell Classification in Human’s Peripheral Blood Images Based on Morphological Image Processing -- Formal Concept Analysis for Domain-Specific Document Retrieval Systems -- Learner’s self-assessment: a case study of SVM for information retrieval -- A Semiotic Model of Communication and Its Implications for the Digital City Development -- Simulations for Comparing Knowledge Acquisition and Machine Learning -- Application of Genetic Algorithms to the Optimisation of Neural Network Configuration for Stock Market Forecasting -- Updating epistemic states -- Fast Text Classification Using Sequential Sampling Processes -- Agents in a Multi-cultural World: Towards Ontological Reconciliation -- Logical Foundations for Reasoning about Trust in Secure Digital Communication -- Phe-Q : A Pheromone Based Q-Learning -- Specification of Kansei Patterns in an Adaptive Perceptual Space -- Embodying the JACK Agent Architecture -- Towards an Ontology of Part-of -- Actions Made Explicit in BDI -- Wrapping Boosters against Noise -- Continuous Temporal Models -- Language and Commonsense Knowledge -- Simulation of Network Security with Collaboration among IDS Models -- Programming Spoken Dialogs Using Grammatical Inference -- Towards Genetic Programming for Texture Classification -- Using Design Information to Identify Structural Software Faults -- The Application of AI to Automatically Generated Animation -- Planning with Noisy Actions (Preliminary Report) -- Getting the Job Done in a Hostile Environment -- Solving the Qualification Problem (In the Presence of the Frame Problem) -- Dialogue Modelling for a Conversational Agent -- Candidate Elimination Criteria for Lazy Bayesian Rules -- Simplifying the Development of Intelligent Agents -- An Operational Semantics for a PRS-Like Agent Architecture -- A Model of Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction -- Collecting Quality Data for Database Mining -- Further Pruning for Efficient Association Rule Discovery -- Pattern Discovery in Probabilistic Databases -- The Complexity of Logic Program Updates -- Reasoning with Multimedia Information Using Symbolic Projection -- Invited Contribution -- Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision. |
| Record Nr. | UNISA-996465334003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AI 2001: Advances in Artificial Intelligence : 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / / edited by Mike Brooks, Dan Corbett, Markus Stumptner
| AI 2001: Advances in Artificial Intelligence : 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings / / edited by Mike Brooks, Dan Corbett, Markus Stumptner |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 672 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Artificial Intelligence Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-45656-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- A Memetic Pareto Evolutionary Approach to Artificial Neural Networks -- Relating Defeasible and Default Logic -- Resolving Minsky’s Paradox : The d-Dimensional Normal Distribution Case -- Solving Overconstrained Temporal Reasoning Problems -- How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search -- Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations -- Phased Array Sub-beam Optimisation -- Generation of Facial Expressions from Emotion Using a Fuzzy Rule Based System -- An Efficient Form Classification Method Using Partial Matching -- Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance -- Postdiction Problems in Dynamic Logic -- A Method for Reasoning with Ontologies Represented as Conceptual Graphs -- Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management -- State Minimization Re-visited -- Decidability of Quantifed Propositional Branching Time Logics -- Improved Techniques for an Iris Recognition System with High Performance -- An Investigation of an Adaptive Poker Player -- Acquiring Adaptation Knowledge for CBR with MIKAS -- A Real-Time Region-Based Motion Segmentation Using Adaptive Thresholding and K-Means Clustering -- Automatic Cell Classification in Human’s Peripheral Blood Images Based on Morphological Image Processing -- Formal Concept Analysis for Domain-Specific Document Retrieval Systems -- Learner’s self-assessment: a case study of SVM for information retrieval -- A Semiotic Model of Communication and Its Implications for the Digital City Development -- Simulations for Comparing Knowledge Acquisition and Machine Learning -- Application of Genetic Algorithms to the Optimisation of Neural Network Configuration for Stock Market Forecasting -- Updating epistemic states -- Fast Text Classification Using Sequential Sampling Processes -- Agents in a Multi-cultural World: Towards Ontological Reconciliation -- Logical Foundations for Reasoning about Trust in Secure Digital Communication -- Phe-Q : A Pheromone Based Q-Learning -- Specification of Kansei Patterns in an Adaptive Perceptual Space -- Embodying the JACK Agent Architecture -- Towards an Ontology of Part-of -- Actions Made Explicit in BDI -- Wrapping Boosters against Noise -- Continuous Temporal Models -- Language and Commonsense Knowledge -- Simulation of Network Security with Collaboration among IDS Models -- Programming Spoken Dialogs Using Grammatical Inference -- Towards Genetic Programming for Texture Classification -- Using Design Information to Identify Structural Software Faults -- The Application of AI to Automatically Generated Animation -- Planning with Noisy Actions (Preliminary Report) -- Getting the Job Done in a Hostile Environment -- Solving the Qualification Problem (In the Presence of the Frame Problem) -- Dialogue Modelling for a Conversational Agent -- Candidate Elimination Criteria for Lazy Bayesian Rules -- Simplifying the Development of Intelligent Agents -- An Operational Semantics for a PRS-Like Agent Architecture -- A Model of Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction -- Collecting Quality Data for Database Mining -- Further Pruning for Efficient Association Rule Discovery -- Pattern Discovery in Probabilistic Databases -- The Complexity of Logic Program Updates -- Reasoning with Multimedia Information Using Symbolic Projection -- Invited Contribution -- Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision. |
| Record Nr. | UNINA-9910143918903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conceptual Structures: Integration and Interfaces [[electronic resource] ] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova
| Conceptual Structures: Integration and Interfaces [[electronic resource] ] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XI, 400 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45483-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families. |
| Record Nr. | UNISA-996465523103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova
| Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / / edited by Uta Priss, Dan Corbett, Galia Angelova |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XI, 400 p.) |
| Disciplina | 003/.54 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45483-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families. |
| Record Nr. | UNINA-9910143883603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||