oru.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 66) Show all publications
Köckemann, U., Alirezaie, M., Karlsson, L. & Loutfi, A. (2018). Integrating Ontologies for Context-based Constraint-based Planning. In: MRC 2018: Modelling and Reasoning in Context. Paper presented at Tenth InternationalWorkshop Modelling and Reasoning in Context (MRC), Stockholm, Sweden, July 13, 2018 (pp. 22-29).
Open this publication in new window or tab >>Integrating Ontologies for Context-based Constraint-based Planning
2018 (English)In: MRC 2018: Modelling and Reasoning in Context, 2018, p. 22-29Conference paper, Published paper (Refereed)
Abstract [en]

We describe an approach for integrating ontologies with a constraint-based planner to compile configuration planning domains based on the current context. We consider two alternative approaches: The first one integrates SPARQL queries directly with the planner while the second one generates SPARQL queries dynamically from provided triples. The first approach offers the full freedom of the SPARQL query language, while the second offers a more dynamic way for the planner to influence queries based on what is currently relevant for the planner. We evaluate the approach based on how much redundancy is removed by “outsourcing” knowledge into the ontology compared to modeling it directly into the domain of the planner.

National Category
Computer Sciences
Identifiers
urn:nbn:se:oru:diva-67849 (URN)
Conference
Tenth InternationalWorkshop Modelling and Reasoning in Context (MRC), Stockholm, Sweden, July 13, 2018
Available from: 2018-07-10 Created: 2018-07-10 Last updated: 2018-08-08Bibliographically approved
Alirezaie, M., Renoux, J., Köckemann, U., Kristoffersson, A., Karlsson, L., Blomqvist, E., . . . Loutfi, A. (2017). An Ontology-based Context-aware System for Smart Homes: E-care@home. Sensors, 17(7), Article ID 1586.
Open this publication in new window or tab >>An Ontology-based Context-aware System for Smart Homes: E-care@home
Show others...
2017 (English)In: Sensors, ISSN 1424-8220, E-ISSN 1424-8220, Vol. 17, no 7, article id 1586Article in journal, Editorial material (Refereed) Published
Abstract [en]

Smart home environments have a significant potential to provide for long-term monitoring of users with special needs in order to promote the possibility to age at home. Such environments are typically equipped with a number of heterogeneous sensors that monitor both health and environmental parameters. This paper presents a framework called E-care@home, consisting of an IoT infrastructure, which provides information with an unambiguous, shared meaning across IoT devices, end-users, relatives, health and care professionals and organizations. We focus on integrating measurements gathered from heterogeneous sources by using ontologies in order to enable semantic interpretation of events and context awareness. Activities are deduced using an incremental answer set solver for stream reasoning. The paper demonstrates the proposed framework using an instantiation of a smart environment that is able to perform context recognition based on the activities and the events occurring in the home.

Place, publisher, year, edition, pages
Basel: MDPI AG, 2017
Keywords
ambient assisted living; context awareness; Internet of Things; ontologies; activity recognition; smart homes
National Category
Computer Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-58600 (URN)10.3390/s17071586 (DOI)000407517600125 ()2-s2.0-85021911117 (Scopus ID)
Projects
E-Care@Home
Funder
Knowledge Foundation
Available from: 2017-07-07 Created: 2017-07-07 Last updated: 2017-10-24Bibliographically approved
Renoux, J., Alirezaie, M., Karlsson, L., Köckemann, U., Pecora, F. & Loutfi, A. (2017). Context Recognition in Multiple Occupants Situations: Detecting the Number of Agents in a Smart Home Environment with Simple Sensors. In: Knowledge-based techniques for problem solving and reasoning(KnowProS 2017): A workshop at AAAI 2017, February 5, 2017, San Francisco, U.S.A.. Paper presented at Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning (KnowProS’17) (pp. 758-764). Palo Alto: AAAI Press, ws17, Article ID WS-17-12.
Open this publication in new window or tab >>Context Recognition in Multiple Occupants Situations: Detecting the Number of Agents in a Smart Home Environment with Simple Sensors
Show others...
2017 (English)In: Knowledge-based techniques for problem solving and reasoning(KnowProS 2017): A workshop at AAAI 2017, February 5, 2017, San Francisco, U.S.A., Palo Alto: AAAI Press, 2017, Vol. ws17, p. 758-764, article id WS-17-12Conference paper, Published paper (Refereed)
Abstract [en]

