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.
Advances in Artificial Intelligence [[electronic resource] ] : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / / edited by Guilherme Bittencourt, Geber L. Ramalho
| Advances in Artificial Intelligence [[electronic resource] ] : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / / edited by Guilherme Bittencourt, Geber L. Ramalho |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 422 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Database management Artificial Intelligence Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-36127-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical and Logical Methods -- On Special Functions and Theorem Proving in Logics for ‘Generally’ -- First-Order Contextual Reasoning -- Logics for Approximate Reasoning: Approximating Classical Logic “From Above” -- Attacking the Complexity of Prioritized Inference Preliminary Report -- A New Approach to the Identification Problem -- Towards Default Reasoning through MAX-SAT -- Autonomous Agents and Multi-agent Systems -- Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers -- Altruistic Agents in Dynamic Games -- Towards a Methodology for Experiments with Autonomous Agents -- How Planning Becomes Improvisation? — A Constraint Based Approach for Director Agents in Improvisational Systems -- Extending the Computational Study of Social Norms with a Systematic Model of Emotions -- A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems -- The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle -- The Conception of Agents as Part of a Social Model of Distance Learning -- Emotional Valence-Based Mechanisms and Agent Personality -- Simplifying Mobile Agent Development through Reactive Mobility by Failure -- Dynamic Social Knowledge: The Timing Evidence -- Machine Learning -- Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model -- Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination -- Automatic Text Summarization Using a Machine Learning Approach -- Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases -- Speeding up Recommender Systems with Meta-prototypes -- ActiveCP: A Method for Speeding up User Preferences Acquisition in Collaborative Filtering Systems -- Making Recommendations for Groups Using Collaborative Filtering and Fuzzy Majority -- Knowledge Discovery and Data Mining -- Mining Comprehensible Rules from Data with an Ant Colony Algorithm -- Learning in Fuzzy Boolean Networks — Rule Distinguishing Power -- Attribute Selection with a Multi-objective Genetic Algorithm -- Applying the Process of Knowledge Discovery in Databases to Identify Analysis Patterns for Reuse in Geographic Database Design -- Lithology Recognition by Neural Network Ensembles -- Evolutionary Computation and Artificial Life -- 2-Opt Population Training for Minimization of Open Stack Problem -- Grammar-Guided Genetic Programming and Automatically Defined Functions -- An Evolutionary Behavior Tool for Reactive Multi-agent Systems -- Controlling the Population Size in Genetic Programming -- Uncertainty -- The Correspondence Problem under an Uncertainty Reasoning Approach -- Random Generation of Bayesian Networks -- Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability -- Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations -- Natural Language Processing -- Syntactic Analysis for Ellipsis Handling in Coordinated Clauses -- Assessment of Selection Restrictions Acquisition. |
| Record Nr. | UNISA-996465398403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / / edited by Guilherme Bittencourt, Geber L. Ramalho
| Advances in Artificial Intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / / edited by Guilherme Bittencourt, Geber L. Ramalho |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 422 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Database management Artificial Intelligence Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-36127-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical and Logical Methods -- On Special Functions and Theorem Proving in Logics for ‘Generally’ -- First-Order Contextual Reasoning -- Logics for Approximate Reasoning: Approximating Classical Logic “From Above” -- Attacking the Complexity of Prioritized Inference Preliminary Report -- A New Approach to the Identification Problem -- Towards Default Reasoning through MAX-SAT -- Autonomous Agents and Multi-agent Systems -- Multiple Society Organisations and Social Opacity: When Agents Play the Role of Observers -- Altruistic Agents in Dynamic Games -- Towards a Methodology for Experiments with Autonomous Agents -- How Planning Becomes Improvisation? — A Constraint Based Approach for Director Agents in Improvisational Systems -- Extending the Computational Study of Social Norms with a Systematic Model of Emotions -- A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems -- The Queen Robots: Behaviour-Based Situated Robots Solving the N-Queens Puzzle -- The Conception of Agents as Part of a Social Model of Distance Learning -- Emotional Valence-Based Mechanisms and Agent Personality -- Simplifying Mobile Agent Development through Reactive Mobility by Failure -- Dynamic Social Knowledge: The Timing Evidence -- Machine Learning -- Empirical Studies of Neighborhood Shapes in the Massively Parallel Diffusion Model -- Ant-ViBRA: A Swarm Intelligence Approach to Learn Task Coordination -- Automatic Text Summarization Using a Machine Learning Approach -- Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases -- Speeding up Recommender Systems with Meta-prototypes -- ActiveCP: A Method for Speeding up User Preferences Acquisition in Collaborative Filtering Systems -- Making Recommendations for Groups Using Collaborative Filtering and Fuzzy Majority -- Knowledge Discovery and Data Mining -- Mining Comprehensible Rules from Data with an Ant Colony Algorithm -- Learning in Fuzzy Boolean Networks — Rule Distinguishing Power -- Attribute Selection with a Multi-objective Genetic Algorithm -- Applying the Process of Knowledge Discovery in Databases to Identify Analysis Patterns for Reuse in Geographic Database Design -- Lithology Recognition by Neural Network Ensembles -- Evolutionary Computation and Artificial Life -- 2-Opt Population Training for Minimization of Open Stack Problem -- Grammar-Guided Genetic Programming and Automatically Defined Functions -- An Evolutionary Behavior Tool for Reactive Multi-agent Systems -- Controlling the Population Size in Genetic Programming -- Uncertainty -- The Correspondence Problem under an Uncertainty Reasoning Approach -- Random Generation of Bayesian Networks -- Evidence Propagation in Credal Networks: An Exact Algorithm Based on Separately Specified Sets of Probability -- Restoring Consistency in Systems of Fuzzy Gradual Rules Using Similarity Relations -- Natural Language Processing -- Syntactic Analysis for Ellipsis Handling in Coordinated Clauses -- Assessment of Selection Restrictions Acquisition. |
| Record Nr. | UNINA-9910143896503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||