Publications

of year 2012

Books and proceedings

  1. Thom Frühwirth, Leslie De Koninck, Markus Triska, and Jan Wielemaker. SWI Prolog Reference Manual 6.2.2. BoD--Books on Demand, 2012.
  2. Hendrik Skubch. Modelling and Controlling of Behaviour for Autonomous Mobile Robots. Springer Science & Business Media, 2012.
  3. Eighth IEEE World Congress on Services, SERVICES 2012, Honolulu, HI, USA, June 24-29, 2012, 2012. IEEE. ISBN: 978-1-4673-3053-4.
  4. Stephen Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A. Lisi, editors. Inductive Logic Programming - 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers, volume 7207 of Lecture Notes in Computer Science, 2012. Springer. ISBN: 978-3-642-31950-1.
  5. Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors. The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, volume 7295 of Lecture Notes in Computer Science, 2012. Springer. ISBN: 978-3-642-30283-1.
  6. Jon Sneyers and Thom Frühwirth, editors. CHR12l, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012.

Thesis

  1. Jacopo Mauro. Constraints meet concurrency. PhD thesis, 2012.
  2. Tobias Rho. A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping. PhD thesis, Bonn, Rheinische Friedrich-Wilhelms-Universität Bonn, Diss., 2012, 2012.

Articles in journal, book chapters

  1. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, (0):-, 2012. ISSN: 0898-1221. [WWW] [doi:10.1016/j.camwa.2011.12.017] Keyword(s): abduction, applications.
  2. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, 64(4):447-462, 2012.
  3. Ruoyu Chen, Lejian Liao, and Zhi Fang. A Virtual Organization Model Based on Semantic Web Services and Its Application in Supply Chain for Agricultural Product. Advances in Control and Communication, 2012.
  4. Gregory J. Duck. SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, abs/1210.5307, 2012.
  5. Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. TPLP, 12(4-5):737-753, September 2012. ISSN: 1471-0684. [WWW] [doi:10.1017/S1471068412000270] Keyword(s): confluence.
  6. Thomas König and Petra Hofstedt. Constraint-basierte Programmiersprachen. KI-Künstliche Intelligenz, 26(1):47-54, 2012.
  7. Cleyton Rodrigues, Ryan Ribeiro de Azevedo, Fred Freitas, and Eric Dantas. LSVF: a New Search Heuristic to Reduce the Backtracking Calls for Solving Constraint Satisfaction Problem. (IJARAI) International Journal of Advanced Research in Artificial Intelligence, 1(9):20-25, 2012.
  8. Kazunori Ueda and Seiji Ogawa. HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. KI - Künstliche Intelligenz, pp 1-10, 2012. ISSN: 0933-1875. [WWW] Keyword(s): related formalisms.
  9. Todd J. Green, Molham Aref, and Grigoris Karvounarakis. LogicBlox, Platform and Language: A Tutorial, pages 1-8. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. ISBN: 978-3-642-32925-8. [WWW] [doi:10.1007/978-3-642-32925-8_1]
  10. Matje van de Camp and Henning Christiansen. Resolving relative time expressions in Dutch text with Constraint Handling Rules, pages 74-85. University of Orléans, 2012.
  11. M. Alberti, M. Gavanelli, and E. Lamma. Deon+: Abduction and Constraints for Normative Reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012.
  12. Stefano Bistarelli, Fabio Martinelli, Francesco Roperti, and Francesco Santini. Negotiation of Weighted RTML Credentials on Mobile Devices. In Marco De Marco, Dov Te'eni, Valentina Albano, and Stefano Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 429-438. Physica-Verlag HD, 2012. ISBN: 978-3-7908-2788-0. [WWW] [doi:10.1007/978-3-7908-2789-7_47]

Conference articles

  1. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109]
  2. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 41-50, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012.
  3. Fabian Buettner and Jordi Cabot. Lightweight String Reasoning for OCL. In 8th European Conference on Modelling Foundations and Applications (ECMFA), 2012.
  4. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In SERVICES, pages 211-218, 2012. IEEE. ISBN: 978-1-4673-3053-4. [doi:10.1109/SERVICES.2012.36]
  5. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 1-15, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  6. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 16-31, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012.
  7. Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 370-380, 2012. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.370]
  8. Veronica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 32-40, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012.
  9. Veronica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF]
  10. Rémy Haemmerlé. Coinductive Proof over Streams as CHR Confluence Proofs. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 51-65, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): confluence, CHR 2012, CHR 2012.
  11. Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 66-81, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  12. Colin Nicholson and Danny De Schreye. Relevancy analysis as a basis for improved tabling in CHRiSM. In Elvira Albert, editor, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation,, pages 100-114, September 2012. [WWW]
  13. M. Spies. Continous Monitoring for IT Governance with Domain Ontologies. In Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on, pages 43-47, Sept 2012. ISSN: 1529-4188. [doi:10.1109/DEXA.2012.36] Keyword(s): Description Logic.
  14. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, and Thom Frühwirth. Compiling CHR to parallel hardware. In Proceedings of the 14th symposium on Principles and Practice of declarative programming, pages 173-184, 2012. ACM.
  15. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 82-90, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012.
  16. Viktor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage Institutes: The Amsterdam Museum Case Study. In Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors, ESWC, volume 7295 of Lecture Notes in Computer Science, pages 733-747, 2012. Springer. ISBN: 978-3-642-30283-1.
  17. Victor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage institutes: The Amsterdam Museum Case Study. In 9th Extended Semantic Web Conference (ESWC 2012), May 2012.

Miscellaneous

  1. Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012.

BACK TO INDEX