Context-recognition and activity recognition systems in multi-user environments such as smart homes, usually assume to know the number of occupants in the environment. However, being able to count the number of users in the environment is important in order to accurately recognize the activities of (groups of) agents. For smart environments without cameras, the problem of counting the number of agents is non-trivial. This is in part due to the difficulty of using a single non-vision based sensors to discriminate between one or several persons, and thus information from several sensors must be combined in order to reason about the presence of several agents. In this paper we address the problem of counting the number of agents in a topologically known environment using simple sensors that can indicate anonymous human presence. To do so, we connect an ontology to a probabilistic model (a Hidden Markov Model) in order to estimate the number of agents in each section of the environment. We evaluate our methods on a smart home setup where a number of motion and pressure sensors are distributed in various rooms of the home.

Place, publisher, year, edition, pages
Palo Alto: AAAI Press, 2017
Series
The Workshops of the Thirty-First AAAI Conference on Artificial Intelligence: Technical Reports WS-17-01 - WS-17-15
National Category
Computer Sciences
Identifiers
urn:nbn:se:oru:diva-62763 (URN)9781577357865 (ISBN)1577357868 (ISBN)
Conference
Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning (KnowProS’17)
Available from: 2017-11-22 Created: 2017-11-22 Last updated: 2018-01-26Bibliographically approved
Bidot, J., Karlsson, L., Lagriffoul, F. & Saffiotti, A. (2017). Geometric backtracking for combined task and motion planning in robotic systems. Artificial Intelligence, 247, 229-265
Open this publication in new window or tab >>Geometric backtracking for combined task and motion planning in robotic systems
2017 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 247, p. 229-265Article in journal (Refereed) Published
Abstract [en]

Planners for real robotic systems should not only reason about abstract actions, but also about aspects related to physical execution such as kinematics and geometry. We present an approach to hybrid task and motion planning, in which state-based forward-chaining task planning is tightly coupled with motion planning and other forms of geometric reasoning. Our approach is centered around the problem of geometric backtracking that arises in hybrid task and motion planning: in order to satisfy the geometric preconditions of the current action, a planner may need to reconsider geometric choices, such as grasps and poses, that were made for previous actions. Geometric backtracking is a necessary condition for completeness, but it may lead to a dramatic computational explosion due to the large size of the space of geometric states. We explore two avenues to deal with this issue: the use of heuristics based on different geometric conditions to guide the search, and the use of geometric constraints to prune the search space. We empirically evaluate these different approaches, and demonstrate that they improve the performance of hybrid task and motion planning. We demonstrate our hybrid planning approach in two domains: a real, humanoid robotic platform, the DLR Justin robot, performing object manipulation tasks; and a simulated autonomous forklift operating in a warehouse.

Place, publisher, year, edition, pages
Elsevier, 2017
Keywords
Combined task and motion planning; Task planning; Action planning; Path planning; Robotics; Geometric reasoning; Hybrid reasoning; Robot manipulation
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-48015 (URN)10.1016/j.artint.2015.03.005 (DOI)000401401600011 ()2-s2.0-84929590433 (Scopus ID)
Projects
GeRTSAUNA
Funder
EU, FP7, Seventh Framework Programme, 248273Knowledge Foundation
Available from: 2016-02-05 Created: 2016-02-05 Last updated: 2018-01-10Bibliographically approved
Loutfi, A., Jönsson, A., Karlsson, L., Lind, L., Lindén, M., Pecora, F. & Voigt, T. (2016). Ecare@Home: A Distributed Research Environment on Semantic Interoperability. In: : . Paper presented at The 3rd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT), Västerås, Sweden, October 18-19, 2016 (pp. 6).
Open this publication in new window or tab >>Ecare@Home: A Distributed Research Environment on Semantic Interoperability
Show others...
2016 (English)Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents the motivation and challenges to developingsemantic interoperability for an internet of things network that isused in the context of home based care. The paper describes a researchenvironment which examines these challenges and illustrates the motivationthrough a scenario whereby a network of devices in the home isused to provide high-level information about elderly patients by leveragingfrom techniques in context awareness, automated reasoning, andconguration planning.

