Informatik (15.755 Artikel)

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in  Giessen, Germany, during July 18-19, 2023.The 11 full papers and 3 s...

16th International Conference, RC 2024, Toru?, Poland, July 4-5, 2024, Proceedings

Selected Results of the COST Action IC1405

0. Introduction.- 0. Introduction.- I Preliminary definitions.- 1. Language and metalanguage.- 2. The computer and the program.- II Fundamental constructions.- 3. Clauses.- 4. Declarations, declare...

An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is ofte...

An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is ofte...

1 Motivation und Zielsetzung.- 1.1 Unterstützung der Softwareerstellung durch Werkzeuge.- 1.2 Konfigurationsverwaltung: Bedeutung und Unterstützung.- 1.3 Werkzeuge zur Revisions- und Konsistenzkont...

Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

"Rewrite for Readability" is a captivating memoir of 1 year in the life of the author, a multifaceted artist and technologist, that intertwines his personal journey with the evolving landscape of A...

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012...

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The...