Paolo Traverso – författare
Visar alla böcker från författaren Paolo Traverso. Handla med fri frakt och snabb leverans.
24 produkter
24 produkter
E-bok
PDF, Engelska, 2004910 kr
Läs direkt efter köp
Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.- Provides a thorough understanding of AI planning theory and practice, and how they relate to each other- Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing- Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games- Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online
Inbunden, Engelska, 2025
1 321 kr
Skickas inom 7-10 vardagar
AI's next big challenge is to master the cognitive abilities needed by intelligent agents that perform actions. Such agents may be physical devices such as robots, or they may act in simulated or virtual environments through graphic animation or electronic web transactions. This book is about integrating and automating these essential cognitive abilities: planning what actions to undertake and under what conditions, acting (choosing what steps to execute, deciding how and when to execute them, monitoring their execution, and reacting to events), and learning about ways to act and plan. This comprehensive, coherent synthesis covers a range of state-of-the-art approaches and models -deterministic, probabilistic (including MDP and reinforcement learning), hierarchical, nondeterministic, temporal, spatial, and LLMs -and applications in robotics. The insights it provides into important techniques and research challenges will make it invaluable to researchers and practitioners in AI, robotics, cognitive science, and autonomous and interactive systems.
E-bok
PDF, Engelska, 20251 603 kr
Läs direkt efter köp
Inbunden, Engelska, 2016
924 kr
Skickas inom 7-10 vardagar
Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.
E-bok
Engelska, 20161 101 kr
Läs direkt efter köp
Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.
E-bok
PDF, Engelska, 20161 101 kr
Läs direkt efter köp
Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.
Inbunden, Engelska, 2004
907 kr
Skickas inom 10-15 vardagar
Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications.
Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking.
The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students.
Provides a thorough understanding of AI planning theory and practice, and how they relate to each other Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online
Del 11298 - Lecture Notes in Computer Science
AI*IA 2018 – Advances in Artificial Intelligence
XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings
Häftad, Engelska, 2018
565 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.
687 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.
Del 292 - Lecture Notes in Business Information Processing
Web Information Systems and Technologies
12th International Conference, WEBIST 2016, Rome, Italy, April 23–25, 2016, Revised Selected Papers
Häftad, Engelska, 2017
549 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC).The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 9 full papers presented in this volume were carefully reviewed and selected originally 123 paper submissions. They contribute to the understanding of relevant trends of current research on Web Information Systems and Technologies, comprising recommender systems, sentiment analysis, ranking, and Web applications and Web architecture.
E-bok
Engelska, 2017708 kr
Läs direkt efter köp
This book constitutes revised selected papers from the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC).
The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 9 full papers presented in this volume were carefully reviewed and selected originally 123 paper submissions. They contribute to the understanding of relevant trends of current research on Web Information Systems and Technologies, comprising recommender systems, sentiment analysis, ranking, and Web applications and Web architecture.
Del 322 - Lecture Notes in Business Information Processing
Web Information Systems and Technologies
13th International Conference, WEBIST 2017, Porto, Portugal, April 25–27, 2017, Revised Selected Papers
Häftad, Engelska, 2018
550 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017.The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 12 full papers presented in this volume were carefully reviewed and selected from originally 77 paper submissions. They contribute to the understanding of relevant trends of current research on Web information systems and technologies, comprising unified interfaces, Progressive Web Apps (PWAs) as well as a mobile device taxonomy, XML and open data processing, the history of Web engineering, web development for end-users, access control, Web platform assessment, rule engines, and scientific blogging.
E-bok
Engelska, 2018714 kr
Läs direkt efter köp
This book constitutes revised selected papers from the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017.
The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.
The 12 full papers presented in this volume were carefully reviewed and selected from originally 77 paper submissions. They contribute to the understanding of relevant trends of current research on Web information systems and technologies, comprising unified interfaces, Progressive Web Apps (PWAs) as well as a mobile device taxonomy, XML and open data processing, the history of Web engineering, web development for end-users, access control, Web platform assessment, rule engines, and scientific blogging.
Häftad, Engelska, 2005
1 125 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee and by the presence of several area coordinators, leaders in the respective communities who encouraged and supervised submissions in each area. This is also the first edition to feature a successful workshop and demo program, with selected demos also presented in a paper-like fashion so that they get the attention they deserve. In addition, ICSOC 2005 inherited from previous editions a strong industrial presence, both in the conference organization and in the program. This is very important due to the industrial relevance and the many challenges of service oriented technologies.
E-bok
PDF, Engelska, 20051 408 kr
Läs direkt efter köp
This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee and by the presence of several area coordinators, leaders in the respective communities who encouraged and supervised submissions in each area. This is also the first edition to feature a successful workshop and demo program, with selected demos also presented in a paper-like fashion so that they get the attention they deserve. In addition, ICSOC 2005 inherited from previous editions a strong industrial presence, both in the conference organization and in the program. This is very important due to the industrial relevance and the many challenges of service oriented technologies.
E-bok
PDF, Engelska, 2007708 kr
Läs direkt efter köp
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare''s prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.
Häftad, Engelska, 1999
565 kr
Skickas inom 10-15 vardagar
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.
Häftad, Engelska, 2008
566 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.
E-bok
PDF, Engelska, 2008708 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.
Häftad, Engelska, 2009
566 kr
Skickas inom 10-15 vardagar
The First Future Internet Symposium was held during September 28–30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today’s Internet is arguablythe most successful- man artifact ever created. The Internet’s physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31–April2, 2008, to begin developing a vision of a future Internet that will meet Europe’s needs a decade from now, and beyond. Abroadprogrammeofscienti?cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.
E-bok
PDF, Engelska, 2009708 kr
Läs direkt efter köp
The First Future Internet Symposium was held during September 28–30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today’s Internet is arguablythe most successful- man artifact ever created. The Internet’s physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31–April2, 2008, to begin developing a vision of a future Internet that will meet Europe’s needs a decade from now, and beyond. Abroadprogrammeofscienti?cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.
Häftad, Engelska, 2009
1 125 kr
Skickas inom 10-15 vardagar
This volume contains papers from the technical program of the 6th European Semantic Web Conference (ESWC 2009), held from May 31 to June 4, 2009, in Heraklion, Greece. ESWC 2009 presented the latest results in research and applications of Semantic Web technologies. In addition to the technical research track, ESWC 2009 featured a tutorial program, a PhD symposium, a system demo track, a poster track, a number of collocated workshops, and for the ?rst time in the series a Semantic Web in-use track exploring the bene?ts of applying Semantic Web technology in real-life applications and contexts. Thetechnical researchpaper trackreceivedover250submissions.The review process was organized using a two-tiered system, where each submission was reviewed by at least three members of the Program Committee. Vice Program CommitteeChairsorganizedadiscussionbetweenreviewers,collectedadditional reviews when necessary and provided a metareview for each submission. During a physical Program Committee meeting, the Vice Program Committee Chairs together with the Program Chairs selected 45 research papers to be presented at the conference.
E-bok
PDF, Engelska, 20091 408 kr
Läs direkt efter köp
This volume contains papers from the technical program of the 6th European Semantic Web Conference (ESWC 2009), held from May 31 to June 4, 2009, in Heraklion, Greece. ESWC 2009 presented the latest results in research and applications of Semantic Web technologies. In addition to the technical research track, ESWC 2009 featured a tutorial program, a PhD symposium, a system demo track, a poster track, a number of collocated workshops, and for the ?rst time in the series a Semantic Web in-use track exploring the bene?ts of applying Semantic Web technology in real-life applications and contexts. Thetechnical researchpaper trackreceivedover250submissions.The review process was organized using a two-tiered system, where each submission was reviewed by at least three members of the Program Committee. Vice Program CommitteeChairsorganizedadiscussionbetweenreviewers,collectedadditional reviews when necessary and provided a metareview for each submission. During a physical Program Committee meeting, the Vice Program Committee Chairs together with the Program Chairs selected 45 research papers to be presented at the conference.
Häftad, Engelska, 2009
542 kr
Tillfälligt slut