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.
Advanced Topics in Artificial Intelligence : International Summer School, Prague, Czechoslovakia, July 6-17, 1992. Proceedings / / edited by Vladimir Marik, Olga Stepankova, Robert Trappl
| Advanced Topics in Artificial Intelligence : International Summer School, Prague, Czechoslovakia, July 6-17, 1992. Proceedings / / edited by Vladimir Marik, Olga Stepankova, Robert Trappl |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XII, 488 pages) |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3540472711 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI: Introduction, paradigms, applications (including CBR), impacts, visions -- Artificial intelligence and connectionism: Some philosophical implications -- Logic for representing and implementing knowledge about system behaviour -- Prolog: A step towards the future of programming -- An introduction to constraint logic programming -- Logic and databases -- to machine learning -- Approaches to inductive logic programming -- Advanced machine learning techniques for computer vision -- Notes on current trends in AI planning -- The application of reason maintenance systems in planning and scheduling -- Practical applications of planning tasks -- The role of uncertainty measures and principles in AI -- to probabilistic methods of knowledge representation and processing -- On belief functions -- Data analysis and uncertainty processing -- Some aspects of knowledge engineering -- An automatic knowledge acquisition tool -- Distributed AI and its applications -- Architectures for second generation knowledge based systems -- An introduction to qualitative reasoning -- Model-based diagnosis: An overview -- Dynamic system simulation with qualitative differential equations -- An introduction to neurocomputing and its possible role in AI -- Intelligent presentation and dialogue management -- Linguistic aspects of natural language processing. |
| Record Nr. | UNISA-996465767303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Higher Education [[electronic resource] ] : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989, Proceedings / / edited by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal
| Artificial Intelligence in Higher Education [[electronic resource] ] : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989, Proceedings / / edited by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (IX, 247 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN | 3-540-47183-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The impact of artificial intelligence on education: Opening new windows -- Expert systems in higher education -- Prolog and the teaching of artificial intelligence at the technical university of košice -- Second generation expert systems in education and engineering practice -- Expert-tutoring systems : Architecture & development tools -- Linguistic aspects of AI -- A.I. means advanced informatics -- Knowledge engineering research and training at the dept. of scientific and technical information, prague school of economics -- Changing philosophy of teaching artificial intelligence a case study -- A.I. in the undergraduate programme at loughborough -- A knowledge-based system for CAPP -- A proposal for an undergraduate degree in the uses of logic -- Design of knowledged-based systems -- Logic programming in artificial intelligence education -- Artificial intelligence and humanistic informatics -- The advent of artificial intelligence -- The fel-expert project — applications in education -- Short history and present state of the artificial intelligence education at the technical university in pilsen -- Toward the design of adaptive instructions and helps for knowledge communication with the problem solving monitor ABSYNT -- AI techniques in the curriculum of engineering students -- Teaching artificial intelligence at the faculty of mathematics and physics, charles university -- After 24 years in AI: Some lessons -- Cognitive robot education and image processing research at the Czech Technical University of Prague -- Are intelligent tutoring systems useful for learning in technical environments? -- Epistemological challenges for the next generation AI and expert systems -- AI education and logic -- Uses of artificial intelligence in computer-based instruction -- Teaching students of electrical engineering ai methods -- A new framework for describing and designing intelligent tutoring systems -- The effect of AI applications on graduate education in Turkey. |
| Record Nr. | UNISA-996466135303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and Expert Systems Applications [[electronic resource] ] : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings / / edited by Vladimir Marik, Werner Retschitzegger, Olga Stepankova
| Database and Expert Systems Applications [[electronic resource] ] : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings / / edited by Vladimir Marik, Werner Retschitzegger, Olga Stepankova |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XL, 948 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Artificial intelligence Database management Information storage and retrieval Application software Multimedia information systems Data Structures and Information Theory Artificial Intelligence Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-540-45227-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- XML I -- Data Modeling -- XML II -- Spatial Database Systems I -- XML III -- Spatial Database Systems II -- XML IV -- Mobile Computing I -- Transactions -- Mobile Computing II -- Bioinformatics -- Mobile Computing III -- Information Retrieval I -- Information Retrieval II -- Information Retrieval III -- Multimedia Database Systems -- Web Applications -- Ontologies I -- Object-Oriented Database Systems I -- Ontologies II -- Object-Oriented Database Systems II -- Query Optimization I -- Workflow I -- Query Optimization II -- Workflow II -- Knowledge Engineering I -- Security I -- Knowledge Engineering II -- Security II -- DEXA Position Paper. |
| Record Nr. | UNISA-996465959903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database and Expert Systems Applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings / / edited by Vladimir Marik, Werner Retschitzegger, Olga Stepankova
| Database and Expert Systems Applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings / / edited by Vladimir Marik, Werner Retschitzegger, Olga Stepankova |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XL, 948 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Artificial intelligence Database management Information storage and retrieval Application software Multimedia systems Data Structures and Information Theory Artificial Intelligence Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-540-45227-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- XML I -- Data Modeling -- XML II -- Spatial Database Systems I -- XML III -- Spatial Database Systems II -- XML IV -- Mobile Computing I -- Transactions -- Mobile Computing II -- Bioinformatics -- Mobile Computing III -- Information Retrieval I -- Information Retrieval II -- Information Retrieval III -- Multimedia Database Systems -- Web Applications -- Ontologies I -- Object-Oriented Database Systems I -- Ontologies II -- Object-Oriented Database Systems II -- Query Optimization I -- Workflow I -- Query Optimization II -- Workflow II -- Knowledge Engineering I -- Security I -- Knowledge Engineering II -- Security II -- DEXA Position Paper. |
| Record Nr. | UNINA-9910144038003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Database and Expert Systems Applications [[electronic resource] ] : 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993. Proceedings / / edited by Vladimir Marik, Jiri Lazansky, Roland Wagner
| Database and Expert Systems Applications [[electronic resource] ] : 4th International Conference, DEXA'93, Prague, Czech Republic, September 6-8, 1993. Proceedings / / edited by Vladimir Marik, Jiri Lazansky, Roland Wagner |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XVI, 776 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Database management Application software Information technology Business—Data processing Artificial Intelligence Database Management Information Systems Applications (incl. Internet) IT in Business |
| ISBN | 3-540-47982-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information handling — A challenge for databases and expert systems -- Context versions in an object-oriented model -- Towards class-less object models for engineering design applications -- Semantic relativism in conceptual modeling -- Animation support for a conceptual modelling language -- A unifying model of data, metadata and context -- Information brokers: Sharing knowledge in a heterogeneous distributed system -- A customized multidatabase transaction management strategy -- Interoperability between a distributed system and a database system -- Reservation commitment and its use in multidatabase systems -- Predict query processing cost in a distributed database system -- CoBase: A cooperative query answering facility for database systems -- “Duplicate deletion in a ring connected, shared-nothing, parallel database system” -- On temporal-fuzziness in temporal Fuzzy databases -- Object-based schema integration for heterogeneous databases: A logical approach -- Heterogeneous multilevel transaction management with multiple subtransactions -- Inheritance conflicts in object-oriented systems -- Managing derived data in intelligent database systems: An implementation study -- An integrated calculation model for discovering functional relations from databases -- On the maintenance of implication integrity constraints -- REFLEX active database model: Application of petri-nets -- Road accident analysis using a functional database language -- Database performance evaluation a methodological approach -- Design and implementation of a DBMS performance assessment tool -- Modifying database queries and error constraints -- Performance evaluation system for object stores -- An optimization method of data communication and control for parallel execution of SQL queries -- Developing a database system for time-critical applications -- Object-oriented querying of existing relational databases -- A probabilistic spatial data model -- Query processing of geometric objects with free form boundaries in spatial databases -- Brain data base (BDB) -- Integrating classes and relations to model and query geographical databases -- Towards cooperativeness in geographic databases -- GeO2: Object-oriented contribution for a geographical DBMS ? -- GemCode: An expert system generating mnemonic codes for data elements and data items -- ALEXSYS — A prototype knowledge based expert system for the quality assurance of high pressure die castings -- Viewpoints — Facilitating expert systems for multiple users -- Improving Shafer-Logan's algorithm for handling hierarchical evidence -- From low-level to high-level operations in expert systems -- Corpora as expert knowledge domains: The Oxford advanced learner's dictionary -- Maintenance of knowledge bases -- Using candidate space structure to propose the next measurement in model based diagnosis -- Decomposition of four component items -- Intelligent inference for debugging concurrent systems -- Sharing temporal knowledge by multiple agents -- Querying and exploring large knowledge bases -- Managing text objectively -- Legal expert system KONTERM — Automatic representation of document structure and contents -- Matrim, an expert system on marital law -- Contradiction and confirmation -- Meta-reasoning in law: a computational model -- The application of Kripke-type structures to regional development programs -- Data management tools for genomic applications: A progress report -- Resolution of constraint inconsistency with the aim to provide support in anaesthesia -- An object-oriented implementation for a semantic system (CANDID) -- Distributed schema management in a cooperation network of autonomous agents -- A distributed AI system for job shop control -- Expert system for production planning of perishable goods -- An expert system as a manager in the application of production planning and control software in CIM environments -- Composition and dependency relationships in production information system design -- Vehicle Transactions -- An approach to image retrieval for image databases -- Facilitatory process for contrast detection -- Object-oriented database management systems for construction of CASE environments -- Summary data representations in application developments -- Reusable process chunks -- From analysis to design in a deductive and object-oriented environment -- A case study for an open CASE system: The TROLL light development environment -- Meta data model for database design -- Extending PCTE with object-oriented capabilities -- A new hypermedia data model -- Linearisation schemata for hypertext -- HyperPATH/O2: Integrating hypermedia systems with object-oriented database systems -- Integrating knowledge-based hypertext and database for task-oriented access to documents -- Reengineering of user interfaces for the migration of database applications -- User interface of knowledge based-DSS development environment, some further developments -- A highly-customisable schema meta-visualisation system for object-oriented (O-O) database schemas - overview -- Walkthrough using animation database system move. |
| Record Nr. | UNISA-996465896603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings / / edited by Vladimir Marik, Thomas Strasser, Alois Zoitl
| Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings / / edited by Vladimir Marik, Thomas Strasser, Alois Zoitl |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 326 p.) |
| Disciplina | 670.42722gerDNB |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer-aided engineering Application software Management information systems Computer science Production management Information technology Business—Data processing Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Operations Management IT in Business |
| ISBN | 3-642-03668-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | and Motivation -- Holonic Rationale and Self-organization on Design of Complex Evolvable Systems -- Service-Oriented Agents for Collaborative Industrial Automation and Production Systems -- Usability of Multi-agent Based Control Systems in Industrial Automation -- Knowledge-Centered Approaches -- An Organizational Knowledge Ontology for Automotive Supply Chains -- Semantic Extension of Agent-Based Control: The Packing Cell Case Study -- Product Design Network Self-contextualization: Enterprise Knowledge-Based Approach and Agent-Based Technological Framework -- Selected Theoretical Aspects -- Collaboration of Metaheuristic Algorithms through a Multi-Agent System -- Functional Integrity of Multi-agent Computational System Supported by Component-Based Implementation -- On the Empirical Evaluation of an Interdisciplinary Framework for Automated Negotiation -- MAS Scheduling and Simulation -- A Decentralized Scheduling Policy for a Dynamically Reconfigurable Production System -- A Study on Real-Virtual Interaction Method for Production Scheduling Using Model Plant -- Using an Agent-Supported Simulation Environment for Intelligent Manufacturing Systems -- A Study on Real-Time Scheduling for Holonic Manufacturing Systems – Determination of Utility Values Based on Multi-agent Reinforcement Learning -- MAS Control -- An Open-Control Concept for a Holonic Multiagent System -- Plan, Commit, Execute Protocol in Multi-agent Systems -- Distributed Sensing and Control Architecture for Automotive Factory Automation -- MAS-Based Cooperative Control for Biotechnological Process-A Case Study -- Design and Implementation of LabVIEW-Based IEC61499 Compliant Device -- Holonic Systems for Manufacturing -- Holonic-Based Environment for Solving Transportation Problems -- Holonic Manufacturing Paint Shop -- Development of a Holonic Free-Roaming AGV System for Part Manufacturing -- Safety Discrete Event Models for Holonic Cyclic Manufacturing Systems -- A Holonic Chain Conveyor Control System: An Application -- MAS and Holonic Applications -- A Multiagent System for Self-organisation of an 802.11 Mesh Network -- Mobility Model for Tactical Networks -- Holonic Modelling of Large Scale Geographic Environments -- Holonic Models for Traffic Control Systems -- A Multi-Agent System for the Pay-As-You-GO (PAYGO) Social Security Scheme -- Contract Monitoring in Agent-Based Systems: Case Study -- A Multi-agent Scheduler for Rent-a-Car Companies -- A Framework for Multi Robot Guidance Control. |
| Record Nr. | UNISA-996465291603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings / / edited by Vladimir Marik, Robert W. Brennan, Michal Pechoucek
| Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings / / edited by Vladimir Marik, Robert W. Brennan, Michal Pechoucek |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 276 p. 76 illus., 6 illus. in color.) |
| Disciplina | 670.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer-aided engineering Computers Production management Information technology Business—Data processing Artificial Intelligence Computer Appl. in Administrative Data Processing Computer-Aided Engineering (CAD, CAE) and Design Computing Milieux Operations Management IT in Business |
| Soggetto non controllato |
Multi agent systems
HoloMAS Holonic systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Experience with Holonic and Agent-Based Control Systems and Their Adoption by Industry -- Fundamental Insights into Holonic Systems Design -- A 3D Visualization and Simulation Framework for Intelligent Physical Agents -- Theoretical and Methodological Issues -- MAS Methodology for HMS -- Probabilistic Holons for Efficient Agent-Based Data Mining and Simulation -- An Information-Based Agent -- Algorithms and Technologies -- Designing Communication Protocols for Holonic Control Devices Using Elementary Nets -- A Proposal of Multi-agent Negotiation Mechanism Based on Dynamic Market Concept for Pareto Optimal Solution -- Integrating Transportation Ontologies Using Semantic Web Languages -- Implementation and Validation Aspects -- A Strategy to Implement and Validate Industrial Applications of Holonic Systems -- Experimental Validation of ADACOR Holonic Control System -- A Proxy Design Pattern to Support Real-Time Distributed Control System Benchmarking -- Applications -- Information Access and Control Operations in Multi-agent System Based Process Automation -- An Initial Automation Object Repository for OOONEIDA -- Towards Engineering Methods for Reconfiguration of Distributed Real-Time Control Systems Based on the Reference Model of IEC 61499 -- Using Radio Frequency Identification in Agent-Based Manufacturing Control Systems -- Resolving Scheduling Issues of the London Underground Using a Multi-agent System -- KARMEN: Multi-agent Monitoring and Notification for Complex Processes -- Simulation of Underwater Surveillance by a Team of Autonomous Robots -- Supply Chain Management -- A Reference-Model for Holonic Supply Chain Management -- Polymorphic Agent Clusters – The Concept to Design Multi-agent Environments Supporting Business Activities -- Configuration of Dynamic SME Supply Chains Based on Ontologies -- Experiments Toward a Practical Implementation of an Intelligent Kanban System. |
| Record Nr. | UNISA-996465888603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / / edited by Vladimir Marik, Duncan McFarlane, Paul Valckenaers
| Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / / edited by Vladimir Marik, Duncan McFarlane, Paul Valckenaers |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 328 p.) |
| Disciplina | 670.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer-aided engineering Industrial engineering Production engineering Production management Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Appl. in Administrative Data Processing Computer-Aided Engineering (CAD, CAE) and Design Industrial and Production Engineering Operations Management |
| ISBN | 3-540-45185-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Holonic Manufacturing Systems – Device Control -- Holonic Manufacturing Systems: Phase II -- A Mechanism for Ensuring Safe Behaviors of Holonic Manufacturing Systems -- A Real-Time Interface for Holonic Control Devices -- Integration of Automation Resources in Holonic Manufacturing Applications -- Foundations/Platforms -- JAVA-Based Agent Platform Evaluation -- An Approach to the Formal Specification of Holonic Control Systems -- Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems -- The Link between Autonomy and Organisation in Multiagent Systems -- Scheduling and Resource Allocation -- Fault-Tolerant Behaviour in Holonic Manufacturing Systems: A Simulation Study -- Multiagent-Based Process Planning and Scheduling in Context of Supply Chains -- Improving Multi-agent Based Scheduling by Neurodynamic Programming -- Agent Architecture for Dynamic Job Routing in Holonic Environment Based on the Theory of Constraints -- Simulation and Integration -- A Heterogeneous Multi-agent Modelling for Distributed Simulation of Supply Chains -- Integration of Shop Floor Holons with Automated Business Processes -- Proposal of Holonic Manufacturing Execution Systems Based on Web Service Technologies for Mexican SMEs -- Multi-agent Systems -- Secure FIPA Compliant Agent Architecture Draft -- Agent Exchange – Virtual Trading Environment -- Adding OWL Semantics to Ontologies Used in Multi-agent Systems for Manufacturing -- Complex Data Integration Based on a Multi-agent System -- A Multi-agent Architecture for Distributed Design -- AgentAllocator: An Agent-Based Multi-criteria Decision Support System for Task Allocation -- Applications -- An Approach to Process Automation Based on Cooperating Subprocess Agents -- Evaluating a Holonic Packing Cell -- FABMAS: An Agent-Based System for Production Control of Semiconductor Manufacturing Processes -- A Case Study for Modular Plant Control -- Implementation of Mobile-Agent-Based Network Management Systems for National Broadband Experimental Networks in Taiwan -- An Agent-Based Simulator for Electricity Markets: Seller, Buyer, and Trader Players -- AgenTec – Concepts for Agent Technology in Automation -- Cost-Based Dynamic Reconfiguration System for Evolving Holarchies. |
| Record Nr. | UNISA-996465697103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Holonic and Multi-Agent Systems for Manufacturing : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / / edited by Vladimir Marik, Duncan McFarlane, Paul Valckenaers
| Holonic and Multi-Agent Systems for Manufacturing : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / / edited by Vladimir Marik, Duncan McFarlane, Paul Valckenaers |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 328 p.) |
| Disciplina | 670.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer-aided engineering Industrial engineering Production engineering Production management Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Appl. in Administrative Data Processing Computer-Aided Engineering (CAD, CAE) and Design Industrial and Production Engineering Operations Management |
| ISBN | 3-540-45185-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Holonic Manufacturing Systems – Device Control -- Holonic Manufacturing Systems: Phase II -- A Mechanism for Ensuring Safe Behaviors of Holonic Manufacturing Systems -- A Real-Time Interface for Holonic Control Devices -- Integration of Automation Resources in Holonic Manufacturing Applications -- Foundations/Platforms -- JAVA-Based Agent Platform Evaluation -- An Approach to the Formal Specification of Holonic Control Systems -- Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems -- The Link between Autonomy and Organisation in Multiagent Systems -- Scheduling and Resource Allocation -- Fault-Tolerant Behaviour in Holonic Manufacturing Systems: A Simulation Study -- Multiagent-Based Process Planning and Scheduling in Context of Supply Chains -- Improving Multi-agent Based Scheduling by Neurodynamic Programming -- Agent Architecture for Dynamic Job Routing in Holonic Environment Based on the Theory of Constraints -- Simulation and Integration -- A Heterogeneous Multi-agent Modelling for Distributed Simulation of Supply Chains -- Integration of Shop Floor Holons with Automated Business Processes -- Proposal of Holonic Manufacturing Execution Systems Based on Web Service Technologies for Mexican SMEs -- Multi-agent Systems -- Secure FIPA Compliant Agent Architecture Draft -- Agent Exchange – Virtual Trading Environment -- Adding OWL Semantics to Ontologies Used in Multi-agent Systems for Manufacturing -- Complex Data Integration Based on a Multi-agent System -- A Multi-agent Architecture for Distributed Design -- AgentAllocator: An Agent-Based Multi-criteria Decision Support System for Task Allocation -- Applications -- An Approach to Process Automation Based on Cooperating Subprocess Agents -- Evaluating a Holonic Packing Cell -- FABMAS: An Agent-Based System for Production Control of Semiconductor Manufacturing Processes -- A Case Study for Modular Plant Control -- Implementation of Mobile-Agent-Based Network Management Systems for National Broadband Experimental Networks in Taiwan -- An Agent-Based Simulator for Electricity Markets: Seller, Buyer, and Trader Players -- AgenTec – Concepts for Agent Technology in Automation -- Cost-Based Dynamic Reconfiguration System for Evolving Holarchies. |
| Record Nr. | UNINA-9910144034203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Management in Computer Integrated Manufacturing [[electronic resource] ] : A Comprehensive Guide to State-of-the-Art CIM Solutions / / edited by Heimo H. Adelsberger, Jiri Lazansky, Vladimir Marik
| Information Management in Computer Integrated Manufacturing [[electronic resource] ] : A Comprehensive Guide to State-of-the-Art CIM Solutions / / edited by Heimo H. Adelsberger, Jiri Lazansky, Vladimir Marik |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 672 p.) |
| Disciplina | 670/.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Manufactures
Database management Computer-aided engineering Artificial intelligence Information technology Business—Data processing Engineering economics Engineering economy Manufacturing, Machines, Tools, Processes Database Management Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence IT in Business Engineering Economics, Organization, Logistics, Marketing |
| ISBN | 3-540-44785-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introductory overview -- Shortcomings and extensions of relational DBMS -- Evaluation of object-oriented database systems -- Active object-oriented database systems for CIM applications -- Databridge between RDBMS and OODBMS -- Database requirements of CIM applications -- Planning and scheduling -- Operational research models and methods in CIM -- Production planning and control systems — State of the art and new directions -- Simulation — A tool for developing advanced production strategies -- Dynamic modeling of CIM systems -- Fuzzy modeling and control -- Foundations of computer communications -- Information Management and Information Systems Planning -- Overview of function modelling — IDEFO -- Data modeling with IDEF1X -- Automatic programming in CIM based on intelligent tools -- Model based decision support systems -- Man — Machine interface for CIM -- Designing for evolutionary systems -- Active subsystems for CIM environments -- CAD systems: trends and developments -- Concurrent engineering -- Groupwork in the shop-floor-area needs decentral CIM-structures and components -- Does CIM need AI? -- Multi-agent-systems — A natural trend in CIM -- Production scheduling and genetic algorithms -- Implementation of systems with declarative constraints -- Qualitative reasoning and CIM -- Comparison and analysis of selected CIM-laboratory concepts and their importance for the improvement of staff training -- The use of the active database SIMON for a short term production planning system in the automotive industry. |
| Record Nr. | UNISA-996466141403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
