Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [[electronic resource] ] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 / / edited by Jaime Simao Sichman, Helder Coelho, Solange Oliveira Rezende |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XXIII, 635 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Algorithms Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
ISBN | 3-540-45464-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Speakers -- Organizing Software Agents -- Learning, Logic, and Probability: A Unified View -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects: An Agent Approach to Create Reusable Intelligent Learning Environments with Learning Objects -- An Experimental Study of Effective Feedback Strategies for Intelligent Tutorial Systems for Foreign Language -- Autonomous Agents and Multiagent Systems -- Coordination with Collective and Individual Decisions -- Negotiator Agents for the Patrolling Task -- Running Agents in Mobile Devices -- A Multi Agent Based Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis in OISE?+? Organizational Modeling -- Simulations Show That Shame Drives Social Cohesion -- SILENT AGENTS: From Observation to Tacit Communication -- Simulating Working Environments Through the Use of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition of Hotspots and Patrol Routes -- Learning by Knowledge Sharing in Autonomous Intelligent Systems -- Formal Analysis of a Probabilistic Knowledge Communication Framework -- Computer Vision and Pattern Recognition -- Color Image Segmentation Through Unsupervised Gaussian Mixture Models -- An Image Analysis Methodology Based on Deterministic Tourist Walks -- Feature Characterization in Iris Recognition with Stochastic Autoregressive Models -- Cryptographic Keys Generation Using FingerCodes -- Evolutionary Computation and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem -- Two-Phase GA-Based Model to Learn Generalized Hyper-heuristics for the 2D-Cutting Stock Problem -- Mirrored Traveling Tournament Problem: An Evolutionary Approach -- Pattern Sequencing Problems by Clustering Search -- Hybrid Systems (Fuzzy, Genetic, Neural, Symbolic) -- Development of a Hybrid Intelligent System for Electrical Load Forecasting -- Extending a Hybrid CBR-ANN Model by Modeling Predictive Attributes Using Fuzzy Sets -- Development of a Neural Sensor for On-Line Prediction of Coagulant Dosage in a Potable Water Treatment Plant in the Way of Its Diagnosis -- Multi-objective Memetic Algorithm Applied to the Automated Synthesis of Analog Circuits -- A Hybrid Learning Strategy for Discovery of Policies of Action -- Knowledge Acquisition and Machine Learning -- A Fractal Dimension Based Filter Algorithm to Select Features for Supervised Learning -- Comparing Meta-learning Algorithms -- A New Linear Dimensionality Reduction Technique Based on Chernoff Distance -- A Machine Learning Approach to the Identification of Appositives -- Parameterized Imprecise Classification: Elicitation and Assessment -- Evolutionary Training of SVM for Multiple Category Classification Problems with Self-adaptive Parameters -- Time-Space Ensemble Strategies for Automatic Music Genre Classification -- Predictive and Descriptive Approaches to Learning Game Rules from Vision Data -- Knowledge Discovery and Data Mining -- Mining Intonation Corpora Using Knowledge Driven Sequential Clustering -- Using Common Sense to Recognize Cultural Differences -- Detection of Repetitive Patterns in Action Sequences with Noise in Programming by Demonstration -- Knowledge Engineering, Ontologies and Case Based Reasoning -- Supporting Ontology-Based Semantic Matching of Web Services in MoviLog -- Learning Similarity Metrics from Case Solution Similarity -- Knowledge Representation and Reasoning -- Epistemic Actions and Ontic Actions: A Unified Logical Framework -- Strings and Holes: An Exercise on Spatial Reasoning -- A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus -- PFORTE: Revising Probabilistic FOL Theories -- Rule Schemata for Game Artificial Intelligence -- Neutral Language Processing -- Selecting a Feature Set to Summarize Texts in Brazilian Portuguese -- Word Sense Disambiguation Based on Word Sense Clustering -- Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese -- Shallow Parsing Based on Comma Values -- Planning and Scheduling -- Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes -- Achieving Conditional Plans Through the Use of Classical Planning Algorithms -- Assessing the Value of Future and Present Options in Real-Time Planning -- Reading PDDL, Writing an Object-Oriented Model -- Robotics -- A Reactive Lazy PRM Approach for Nonholonomic Motion Planning -- Negative Information in Cooperative Multirobot Localization -- Gait Control Generation for Physically Based Simulated Robots Using Genetic Algorithms -- Does Complex Learning Require Complex Connectivity? -- Theoretical and Logical Methods -- The Predicate-Minimizing Logic MIN -- Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies -- Uncertainty -- Probabilistic Logic with Strong Independence -- Bayesian Model Combination and Its Application to Cervical Cancer Detection. |
Record Nr. | UNISA-996465924903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Electricity Markets with Increasing Levels of Renewable Generation: Structure, Operation, Agent-based Simulation, and Emerging Designs / / edited by Fernando Lopes, Helder Coelho |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (327 pages) : illustrations, tables |
Disciplina | 381.456213 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Energy systems
Computational intelligence Energy policy Energy and state Energy Systems Computational Intelligence Energy Policy, Economics and Management |
ISBN | 3-319-74263-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Overview of Wholesale Electricity Markets -- Market Prices in a Power Market with more than 50% Wind Power -- Incentivizing Flexibility in System Operations -- Requirements for Strategic Reserves in a Liberalized Market with Wind Power -- Renewable Generation, Support Policies and the Merit Order Effect: A Comprehensive Overview and the Case of Wind Power in Portugal -- Demand Response in Electricity Markets: An Overview and a Study of the Price-effect on the Iberian Daily Market -- Multi-Agent Electricity Markets and Smart Grids Simulation with Connection to Real Physical Resources. |
Record Nr. | UNINA-9910299949903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Negotiation and argumentation in multi-agent systems : fundamentals, theories, systems and applications / / Fernando Lopes, editor ; Helder Coelho, co-editor |
Pubbl/distr/stampa | Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 006.3 |
Soggetto topico | Multiagent systems |
Soggetto genere / forma | Electronic books. |
ISBN | 1-60805-824-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; EUL; Dedication; Contents; Preface; List of Contributors; Part I; Chapter 01; Chapter 02; Chapter 03; Chapter 04; Part II; Chapter 05; Chapter 06; Chapter 07; Chapter 08; Chapter 09; Part III; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Index |
Record Nr. | UNINA-9910464361003321 |
Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Negotiation and argumentation in multi-agent systems : fundamentals, theories, systems and applications / / Fernando Lopes, editor ; Helder Coelho, co-editor |
Pubbl/distr/stampa | Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 006.3 |
Soggetto topico | Multiagent systems |
ISBN | 1-60805-824-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; EUL; Dedication; Contents; Preface; List of Contributors; Part I; Chapter 01; Chapter 02; Chapter 03; Chapter 04; Part II; Chapter 05; Chapter 06; Chapter 07; Chapter 08; Chapter 09; Part III; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Index |
Record Nr. | UNINA-9910786925103321 |
Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Negotiation and argumentation in multi-agent systems : fundamentals, theories, systems and applications / / Fernando Lopes, editor ; Helder Coelho, co-editor |
Pubbl/distr/stampa | Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 006.3 |
Soggetto topico | Multiagent systems |
ISBN | 1-60805-824-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; EUL; Dedication; Contents; Preface; List of Contributors; Part I; Chapter 01; Chapter 02; Chapter 03; Chapter 04; Part II; Chapter 05; Chapter 06; Chapter 07; Chapter 08; Chapter 09; Part III; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Index |
Record Nr. | UNINA-9910827605203321 |
Sharjah, United Arab Emirates : , : Bentham Science Publishers, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Progress in artificial intelligence-IBERAMIA 98 : 6th Ibero-American conference on AI, Lisbon, Portugual, October 5-9, 1998, proceedings / / Helder Coelho, editor |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] |
Descrizione fisica | 1 online resource (XIV, 422 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-49795-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Modelling Intelligent Behaviour: The Markov Decision Process Approach -- Emergence and Cognition: Towards a Synthetic Paradigm in AI and Cognitive Science -- The “Semantics” of Evolution: Trajectories and Trade-Offs in Design Space and Niche Space -- Searching the World Wide Web: Challenges and Partial Solutions -- Distributed Artificial Intelligence -- Groups and Societies: One and the Same Thing? -- From Mental States and Architectures to Agents’ Programming -- Genetic Integration in a Multiagent System for Job-Shop Scheduling -- A New Dynamic Model for a Multi-Agent Formation -- A Case of Multiagent Decision Support: Using Autonomous Agents for Urban Traffic Control -- Machine Learning -- Lazy Learning Algorithms for Problems with Many Binary Features and Classes -- GD: A Measure Based on Information Theory for Attribute Selection -- Robust Incremental Clustering with Bad Instance Orderings: A New Strategy -- Distributed Reinforcement Learning in Multi-agent Decision Systems -- Dynamic Discretization of Continuous Attributes -- Intelligent Collaborative Information Retrieval -- Reasoning -- Analysis of Agent Programs Using Action Models -- Bayesian Networks for Reliability Analysis of Complex Systems -- Temporal Representation and Reasoning for Dynamic Environments -- Heuristics for Improving the Non-oblivious Local Search for MaxSAT -- Integrating the Completion and the Well Founded Semantics -- Vision -- Recognition of Partially Occluded Flat Objects -- Estimating 3D Shape from the Optical Flow of Photometric Stereo Images -- Computer Vision Interaction for Virtual Reality -- Placing Artificial Visual Landmarks in a Mobile Robot Workspace -- Genetic Algorithms -- Selection Analysis in Genetic Algorithms -- Human Face Identification Using Invariant Descriptions and a Genetic Algorithm -- Using the Min-Max Method to Solve Multiobjective Optimization Problems with Genetic Algorithms -- A New Genetic Operator for the Traveling Salesman Problem -- Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes -- Knowledge Engineering -- SpADD: An Active Design Documentation Framework Extension Applied to Spatial Layout Design Problems -- A Systematic Approach for Building Ontologies -- Intelligent Tutoring Systems -- A Method to Diagnose the User’s Level -- Natural Language Processing -- Phonetic Classification in Spanish Using a Hierarchy of Specialized ANNs -- Neural Nets -- A Generalisation Study on Neural Corner Detection -- Constraint Programming -- Defeasible Constraint Solving over the Booleans -- Planning -- A Nonlinear Planner for Solving Sequential Control Problems in Manufacturing Systems. |
Record Nr. | UNISA-996466145903316 |
Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Progress in artificial intelligence-IBERAMIA 98 : 6th Ibero-American conference on AI, Lisbon, Portugual, October 5-9, 1998, proceedings / / Helder Coelho, editor |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] |
Descrizione fisica | 1 online resource (XIV, 422 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-49795-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Modelling Intelligent Behaviour: The Markov Decision Process Approach -- Emergence and Cognition: Towards a Synthetic Paradigm in AI and Cognitive Science -- The “Semantics” of Evolution: Trajectories and Trade-Offs in Design Space and Niche Space -- Searching the World Wide Web: Challenges and Partial Solutions -- Distributed Artificial Intelligence -- Groups and Societies: One and the Same Thing? -- From Mental States and Architectures to Agents’ Programming -- Genetic Integration in a Multiagent System for Job-Shop Scheduling -- A New Dynamic Model for a Multi-Agent Formation -- A Case of Multiagent Decision Support: Using Autonomous Agents for Urban Traffic Control -- Machine Learning -- Lazy Learning Algorithms for Problems with Many Binary Features and Classes -- GD: A Measure Based on Information Theory for Attribute Selection -- Robust Incremental Clustering with Bad Instance Orderings: A New Strategy -- Distributed Reinforcement Learning in Multi-agent Decision Systems -- Dynamic Discretization of Continuous Attributes -- Intelligent Collaborative Information Retrieval -- Reasoning -- Analysis of Agent Programs Using Action Models -- Bayesian Networks for Reliability Analysis of Complex Systems -- Temporal Representation and Reasoning for Dynamic Environments -- Heuristics for Improving the Non-oblivious Local Search for MaxSAT -- Integrating the Completion and the Well Founded Semantics -- Vision -- Recognition of Partially Occluded Flat Objects -- Estimating 3D Shape from the Optical Flow of Photometric Stereo Images -- Computer Vision Interaction for Virtual Reality -- Placing Artificial Visual Landmarks in a Mobile Robot Workspace -- Genetic Algorithms -- Selection Analysis in Genetic Algorithms -- Human Face Identification Using Invariant Descriptions and a Genetic Algorithm -- Using the Min-Max Method to Solve Multiobjective Optimization Problems with Genetic Algorithms -- A New Genetic Operator for the Traveling Salesman Problem -- Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes -- Knowledge Engineering -- SpADD: An Active Design Documentation Framework Extension Applied to Spatial Layout Design Problems -- A Systematic Approach for Building Ontologies -- Intelligent Tutoring Systems -- A Method to Diagnose the User’s Level -- Natural Language Processing -- Phonetic Classification in Spanish Using a Hierarchy of Specialized ANNs -- Neural Nets -- A Generalisation Study on Neural Corner Detection -- Constraint Programming -- Defeasible Constraint Solving over the Booleans -- Planning -- A Nonlinear Planner for Solving Sequential Control Problems in Manufacturing Systems. |
Record Nr. | UNINA-9910768178103321 |
Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|