Keywords
semantic interoperability, conguration planning, health and care, internet of things
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-53262 (URN)
Conference
The 3rd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT), Västerås, Sweden, October 18-19, 2016
Projects
E-care@home
Funder
Knowledge Foundation
Available from: 2016-10-24 Created: 2016-10-24 Last updated: 2018-01-14Bibliographically approved
Eriksen, N., Hilmerby, S., Johansson, M., Karlsson, L. & Loutfi, A. (2016). Starting from Scratch: Implementing CDIO in a new Master of Science in Engineering. In: : . Paper presented at NU 2016, Malmö, Sweden, June 15-17, 2016.
Open this publication in new window or tab >>Starting from Scratch: Implementing CDIO in a new Master of Science in Engineering
Show others...
2016 (Swedish)Conference paper, Oral presentation with published abstract (Other academic)
Abstract [en]

In 2015, Örebro University was granted the rights to provide a Master of Science in Engineering (5 year engineering programme). This fall we launch two programmes, in Computer Science and Industrial Economics. The basis of these programmes rests on a pedagogical approach of increasing interest, namely CDIO (Conceive-Design-Implement-Operate), which aims to provide a framework particularly suited for technical and engineering programmes.

A number of non-trivial challenges were addressed when crafting a programme that conforms to the CDIO standards and guidelines. In particular, one of the more difficult tasks is to ensure that a programme in its entirety satisfies both the CDIO goals and the learning outcomes in the Swedish Higher Education Ordinance in a coherent and meaningful way. A further challenge is to educate the entire teaching core to help them adopt the model, and to guide the staff in finding proper use of CDIO within each different subject.

This talk presents how these challenges were addressed in adopting CDIO during the application process and the initial implementation stages. It describes how a department in rapid development was able to anchor the concepts of the pedagogical model with its teachers and programme directors. In particular, we outline the tools and processes which were used in order to create familiarity and consensus with the teaching core responsible for the new education. The talk also describes the difficulties encountered in applying a single pedagogical model to an education, and outlines the iterative process taken in order to integrate CDIO in a new programme and within its various courses.

National Category
Educational Sciences
Identifiers
urn:nbn:se:oru:diva-52111 (URN)
Conference
NU 2016, Malmö, Sweden, June 15-17, 2016
Available from: 2016-09-09 Created: 2016-09-09 Last updated: 2017-10-17Bibliographically approved
Andreasson, H., Bouguerra, A., Cirillo, M., Dimitrov, D. N., Driankov, D., Karlsson, L., . . . Stoyanov, T. (2015). Autonomous transport vehicles: where we are and what is missing. IEEE robotics & automation magazine, 22(1), 64-75
Open this publication in new window or tab >>Autonomous transport vehicles: where we are and what is missing
Show others...
2015 (English)In: IEEE robotics & automation magazine, ISSN 1070-9932, E-ISSN 1558-223X, Vol. 22, no 1, p. 64-75Article in journal (Refereed) Published
Abstract [en]

In this article, we address the problem of realizing a complete efficient system for automated management of fleets of autonomous ground vehicles in industrial sites. We elicit from current industrial practice and the scientific state of the art the key challenges related to autonomous transport vehicles in industrial environments and relate them to enabling techniques in perception, task allocation, motion planning, coordination, collision prediction, and control. We propose a modular approach based on least commitment, which integrates all modules through a uniform constraint-based paradigm. We describe an instantiation of this system and present a summary of the results, showing evidence of increased flexibility at the control level to adapt to contingencies.

Keywords
Intelligent vehicles; Mobile robots; Resource management; Robot kinematics; Trajectory; Vehicle dynamics
National Category
Robotics
Identifiers
urn:nbn:se:oru:diva-44432 (URN)10.1109/MRA.2014.2381357 (DOI)000352030600010 ()2-s2.0-84925133099 (Scopus ID)
Available from: 2015-04-24 Created: 2015-04-24 Last updated: 2018-08-30Bibliographically approved
Köckemann, U., Pecora, F. & Karlsson, L. (2015). Inferring Context and Goals for Online Human-Aware Planning. In: International Conference on Tools with Artificial Intelligence (ICTAI): . Paper presented at 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Vietri sul Mare, Italy, November 9-11, 2015 (pp. 550-557). IEEE Computer Society
Open this publication in new window or tab >>Inferring Context and Goals for Online Human-Aware Planning
2015 (English)In: International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, 2015, p. 550-557Conference paper, Published paper (Refereed)
Abstract [en]

