14 research outputs found

    Complete Axiomatisations of Properties of Finite Sets

    Full text link

    The Dynamics of Syntactic Knowledge

    No full text

    Logics for Qualitative Coalitional Games

    No full text

    Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

    No full text
    These are the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), held during July 17–18, 2011 in Barcelona, and co-located with the 22nd International Joint Conference on Artificial Intelligence. Multi-agent systems are systems of interacting autonomous agents or components that can perceive and act upon their environment to achieve their individual goals as well as joint goals. Research on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to mention only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, and for representing, programming and reasoning about agents and multi-agent systems in a formal way

    Preface

    No full text
    Prefazione al volume

    Healthy ageing in residential care homes, 2014-2015

    No full text
    Data collection of interviews and observations resulting from case study research in residential care homes in Canada, Norway, Sweden and the United Kingdom. This collection consist of transcriptions of interviews conducted at 11 research sites with managers, residents, staff, relatives, volunteers and visiting staff such as GPs or activities workers. Interviews were usually conducted in pairs, one 'home' and one 'foreign' researcher working together. Field notes were taken by researchers during observations of activities and practices within the selected care homes when researchers were 'on site' at different times of the day. The aim was to identify promising practices as well as to describe daily routines at different times: morning, afternoon and evening shifts. Observations also include records of conversations. Active, healthy ageing is not often regarded as relevant to the residents of care homes and the aim of health and social care policies is to keep people out of care homes so as to remain active in their own homes. However, care homes remain an important element of care systems and have the potential to promote healthy active ageing. Based on a broad view of health that includes mental, physical, emotional, social and spiritual aspects, this project aims to develop new definitions of active, healthy ageing which include men and women who live in care homes and will identify strategies that enable residents to live more fulfilling lives. It will also identify strategies that promote the health of the labour force in care homes. We will explore the potential of such strategies to save resources by reducing the amount of medical and other care required as well as levels of staff sickness. This international project will use comparative case studies led by experienced national teams that will produce valuable data on the conditions that are the most promising in promoting healthy active ageing for residents and staff in specific care facilities in Canada, the UK, Sweden and Norway. </p
    corecore