Filter
Kompilatorer
Filter
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The …
This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 …
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October …
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in …
ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an …
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge …
This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI …
The 2009 edition of the Amsterdam Colloquium was the 17th in a series which started in 1976. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and …
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, …
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in …