2018
|
Michael Sioutis; Amy Loutfi Efficient Dynamic Methods for Qualitative Constraint-based Spatial and Temporal Reasoning (Position Paper) Workshop PTHG-18: The Second Workshop on Progress Towards the Holy Grail, 2018. Abstract | Links | BibTeX @workshop{CP-PTHG,
title = {Efficient Dynamic Methods for Qualitative Constraint-based Spatial and Temporal Reasoning (Position Paper)},
author = {Michael Sioutis and Amy Loutfi},
url = {https://freuder.files.wordpress.com/2018/08/sioutis-loutfi.pdf},
year = {2018},
date = {2018-08-27},
booktitle = {PTHG-18: The Second Workshop on Progress Towards the Holy Grail},
abstract = {We describe a research roadmap for going beyond the state of the art in Qualitative Spatial and Temporal Reasoning (QSTR). Our proposal involves researching novel local consistencies in the aforementioned discipline, and defining dynamic algorithms pertaining to these consistencies that can allow for efficient reasoning over streams of spatio-temporal information. Simply put, QSTR is a major field of study in Artificial Intelligence that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of); thus, it provides a concise framework that allows for rather inexpensive reasoning about entities located in space or time. Applications of QSTR are found in a plethora of areas and domains such as smart environments, planning, and unmanned aircraft systems.},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
We describe a research roadmap for going beyond the state of the art in Qualitative Spatial and Temporal Reasoning (QSTR). Our proposal involves researching novel local consistencies in the aforementioned discipline, and defining dynamic algorithms pertaining to these consistencies that can allow for efficient reasoning over streams of spatio-temporal information. Simply put, QSTR is a major field of study in Artificial Intelligence that abstracts from numerical quantities of space and time by using qualitative descriptions instead (e.g., precedes, contains, is left of); thus, it provides a concise framework that allows for rather inexpensive reasoning about entities located in space or time. Applications of QSTR are found in a plethora of areas and domains such as smart environments, planning, and unmanned aircraft systems. |
Gael Glorian; Jean-Marie Lagniez; Valentin Montmirail; Michael Sioutis An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks Inproceedings In: Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, Lille, France, August 27-31, 2018, pp. 160–178, Springer, 2018. Links | BibTeX @inproceedings{DBLP:conf/cp/GlorianLMS18,
title = {An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks},
author = {Gael Glorian and Jean-Marie Lagniez and Valentin Montmirail and Michael Sioutis},
url = {https://doi.org/10.1007/978-3-319-98334-9_11},
doi = {10.1007/978-3-319-98334-9_11},
year = {2018},
date = {2018-08-27},
booktitle = {Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, Lille, France, August 27-31, 2018},
volume = {11008},
pages = {160--178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Neziha Akalin; Andrey Kiselev; Annica Kristoffersson; Amy Loutfi Enhancing Social Human-Robot Interaction with Deep Reinforcement Learning Inproceedings In: Proc. FAIM/ISCA Workshop on Artificial Intelligence for Multimodal Human Robot Interaction, 2018. BibTeX @inproceedings{akalinenhancing,
title = {Enhancing Social Human-Robot Interaction with Deep Reinforcement Learning},
author = {Neziha Akalin and Andrey Kiselev and Annica Kristoffersson and Amy Loutfi},
year = {2018},
date = {2018-07-15},
booktitle = {Proc. FAIM/ISCA Workshop on Artificial Intelligence for Multimodal Human Robot Interaction},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Marjan Alirezaie; Martin Längkvist; Michael Sioutis; Amy Loutfi A Symbolic Approach for Explaining Errors in Image Classification Tasks Workshop IJCAI Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge, 2018. Abstract | Links | BibTeX @workshop{IJCAI-LR,
title = {A Symbolic Approach for Explaining Errors in Image Classification Tasks},
author = {Marjan Alirezaie and Martin Längkvist and Michael Sioutis and Amy Loutfi},
url = {http://www.iiia.csic.es/LR2018/files/Alirezaie.pdf},
year = {2018},
date = {2018-07-14},
booktitle = {IJCAI Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge},
abstract = {Machine learning algorithms, despite their increasing success in handling object recognition tasks, still seldom perform without error. Often the process of understanding why the algorithm has failed is the task of the human who, using domain knowledge and contextual information, can discover systematic shortcomings in either the data or the algorithm. This paper presents an approach where the process of reasoning about errors emerging from a machine learning framework is automated using symbolic techniques. By utilizing spatial and geometrical reasoning between objects in a scene, the system is able to describe misclassified regions in relation to its context. The system is demonstrated in the remote sensing domain where objects and entities
are detected in satellite images.},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
Machine learning algorithms, despite their increasing success in handling object recognition tasks, still seldom perform without error. Often the process of understanding why the algorithm has failed is the task of the human who, using domain knowledge and contextual information, can discover systematic shortcomings in either the data or the algorithm. This paper presents an approach where the process of reasoning about errors emerging from a machine learning framework is automated using symbolic techniques. By utilizing spatial and geometrical reasoning between objects in a scene, the system is able to describe misclassified regions in relation to its context. The system is demonstrated in the remote sensing domain where objects and entities
are detected in satellite images. |
Uwe Köckemann; Marjan Alirezaie; Lars Karlsson; Amy Loutfi Integrating Ontologies for Context-based Constraint-based Planning Workshop MRC-2018, 2018. Links | BibTeX @workshop{MRC-2018-Koeckemann_EtAl,
title = {Integrating Ontologies for Context-based Constraint-based Planning},
author = {Uwe Köckemann and Marjan Alirezaie and Lars Karlsson and Amy Loutfi},
url = {http://ceur-ws.org/Vol-2134/#paper06},
year = {2018},
date = {2018-07-09},
booktitle = {MRC-2018},
pages = {22-29},
keywords = {},
pubstate = {published},
tppubtype = {workshop}
}
|
Marjan Alirezaie; Karl Hammar; Eva Blomqvist SmartEnv as a Network of Ontology Patterns Journal Article In: Semantic Web Journal (SWJ), 2018, ISSN: 1570-0844. Abstract | Links | BibTeX @article{swj-ecare,
title = {SmartEnv as a Network of Ontology Patterns},
author = {Marjan Alirezaie and Karl Hammar and Eva Blomqvist},
editor = {Aldo Gangemi},
url = {http://www.semantic-web-journal.net/system/files/swj1777.pdf},
issn = {1570-0844},
year = {2018},
date = {2018-03-20},
journal = {Semantic Web Journal (SWJ)},
abstract = {In this article we outline the details of an ontology, called SmartEnv, proposed as a representational model to assist the development process of smart (i.e., sensorized) environments. The SmartEnv ontology is described in terms of its modules representing different aspects including physical and conceptual aspects of a smart environment. We propose the use of the Ontology Design Pattern (ODP) paradigm in order to modularize our proposed solution, while at the same time avoiding strong dependencies between the modules in order to manage the representational complexity of the ontology. The ODP paradigm and related methodologies enable incremental construction of ontologies by first creating and then linking small modules. Most modules (patterns) of the SmartEnv ontology are inspired by, and aligned with, the Semantic Sensor Network (SSN) ontology, however with extra interlinks to provide further precision and cover more representational aspects. The result is a network of 8 ontology patterns together forming a generic representation for a smart environment. The patterns have been submitted to the ODP portal and are available on-line at stable URIs.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
In this article we outline the details of an ontology, called SmartEnv, proposed as a representational model to assist the development process of smart (i.e., sensorized) environments. The SmartEnv ontology is described in terms of its modules representing different aspects including physical and conceptual aspects of a smart environment. We propose the use of the Ontology Design Pattern (ODP) paradigm in order to modularize our proposed solution, while at the same time avoiding strong dependencies between the modules in order to manage the representational complexity of the ontology. The ODP paradigm and related methodologies enable incremental construction of ontologies by first creating and then linking small modules. Most modules (patterns) of the SmartEnv ontology are inspired by, and aligned with, the Semantic Sensor Network (SSN) ontology, however with extra interlinks to provide further precision and cover more representational aspects. The result is a network of 8 ontology patterns together forming a generic representation for a smart environment. The patterns have been submitted to the ODP portal and are available on-line at stable URIs. |
Michael Sioutis; Zhiguo Long; Sanjiang Li Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints Journal Article Forthcoming In: International Journal on Artificial Intelligence Tools, Forthcoming. Links | BibTeX @article{sslijait2018,
title = {Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints},
author = {Michael Sioutis and Zhiguo Long and Sanjiang Li},
doi = {10.1142/S0218213018600011},
year = {2018},
date = {2018-01-18},
journal = {International Journal on Artificial Intelligence Tools},
keywords = {},
pubstate = {forthcoming},
tppubtype = {article}
}
|
Jakob Suchan; Mehul Bhatt; Pzmyslaw Walega; Carl Schultz Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects Inproceedings In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, USA., AAAI Press, 2018, (Accepted for publication; to appear). Links | BibTeX @inproceedings{visualAbductionAAAI2018,
title = {Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects},
author = {Jakob Suchan and Mehul Bhatt and Pzmyslaw Walega and Carl Schultz},
url = {https://aaai.org/Conferences/AAAI-18/},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, USA.},
publisher = {AAAI Press},
note = {Accepted for publication; to appear},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Ali Mensi; Jean-François Condotta; Issam Nouaouri; Michael Sioutis; Lamjed Ben Saïd A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints Inproceedings In: Proceedings of the 10th Hellenic Conference on Artificial Intelligence,
SETN 2018, Patras, Greece, July 09-12, 2018, pp. 19:1–19:9, 2018. Links | BibTeX @inproceedings{DBLP:conf/setn/MensiCNSS18,
title = {A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints},
author = {Ali Mensi and Jean-François Condotta and Issam Nouaouri and Michael Sioutis and Lamjed Ben Saïd},
url = {http://doi.acm.org/10.1145/3200947.3201021},
doi = {10.1145/3200947.3201021},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 10th Hellenic Conference on Artificial Intelligence,
SETN 2018, Patras, Greece, July 09-12, 2018},
pages = {19:1--19:9},
crossref = {DBLP:conf/setn/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Alessandro Vuono; Matteo Luperto; Jacopo Banfi; Nicola Basilico; Nunzio Alberto Borghese; Michael Sioutis; Jennifer Renoux; Amy Loutfi Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver Inproceedings In: Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15,
2018, pp. 1835–1837, 2018. Links | BibTeX @inproceedings{DBLP:conf/atal/VuonoLBBBSRL18,
title = {Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver},
author = {Alessandro Vuono and Matteo Luperto and Jacopo Banfi and Nicola Basilico and Nunzio Alberto Borghese and Michael Sioutis and Jennifer Renoux and Amy Loutfi},
url = {http://dl.acm.org/citation.cfm?id=3237994},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1835--1837},
crossref = {DBLP:conf/atal/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2017
|
Marjan Alirezaie; Andrey Kiselev; Martin Längkvist; Franziska Klügl; Amy Loutfi An Ontology-Based Reasoning Framework for Querying Satellite Images for Disaster Monitoring Journal Article In: Sensors, 17 (11), 2017, ISSN: 1424-8220. Abstract | Links | BibTeX @article{s17112545,
title = {An Ontology-Based Reasoning Framework for Querying Satellite Images for Disaster Monitoring},
author = {Marjan Alirezaie and Andrey Kiselev and Martin Längkvist and Franziska Klügl and Amy Loutfi},
url = {http://www.mdpi.com/1424-8220/17/11/2545},
doi = {10.3390/s17112545},
issn = {1424-8220},
year = {2017},
date = {2017-11-05},
journal = {Sensors},
volume = {17},
number = {11},
abstract = {This paper presents a framework in which satellite images are classified and augmented with additional semantic information to enable queries about what can be found on the map at a particular location, but also about paths that can be taken. This is achieved by a reasoning framework based on qualitative spatial reasoning that is able to find answers to high level queries that may vary on the current situation. This framework called SemCityMap, provides the full pipeline from enriching the raw image data with rudimentary labels to the integration of a knowledge representation and reasoning methods to user interfaces for high level querying. To illustrate the utility of SemCityMap in a disaster scenario, we use an urban environment—central Stockholm—in combination with a flood simulation. We show that the system provides useful answers to high-level queries also with respect to the current flood status. Examples of such queries concern path planning for vehicles or retrieval of safe regions such as “find all regions close to schools and far from the flooded area”. The particular advantage of our approach lies in the fact that ontological information and reasoning is explicitly integrated so that queries can be formulated in a natural way using concepts on appropriate level of abstraction, including additional constraints.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
This paper presents a framework in which satellite images are classified and augmented with additional semantic information to enable queries about what can be found on the map at a particular location, but also about paths that can be taken. This is achieved by a reasoning framework based on qualitative spatial reasoning that is able to find answers to high level queries that may vary on the current situation. This framework called SemCityMap, provides the full pipeline from enriching the raw image data with rudimentary labels to the integration of a knowledge representation and reasoning methods to user interfaces for high level querying. To illustrate the utility of SemCityMap in a disaster scenario, we use an urban environment—central Stockholm—in combination with a flood simulation. We show that the system provides useful answers to high-level queries also with respect to the current flood status. Examples of such queries concern path planning for vehicles or retrieval of safe regions such as “find all regions close to schools and far from the flooded area”. The particular advantage of our approach lies in the fact that ontological information and reasoning is explicitly integrated so that queries can be formulated in a natural way using concepts on appropriate level of abstraction, including additional constraints. |
Marjan Alirezaie; Jennifer Renoux; Uwe Köckemann; Annica Kristoffersson; Lars Karlsson; Eva Blomqvist; Nicolas Tsiftes; Thiemo Voigt; Amy Loutfi An Ontology-based Context-aware System for Smart Homes: E-care@home Journal Article In: Sensors, 17 (7), 2017, ISSN: 1424-8220. Abstract | Links | BibTeX @article{s17071586,
title = {An Ontology-based Context-aware System for Smart Homes: E-care@home},
author = {Marjan Alirezaie and Jennifer Renoux and Uwe Köckemann and Annica Kristoffersson and Lars Karlsson and Eva Blomqvist and Nicolas Tsiftes and Thiemo Voigt and Amy Loutfi},
url = {http://www.mdpi.com/1424-8220/17/7/1586},
doi = {10.3390/s17071586},
issn = {1424-8220},
year = {2017},
date = {2017-07-06},
journal = {Sensors},
volume = {17},
number = {7},
abstract = {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.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
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. |
Marjan Alirezaie; Andrey Kiselev; Franziska Klügl; Martin Längkvist; Amy Loutfi Exploiting Context and Semantics for UAV Path-finding in an Urban Setting Inproceedings In: 1st International Workshop on Application of Semantic Web technologies in Robotics (AnSWeR), pp. 11–20, Portoroz, Slovenia, 2017, ISSN: 1613-0073. Links | BibTeX @inproceedings{AlirezaieEtAl:AnSWeR2017,
title = {Exploiting Context and Semantics for UAV Path-finding in an Urban Setting},
author = {Marjan Alirezaie and Andrey Kiselev and Franziska Klügl and Martin Längkvist and Amy Loutfi},
url = {http://ceur-ws.org/Vol-1935/#paper-02},
issn = {1613-0073},
year = {2017},
date = {2017-05-29},
booktitle = {1st International Workshop on Application of Semantic Web technologies in Robotics (AnSWeR)},
number = {1935},
pages = {11--20},
address = {Portoroz, Slovenia},
series = {CEUR Workshop Proceedings},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Jennifer Renoux; Marjan Alizeraie; Lars Karlsson; Uwe Köckemann; Federico Pecora; Amy Loutfi Context Recognition in Multiple Occupants Situations: Detecting the Number ofAgents in a Smart Home Environment with Simple Sensors Inproceedings In: Knowledge-based techniques for problem solving and reasoning (KnowProS 2017) :, 2017. Links | BibTeX @inproceedings{Renoux1061392,
title = {Context Recognition in Multiple Occupants Situations: Detecting the Number ofAgents in a Smart Home Environment with Simple Sensors},
author = { Jennifer Renoux and Marjan Alizeraie and Lars Karlsson and Uwe Köckemann and Federico Pecora and Amy Loutfi},
url = {https://mpi.aass.oru.se/wp-content/uploads/2017/08/KnowProS2017-jrx-mae-fpa-lkn-ali-ukn.pdf},
year = {2017},
date = {2017-01-01},
booktitle = {Knowledge-based techniques for problem solving and reasoning (KnowProS 2017) :},
institution = {Örebro University, School of Science and Technology, Örebro University, Sweden},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Jakob Suchan; Mehul Bhatt Commonsense Scene Semantics for Cognitive Robotics: Towards Grounding Embodied Visuo-Locomotive Interactions Inproceedings In: ICCV 2017 Workshop: Vision in Practice on Autonomous Robots (ViPAR), International Conference on Computer Vision (ICCV), Venice, Italy, 2017. BibTeX @inproceedings{Bhatt-2017-ICCV-VIPAR,
title = {Commonsense Scene Semantics for Cognitive Robotics: Towards Grounding Embodied Visuo-Locomotive Interactions},
author = {Jakob Suchan and Mehul Bhatt},
year = {2017},
date = {2017-01-01},
booktitle = {ICCV 2017 Workshop: Vision in Practice on Autonomous Robots (ViPAR), International Conference on Computer Vision (ICCV)},
address = {Venice, Italy},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Jakob Suchan; Mehul Bhatt Deep Semantic Abstractions of Everyday Human Activities: On Commonsense Representations of Human Interactions Inproceedings In: ROBOT 2017: Third Iberian Robotics Conference, Advances in Intelligent
Systems and Computing 693, Seville, Spain, 2017. BibTeX @inproceedings{Bhatt-2017-ICCV-VIPARb,
title = {Deep Semantic Abstractions of Everyday Human Activities: On Commonsense Representations of Human Interactions},
author = {Jakob Suchan and Mehul Bhatt},
year = {2017},
date = {2017-01-01},
booktitle = {ROBOT 2017: Third Iberian Robotics Conference, Advances in Intelligent
Systems and Computing 693},
address = {Seville, Spain},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Mehul Bhatt; James Cutting; Daniel Levin; Clayton Lewis Cognition, Interaction, Design - Discussions as Part of the Codesign
Roundtable 2017 Journal Article In: KI, 31 (4), pp. 363–371, 2017. Links | BibTeX @article{DBLP:journals/ki/BhattCLL17,
title = {Cognition, Interaction, Design - Discussions as Part of the Codesign
Roundtable 2017},
author = {Mehul Bhatt and James Cutting and Daniel Levin and Clayton Lewis},
url = {https://doi.org/10.1007/s13218-017-0512-x},
doi = {10.1007/s13218-017-0512-x},
year = {2017},
date = {2017-01-01},
journal = {KI},
volume = {31},
number = {4},
pages = {363--371},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Mehul Bhatt; Kristian Kersting Semantic Interpretation of Multi-Modal Human-Behaviour Data - Making Sense of Events, Activities, Processes Journal Article In: KI, 31 (4), pp. 317–320, 2017. Links | BibTeX @article{DBLP:journals/ki/BhattK17,
title = {Semantic Interpretation of Multi-Modal Human-Behaviour Data - Making Sense of Events, Activities, Processes},
author = {Mehul Bhatt and Kristian Kersting},
url = {https://doi.org/10.1007/s13218-017-0511-y},
doi = {10.1007/s13218-017-0511-y},
year = {2017},
date = {2017-01-01},
journal = {KI},
volume = {31},
number = {4},
pages = {317--320},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Antonio Lieto; Mehul Bhatt; Alessandro Oltramari; David Vernon The Role of Cognitive Architectures in General Artificial Intelligence Journal Article In: Cognitive Systems Research, 2017, ISSN: 1389-0417. Links | BibTeX @article{LIETO2017,
title = {The Role of Cognitive Architectures in General Artificial Intelligence},
author = {Antonio Lieto and Mehul Bhatt and Alessandro Oltramari and David Vernon},
url = {http://www.sciencedirect.com/science/article/pii/S138904171730222X},
doi = {https://doi.org/10.1016/j.cogsys.2017.08.003},
issn = {1389-0417},
year = {2017},
date = {2017-01-01},
journal = {Cognitive Systems Research},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Antonio Lieto; Mehul Bhatt; Alessandro Oltramari; David Vernon (Ed.) Proceedings of the 4th International Workshop on Artificial Intelligence and Cognition co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), New York City, NY, USA, July 16-17, 2016 Proceeding CEUR-WS.org, 1895 , 2017. Links | BibTeX @proceedings{DBLP:conf/aic/2016,
title = {Proceedings of the 4th International Workshop on Artificial Intelligence and Cognition co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), New York City, NY, USA, July 16-17, 2016},
editor = {Antonio Lieto and Mehul Bhatt and Alessandro Oltramari and David Vernon},
url = {http://ceur-ws.org/Vol-1895},
year = {2017},
date = {2017-01-01},
volume = {1895},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
keywords = {},
pubstate = {published},
tppubtype = {proceedings}
}
|
Shufeng Kong; Sanjiang Li; Michael Sioutis Exploring Directional Path-Consistency for Solving Constraint Networks Journal Article In: The Computer Journal, 2017. Links | BibTeX @article{doi:10.1093/comjnl/bxx122,
title = {Exploring Directional Path-Consistency for Solving Constraint Networks},
author = {Shufeng Kong and Sanjiang Li and Michael Sioutis},
url = {+ http://dx.doi.org/10.1093/comjnl/bxx122},
doi = {10.1093/comjnl/bxx122},
year = {2017},
date = {2017-01-01},
journal = {The Computer Journal},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Michael Sioutis; Anastasia Paparrizou; Jean-François Condotta Collective Singleton-Based Consistency for Qualitative Constraint Networks Inproceedings In: 24th International Symposium on Temporal Representation and Reasoning,
TIME 2017, October 16-18, 2017, Mons, Belgium, pp. 19:1–19:17, 2017. Links | BibTeX @inproceedings{DBLP:conf/time/SioutisPC17,
title = {Collective Singleton-Based Consistency for Qualitative Constraint Networks},
author = {Michael Sioutis and Anastasia Paparrizou and Jean-François Condotta},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.19},
doi = {10.4230/LIPIcs.TIME.2017.19},
year = {2017},
date = {2017-01-01},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
TIME 2017, October 16-18, 2017, Mons, Belgium},
pages = {19:1--19:17},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Michael Sioutis; Marjan Alirezaie; Jennifer Renoux; Amy Loutfi Towards a Synergy of Qualitative Spatio-Temporal Reasoning and Smart Environments for Assisting the Elderly at Home Inproceedings In: IJCAI Workshop on Qualitative Reasoning, 2017. Links | BibTeX @inproceedings{qr2017,
title = {Towards a Synergy of Qualitative Spatio-Temporal Reasoning and Smart Environments for Assisting the Elderly at Home},
author = {Michael Sioutis and Marjan Alirezaie and Jennifer Renoux and Amy Loutfi},
url = {http://qrg.northwestern.edu/qr2017/papers/QR2017_paper_6.pdf},
year = {2017},
date = {2017-01-01},
booktitle = {IJCAI Workshop on Qualitative Reasoning},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Michael Sioutis; Anastasia Paparrizou; Jean-François Condotta A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks Inproceedings In: 29th IEEE International Conference on Tools with Artificial Intelligence,
ICTAI 2017, Boston, MA, USA, November 6-8, 2017, pp. 110–117, 2017. Links | BibTeX @inproceedings{DBLP:conf/ictai/SioutisPC17,
title = {A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks},
author = {Michael Sioutis and Anastasia Paparrizou and Jean-François Condotta},
url = {https://doi.org/10.1109/ICTAI.2017.00028},
doi = {10.1109/ICTAI.2017.00028},
year = {2017},
date = {2017-01-01},
booktitle = {29th IEEE International Conference on Tools with Artificial Intelligence,
ICTAI 2017, Boston, MA, USA, November 6-8, 2017},
pages = {110--117},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Jennifer Renoux Active Situation Reporting: Definition and Analysis Inproceedings In: Proceedings of the 15th European Conference on Multi-agent Systems, 2017. Links | BibTeX @inproceedings{renoux_active_2017,
title = {Active Situation Reporting: Definition and Analysis},
author = {Jennifer Renoux},
url = {https://mpi.aass.oru.se/wp-content/uploads/2017/11/jrx_activeSituationReporting.pdf
http://www.jenniferrenoux.com/wp-content/uploads/2017/12/eumas_presentation.pdf},
year = {2017},
date = {2017-01-01},
booktitle = {Proceedings of the 15th European Conference on Multi-agent Systems},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2016
|
Andrea Orlandini; Annica Kristoffersson; Lena Almquist; Patrik Björkman; Amedeo Cesta; Gabriella Cortellessa; Cipriano Galindo; Javier Gonzalez-Jimenez; Kalle Gustafsson; Andrey Kiselev; Amy Loutfi; Francisco Melendez; Malin Nilsson; Lasse Odens Hedman; Eleni Odontidou; José Raúl Ruiz-Sarmiento; Mårten Scherlund; Lorenza Tiberio; Stephen von Rump; Silvia Coradeschi ExCITE Project: A Review of Forty-two Months of Robotic Telepresence Technology Evolution Journal Article In: PRESENCE: Teleoperators and Virtual Environments, 2016. Links | BibTeX @article{Orlandini2016,
title = {ExCITE Project: A Review of Forty-two Months of Robotic Telepresence Technology Evolution},
author = {Andrea Orlandini and Annica Kristoffersson and Lena Almquist and Patrik Björkman and Amedeo Cesta and Gabriella Cortellessa and Cipriano Galindo and Javier Gonzalez-Jimenez and Kalle Gustafsson and Andrey Kiselev and Amy Loutfi and Francisco Melendez and Malin Nilsson and Lasse Odens Hedman and Eleni Odontidou and José Raúl Ruiz-Sarmiento and Mårten Scherlund and Lorenza Tiberio and Stephen von Rump and Silvia Coradeschi},
editor = {PRESENCE: Teleoperators and Virtual Environments},
url = {https://mpi.aass.oru.se/wp-content/uploads/2016/10/MITPresence_Kristoffersson_acceptedversion_preprint.pdf},
year = {2016},
date = {2016-10-11},
journal = { PRESENCE: Teleoperators and Virtual Environments},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Erik Prytz; Annica Kristoffersson; Maria Lindén; Nikola Petrovic; Mobyen Uddin Ahmed; Leili Lind E-care@home: Initial Usability Considerations. Inproceedings In: I: Abstractproceedings from Medicinteknikdagarna, Örebro, Sweden, 2016. Links | BibTeX @inproceedings{Prytz2016,
title = { E-care@home: Initial Usability Considerations.},
author = {Erik Prytz and Annica Kristoffersson and Maria Lindén and Nikola Petrovic and Mobyen Uddin Ahmed and Leili Lind},
url = {https://mpi.aass.oru.se/wp-content/uploads/2016/10/ecareathome.pdf},
year = {2016},
date = {2016-10-05},
booktitle = { I: Abstractproceedings from Medicinteknikdagarna},
address = {Örebro, Sweden},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Annica Kristoffersson; Ella Kolkowska; Ingela Ernestam Lessons learned on factors to consider in testbedding: Smarta Äldre Inproceedings In: I: Abstractproceedings from Medicinteknikdagarna, Örebro, Sweden, 2016. Links | BibTeX @inproceedings{Kristoffersson2016,
title = {Lessons learned on factors to consider in testbedding: Smarta Äldre},
author = {Annica Kristoffersson and Ella Kolkowska and Ingela Ernestam},
url = {https://mpi.aass.oru.se/wp-content/uploads/2016/10/lessons.pdf},
year = {2016},
date = {2016-10-05},
booktitle = { I: Abstractproceedings from Medicinteknikdagarna},
address = {Örebro, Sweden},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Annica Kristoffersson; Frida Evertsson; Gun Loiske; Helena Stenhem; Ingela Ernestam Process for demand-driven innovation in Smarta Äldre Inproceedings In: I: Abstractproceedings from Medicinteknikdagarna, Örebro, Sweden, 2016. Links | BibTeX @inproceedings{Kristoffersson2016b,
title = {Process for demand-driven innovation in Smarta Äldre},
author = {Annica Kristoffersson and Frida Evertsson and Gun Loiske and Helena Stenhem and Ingela Ernestam },
url = {https://mpi.aass.oru.se/wp-content/uploads/2016/10/process.pdf},
year = {2016},
date = {2016-10-05},
booktitle = {I: Abstractproceedings from Medicinteknikdagarna},
journal = {I: Abstractproceedings from Medicinteknikdagarna},
address = {Örebro, Sweden},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Marjan Alirezaie; Martin Längkvist; Andrey Kiselev; Amy Loutfi Open GeoSpatial Data as a Source of Ground Truth for Automated Labelling of Satellite Images Inproceedings In: Proceedings of the Workshop on Spatial Data on the Web (SDW 2016) co-located with The 9th International Conference on Geographic Information Science (GIScience 2016), pp. 5-8, 2016. BibTeX @inproceedings{DBLP:conf/giscience/AlirezaieLKL16,
title = {Open GeoSpatial Data as a Source of Ground Truth for Automated Labelling of Satellite Images},
author = {Marjan Alirezaie and Martin Längkvist and Andrey Kiselev and Amy Loutfi},
year = {2016},
date = {2016-09-27},
booktitle = {Proceedings of the Workshop on Spatial Data on the Web (SDW 2016) co-located with The 9th International Conference on Geographic Information Science (GIScience 2016)},
pages = {5-8},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
