We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the “reverse engineering” process of generating a set of conditions that could serve as a specification for it. Accordingly, it may be useful to define completion for a large class of ASP programs and to automate the process of generating and simplifying completion formulas. Examining the ou...

submitted to the 6th International Globelics Conference “New insights for understanding innovation and competence building for sustainable development and social justice” to be held in Mexico City, 22 – 24 September, Mexico City Authors: Manuel Mira Godinho ([email protected]), UECE / ISEG.UTLisboa João Caraça ([email protected]), ISEG.UTLisboa and Gulbenkian Foundation

Different from focused texts present in natural images, which are captured with user’s intention and intervention, incidental texts usually exhibit much more diversity, variability and complexity, thus posing significant difficulties and challenges for scene text detection and recognition algorithms. The ICDAR 2015 Robust Reading Competition Challenge 4 was launched to assess the performance of...

The paper introduces LogAn-H | a system for learning rst-order function-free Horn expressions from interpretations. The system is based on an interactive algorithm (that asks questions) that was proved correct in previous work. The current paper shows how the algorithm can be implemented in a practical system by reducing some ineeciencies. Moreover, the paper introduces a new algorithm based on...

efforts toward the real robot competition in RoboCup. We participated in the middle-size league at RoboCup-97, held in conjunction with the Fifteenth International Joint Conference on Artificial Intelligence in Nagoya, Japan. The most significant features of our team, TRACKIES, are the application of a reinforcement learning method enhanced for real robot applications and the use of an omnidire...

From August 6 to August 9, the Twenty-third International Conference on Artificial Intelligence was held in Beijing China. In the three days preceding, 36 workshops were additionally held. On the first day (Saturday, August 3) the Computer Games Workshop was held, chaired by Tristan Cazenave, Mark Winands and Hiroyuki Iida at Tsinghua University. A total of 15 papers were submitted: 10 were acc...

This Dagstuhl Seminar also stood as the 11th European Workshop on Reinforcement Learning (EWRL11). Reinforcement learning gains more and more attention each year, as can be seen at the various conferences (ECML, ICML, IJCAI, . . . ). EWRL, and in particular this Dagstuhl Seminar, aimed at gathering people interested in reinforcement learning from all around the globe. This unusual format for EW...

The fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV) was held from 15–18 September 2013 in Corunna, Spain, and was co-located with the 22nd International Conference Logic Programming and Non-Monotonic Reasoning (LPNMR) and the 7th International Workshop on Modular Ontologies (WoMO’13). The purpose of the CLIMA workshops is to provide a forum for discus...

This volume contains the papers presented at CHR 2010, the Seventh International Workshop on Constraint Handling Rules held at the occasion of ICLP 2010, part of FLoC 2010, on 20 July 2010 in Edinburgh, Scotland.

Degradation products of itopride formed under different forced conditions have been identified using LC-PDA and LC-MS techniques. Itopride was subjected to forced degradation under the conditions of hydrolysis, photolysis, oxidation, dry and wet heat, in accordance with the International Conference on Harmonization. The stress solutions were chromatographed on reversed phase C18 (250×4.6 mm, 5 ...