Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling
Author | : Mark Boddy |
Publisher | : |
Total Pages | : 362 |
Release | : 2007 |
Genre | : Artificial intelligence |
ISBN | : 9781577353447 |
Download Proceedings Of The Seventeenth International Conference On Automated Planning And Scheduling full books in PDF, epub, and Kindle. Read online free Proceedings Of The Seventeenth International Conference On Automated Planning And Scheduling ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Mark Boddy |
Publisher | : |
Total Pages | : 362 |
Release | : 2007 |
Genre | : Artificial intelligence |
ISBN | : 9781577353447 |
Author | : K. Gal |
Publisher | : IOS Press |
Total Pages | : 3328 |
Release | : 2023-10-18 |
Genre | : Computers |
ISBN | : 164368437X |
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.
Author | : A. Biere |
Publisher | : IOS Press |
Total Pages | : 980 |
Release | : 2009-01-29 |
Genre | : Computers |
ISBN | : 160750376X |
“Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software. Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas. Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field.”--Edmund Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University, winner of the 2007 A.M. Turing Award)
Author | : Sami Yangui |
Publisher | : Springer Nature |
Total Pages | : 593 |
Release | : 2019-10-25 |
Genre | : Computers |
ISBN | : 3030337022 |
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The papers have been organized in the following topical sections: Service Engineering; Run-time Service Operations and Management; Services and Data; Services in the Cloud; Services on the Internet of Things; Services in Organizations, Business and Society; and Services at the Edge.
Author | : Hans van Ditmarsch |
Publisher | : Springer |
Total Pages | : 412 |
Release | : 2011-10-07 |
Genre | : Mathematics |
ISBN | : 3642241301 |
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.
Author | : Been-Chian Chien |
Publisher | : Springer Science & Business Media |
Total Pages | : 857 |
Release | : 2009-06-09 |
Genre | : Computers |
ISBN | : 3642025676 |
The International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), always sponsored by the International So- ety of Applied Intelligence (ISAI), emphasizes applications of applied intelligent systems to solve real-life problems in all areas. It is held every year and has become one of the biggest and most important academic activities concerning the theory and applications of intelligent systems in the world. The IEA/AIE 2009 conference was hosted by the National University of Tainan and National University of Kaohsiung in Taiwan. This was the first time that the IEA/AIE conference was held in Taiwan. We received 286 papers from all parts of the world. Only 84 papers were selected for publication in this volume of LNAI proceedings. Each paper was reviewed by at least two anonymous referees to assure the high quality. We would like to express our sincere thanks to the Program Committee members and all the reviewers for their hard work, which helped us to select the highest quality papers for the conference. These papers highlight opportunities and challenges for the next generation of applied int- ligence and reveal technological innovations in real applications.
Author | : Kristian Kersting |
Publisher | : IOS Press |
Total Pages | : 376 |
Release | : 2012 |
Genre | : Computers |
ISBN | : 1614990956 |
The field of Artificial Intelligence is one in which novel ideas and new and original perspectives are of more than usual importance. The Starting AI Researchers' Symposium (STAIRS) is an international meeting which supports AI researchers from all countries at the beginning of their career, PhD students and those who have held a PhD for less than one year. It offers doctoral students and young post-doctoral AI fellows a unique and valuable opportunity to gain experience in presenting their work in a supportive scientific environment, where they can obtain constructive feedback on the technical content of their work, as well as advice on how to present it, and where they can also establish contacts with the broader European AI research community.This book presents revised versions of peer-reviewed papers presented at the Sixth STAIRS, which took place in Montpellier, France, in conjunction with the 20th European Conference on Artificial Intelligence (ECAI) and the Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS) in August 2012.The topics covered in the book range over a broad spectrum of subjects in the field of AI: machine learning and data mining, constraint satisfaction problems and belief propagation, logic and reasoning, dialogue and multiagent systems, and games and planning. Offering a fascinating opportunity to glimpse the current work of the AI researchers of the future, this book will be of interest to anyone whose work involves the use of artificial intelligence and intelligent systems.
Author | : Joaquim Filipe |
Publisher | : Springer |
Total Pages | : 383 |
Release | : 2014-10-30 |
Genre | : Computers |
ISBN | : 3662444402 |
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, held in Barcelona, Spain, in February 2013. The 20 revised full papers presented together with one invited paper were carefully reviewed and selected from 269 submissions. The papers are organized in two topical sections on artificial intelligence and on agents.
Author | : Nir Lipovetzky |
Publisher | : Lulu.com |
Total Pages | : 180 |
Release | : 2014-09-16 |
Genre | : Computers |
ISBN | : 1312466219 |
Classical planning is the problem of finding a sequence of actions for achieving a goal from an initial state assuming that actions have deterministic effects. The most effective approach for finding such plans is based on heuristic search guided by heuristics extracted automatically from the problem representation. In this thesis, we introduce alternative approaches for performing inference over the structure of planning problems that do not appeal to heuristic functions, nor to reductions to other formalisms such as SAT or CSP. We show that many of the standard benchmark domains can be solved with almost no search or a polynomially bounded amount of search, once the structure of planning problems is taken into account. In certain cases we can characterize this structure in terms of a novel width parameter for classical planning.
Author | : Youssef Hamadi |
Publisher | : Springer |
Total Pages | : 687 |
Release | : 2018-04-05 |
Genre | : Computers |
ISBN | : 3319635166 |
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units. The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD). The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.