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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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. | UNINA-9910144038003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent Systems and Applications [[electronic resource] ] : 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers / / edited by Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Information storage and retrieval Computers and civilization Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Information Storage and Retrieval Computers and Society |
ISBN | 3-540-47745-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Multi-agent Systems -- Perspectives on Organizations in Multi-agent Systems -- Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation -- Logical Foundations of Agent-Based Computing -- Standardizing Agent Communication -- Standardizing Agent Interoperability: The FIPA Approach -- Distributed Problem Solving and Planning -- Automated Negotiation and Decision Making in Multiagent Environments -- Agents? Advanced Features for Negotiation and Coordination -- Social Behaviour, Meta-reasoning, and Learning -- Towards Heterogeneous Agent Teams -- Social Knowledge in Multi-agent Systems -- Machine Learning and Inductive Logic Programming for Multi-agent Systems -- Relational Reinforcement Learning -- From Statistics to Emergence: Exercises in Systems Modularity -- Emotions and Agents -- Applications -- Multi-agent Coordination and Control Using Stigmergy Applied to Manufacturing Control -- Virtual Enterprise Modeling and Support Infrastructures: Applying Multi-agent System Approaches -- Specialised Agent Applications -- Agent-Based Modelling of Ecosystems for Sustainable Resource Management -- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer -- A Multi-agent Study of Interethnic Cooperation. |
Record Nr. | UNISA-996466072203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent Systems and Applications : 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers / / edited by Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Information storage and retrieval Computers and civilization Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Information Storage and Retrieval Computers and Society |
ISBN | 3-540-47745-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Multi-agent Systems -- Perspectives on Organizations in Multi-agent Systems -- Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation -- Logical Foundations of Agent-Based Computing -- Standardizing Agent Communication -- Standardizing Agent Interoperability: The FIPA Approach -- Distributed Problem Solving and Planning -- Automated Negotiation and Decision Making in Multiagent Environments -- Agents? Advanced Features for Negotiation and Coordination -- Social Behaviour, Meta-reasoning, and Learning -- Towards Heterogeneous Agent Teams -- Social Knowledge in Multi-agent Systems -- Machine Learning and Inductive Logic Programming for Multi-agent Systems -- Relational Reinforcement Learning -- From Statistics to Emergence: Exercises in Systems Modularity -- Emotions and Agents -- Applications -- Multi-agent Coordination and Control Using Stigmergy Applied to Manufacturing Control -- Virtual Enterprise Modeling and Support Infrastructures: Applying Multi-agent System Approaches -- Specialised Agent Applications -- Agent-Based Modelling of Ecosystems for Sustainable Resource Management -- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer -- A Multi-agent Study of Interethnic Cooperation. |
Record Nr. | UNINA-9910143596003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent-Systems and Applications II [[electronic resource] ] : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers / / edited by Vladimir Marik, Olga Stepankova, Hana Krautwurmova, Michael Luck |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45982-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Agent Systems and Applications ACAI 2001: Selected Tutorial Papers -- Intelligent Agents: The Key Concepts -- Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies -- Software Agents for Electronic Business: Opportunities and Challenges -- From Simulated Dialogues to Interactive Performances -- Cooperating Agents for Holonic Manufacturing -- Multi-Agent Systems and Applications ACAI 2001: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation -- Replanning in a Resource-Based Framework -- Distributed Branch and Bound Algorithm in Coalition Planning -- Formal Conversations for the Contract Net Protocol -- Adaptive Agents in Argumentation-Based Negotiation -- Flexible Load Balancing in Distributed Information Agent Systems -- Autonomous Agents Applied to Manufacturing Scheduling Problems: A Negotiation-Based Heuristic Approach -- Adaptability and Embodiment Using Multi-Agent Systems AEMAS 2001: Selected Papers -- Adaptability and Embodiment Using Multi-Agent Systems -- Distributed Shared Agent Representations -- Modeling Adaptive Multi-Agent Systems Inspired by Developmental Biology -- Industrial Applications of Holonic and Multi-Agent Systems HoloMAS 2001: Selected Papers -- Holons & Agents: Recent Developments and Mutual Impacts -- Material Handling Problem: FIPA Compliant Agent Implementation -- Industrial MAS for Planning and Control -- An Integral Implementation of a Machine-Holon Applying the ZEUS Agent Framework -- ExPlanTech: Exploitation of Agent-Based Technology in Production Planning -- A Holonic Approach to Reconfiguring Real-Time Distributed Control Systems -- Rationales for Holonic Applications in Chemical Process Industries -- Distributed Deadline Control in Holonic Manufacturing Systems -- CPlanT: Coalition Planning Multi-Agent System for Humanitarian Relief Operations. |
Record Nr. | UNISA-996465416703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent-Systems and Applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers / / edited by Vladimir Marik, Olga Stepankova, Hana Krautwurmova, Michael Luck |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45982-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Agent Systems and Applications ACAI 2001: Selected Tutorial Papers -- Intelligent Agents: The Key Concepts -- Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies -- Software Agents for Electronic Business: Opportunities and Challenges -- From Simulated Dialogues to Interactive Performances -- Cooperating Agents for Holonic Manufacturing -- Multi-Agent Systems and Applications ACAI 2001: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation -- Replanning in a Resource-Based Framework -- Distributed Branch and Bound Algorithm in Coalition Planning -- Formal Conversations for the Contract Net Protocol -- Adaptive Agents in Argumentation-Based Negotiation -- Flexible Load Balancing in Distributed Information Agent Systems -- Autonomous Agents Applied to Manufacturing Scheduling Problems: A Negotiation-Based Heuristic Approach -- Adaptability and Embodiment Using Multi-Agent Systems AEMAS 2001: Selected Papers -- Adaptability and Embodiment Using Multi-Agent Systems -- Distributed Shared Agent Representations -- Modeling Adaptive Multi-Agent Systems Inspired by Developmental Biology -- Industrial Applications of Holonic and Multi-Agent Systems HoloMAS 2001: Selected Papers -- Holons & Agents: Recent Developments and Mutual Impacts -- Material Handling Problem: FIPA Compliant Agent Implementation -- Industrial MAS for Planning and Control -- An Integral Implementation of a Machine-Holon Applying the ZEUS Agent Framework -- ExPlanTech: Exploitation of Agent-Based Technology in Production Planning -- A Holonic Approach to Reconfiguring Real-Time Distributed Control Systems -- Rationales for Holonic Applications in Chemical Process Industries -- Distributed Deadline Control in Holonic Manufacturing Systems -- CPlanT: Coalition Planning Multi-Agent System for Humanitarian Relief Operations. |
Record Nr. | UNINA-9910143909303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|