this book constitutes the refereed proceedings of the 16thinternational conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017.;the 37 full pape...
详细信息
ISBN:
(数字)9783319701691
ISBN:
(纸本)9783319701684
this book constitutes the refereed proceedings of the 16thinternationalconference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017.;the 37 full papers presented were carefully reviewed and selected from 91 submissions. the papers are organized in topical sections on applications of AI; natural language processing; knowledge representation and reasoning; knowledge engineering, ontologies and the semantic web; machine;learning; philosophical foundations, metacognitive modeling and ethics; and planning and scheduling.
this volume contains the proceedings of the 16thinternationalconference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara ...
详细信息
ISBN:
(数字)9783540320333
ISBN:
(纸本)9783540255963
this volume contains the proceedings of the 16thinternationalconference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of ***(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), and Aachen (2004). this year, there were 79 submissions from 20 countries, of which 31 papers were accepted for publication (29 regular papers and 2 system descriptions). the submissions came from France (10 accepted papers of the 23.1 submitted papers), USA (5.6 of 11.7), Japan (4 of 9), Spain (2.7 of 6.5), UK (2.7 of 4.7), the Netherlands (1.7 of 3.8), Germany (1.3 of 2.3), Austria (1 of 1), Poland (1 of 1), Israel (0.5 of 0.8), Denmark (0.5 of 0.5), China (0 of 4), Korea (0 of 4), Taiwan (0 of 1.3), Australia (0 of 1), Brazil (0 of 1), Russia (0 of 1), Switzerland (0 of 1), Sweden (0 of 1), and Italy (0 of 0.3). Each submission was assigned to at least three Program Committee m- bers, who carefully reviewed the papers, withthe help of 111 external referees.
this book constitutes the refereed proceedings of the 16thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.;the 34 full papers and 5 short...
详细信息
ISBN:
(数字)9783031157073
ISBN:
(纸本)9783031157066
this book constitutes the refereed proceedings of the 16thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.;the 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. they were organized in topical sections as follows: Technical Contributions; Systems; Applications.;Statistical Statements in Probabilistic logicprogramming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 international License via ***.;Chapters “Statistical Statements in Probabilistic logicprogramming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 international License via ***.
this book constitutes the thoroughly refereed post-conference proceedings of the 16thinternationalconference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Sen...
详细信息
ISBN:
(数字)9783642175114
ISBN:
(纸本)9783642175107
this book constitutes the thoroughly refereed post-conference proceedings of the 16thinternationalconference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2010, which
took place in Dakar, Senegal, in April/May 2010.
the 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. the papers address all current issues in automated reasoning, computational logic, programming languages and deal withlogicprogramming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
this book constitutes the proceedings of the 16thinternationalconference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. the conference was planned to take place in K...
详细信息
ISBN:
(数字)9783030863593
ISBN:
(纸本)9783030863586
this book constitutes the proceedings of the 16thinternationalconference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. the conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic. the 24 full and 12 short papers included in this book were carefully reviewed and selected from 62 submissions. they were organized in topical sections as follows: parallel programming methods and tools; applications; memory-efficient data structures; experimental studies; job management; essential algorithms; computing services; and cellular automata.
this book constitutes the refereed proceedings of the 16thinternationalconference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. the 19 revised full papers presented together with 2 inv...
详细信息
ISBN:
(数字)9783540705963
ISBN:
(纸本)9783540705956
this book constitutes the refereed proceedings of the 16thinternationalconference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. the 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. the scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. the papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management.
this book constitutes the proceedings of the 24thinternationalconference on Algorithmic Learning theory, ALT 2013, held in Singapore in October 2013, and co-located withthe 16thinternationalconference on Discover...
详细信息
ISBN:
(数字)9783642409356
ISBN:
(纸本)9783642409349
this book constitutes the proceedings of the 24thinternationalconference on Algorithmic Learning theory, ALT 2013, held in Singapore in October 2013, and co-located withthe 16thinternationalconference on Discovery Science, DS 2013. the 23 papers presented in this volume were carefully reviewed and selected from 39 submissions. In addition the book contains 3 full papers of invited talks. the papers are organized in topical sections named: online learning, inductive inference and grammatical inference, teaching and learning from queries, bandit theory, statistical learning theory, Bayesian/stochastic learning, and unsupervised/semi-supervised learning.
this book constitutes the refereed proceedings of the 16thinternationalconference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.the 6 full papers, as well as one invit...
详细信息
ISBN:
(数字)9783031866951
ISBN:
(纸本)9783031866944
this book constitutes the refereed proceedings of the 16thinternationalconference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
the 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. the conference received 6 submissions this year. the papers deal withthe interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
暂无评论