Planning for robots in environments co-inhabited by humans entails handling exogenous events during plan execution. Such events require plans to be continuously adapted to ensure that they remain "human-aware", i.e., adherent to human preferences and needs. We use an approach whereby human-awareness is enforced through so-called interaction constraints. Interaction constraints are used to infer context and appropriate goals online. The current plan is modified at run time so as to achieve courses of action that are continuously human-aware. The approach is evaluated in a research facility environment in which we simulate multiple days of planning and execution.

Place, publisher, year, edition, pages
IEEE Computer Society, 2015
Series
International Conference on Tools with Artificial Intelligence. Proceedings, ISSN 1082-3409
Keywords
constraint-based reasoning; context/goal inference; human-aware planning; hybrid planning
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-47906 (URN)10.1109/ICTAI.2015.86 (DOI)000374592500072 ()2-s2.0-84963520642 (Scopus ID)978-1-5090-0163-7 (ISBN)
Conference
27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Vietri sul Mare, Italy, November 9-11, 2015
Projects
Human-Aware Task Planning for Mobile Robots
Funder
Swedish Research Council
Available from: 2016-02-03 Created: 2016-02-03 Last updated: 2018-01-10Bibliographically approved
d. C. Silva-Lopez, L. S., Broxvall, M., Loutfi, A. & Karlsson, L. (2015). Towards configuration planning with partially ordered preferences: representation and results. Künstliche Intelligenz, 9(2), 173-183
Open this publication in new window or tab >>Towards configuration planning with partially ordered preferences: representation and results
2015 (English)In: Künstliche Intelligenz, ISSN 0933-1875, E-ISSN 1610-1987, Vol. 9, no 2, p. 173-183Article in journal (Refereed) Published
Abstract [en]

Configuration planning for a distributed robotic system is the problem of how to configure the system over time in order to achieve some causal and/or information goals. A configuration plan specifies what components (sensor, actuator and computational devices), should be active at different times and how they should exchange information. However, not all plans that solve a given problem need to be equally good, and for that purpose it may be important to take preferences into account. In this paper we present an algorithm for configuration planning that incorporates general partially ordered preferences. The planner supports multiple preference categories, and hence it solves a multiple-objective optimization problem: for a given problem, it finds all possible valid, non-dominated configuration plans. The planner has been able to successfully cope with partial ordering relations between quantitative preferences in practically acceptable times, as shown in the empirical results. Preferences here are represented as c-semirings, and are used for establishing dominance of a solution over another in order to obtain a set of configuration plans that will constitute the solution of a configuration planning problem with partially ordered preferences. The dominance operators tested in this paper are Pareto and Lorenz dominance. Our solver considers one guiding heuristic for obtaining the first solution, and then switches to a dominance based monotonically decreasing heuristic used for pruning dominated partial configuration plans. In our empirical results, we perform a statistical study in the space of problem instances and establish families of problems for which our approach is computationally feasible.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2015
Keywords
configuration, planning, sensor network
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-44501 (URN)10.1007/s13218-015-0358-z (DOI)000410149500009 ()
Projects
GiraffPlus
Funder
EU, FP7, Seventh Framework Programme, 288173
Available from: 2015-04-29 Created: 2015-04-29 Last updated: 2018-01-19Bibliographically approved
Längkvist, M., Karlsson, L. & Loutfi, A. (2014). A review of unsupervised feature learning and deep learning for time-series modeling. Pattern Recognition Letters, 42(1), 11-24
Open this publication in new window or tab >>A review of unsupervised feature learning and deep learning for time-series modeling
2014 (English)In: Pattern Recognition Letters, ISSN 0167-8655, E-ISSN 1872-7344, Vol. 42, no 1, p. 11-24Article, review/survey (Refereed) Published
Abstract [en]

This paper gives a review of the recent developments in deep learning and unsupervised feature learning for time-series problems. While these techniques have shown promise for modeling static data, such as computer vision, applying them to time-series data is gaining increasing attention. This paper overviews the particular challenges present in time-series data and provides a review of the works that have either applied time-series data to unsupervised feature learning algorithms or alternatively have contributed to modifications of feature learning algorithms to take into account the challenges present in time-series data.

Place, publisher, year, edition, pages
Elsevier, 2014
Keywords
Time-series, Unsupervised feature learning, Deep learning
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:oru:diva-34597 (URN)10.1016/j.patrec.2014.01.008 (DOI)000333451300002 ()2-s2.0-84894359867 (Scopus ID)
Available from: 2014-04-07 Created: 2014-04-07 Last updated: 2018-01-11Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-0458-2146

Search in DiVA

Show all publications