Fredrik Heintz

Linköping University | LiU · Department of Computer and Information Science (IDA)

Digital competence and programming are actively highlighted areas in education worldwide. They are becoming part of curricula all over the world, including the Swedish elementary school curriculum, Children are expected to develop computational thinking through programming activities, mainly in mathematics—which are supposed to be based on both pro...

Stream reasoning can be defined as incremental reasoning over incrementally-available information. The formula progression procedure for Metric Temporal Logic (MTL) makes use of syntactic formula rewritings to incrementally evaluate formulas against incrementally-available states. Progression however assumes complete state information, which can be...

The Swedish government has recently introduced digital competence including programming in the Swedish K-9 curriculum starting no later than fall 2018. This means that 100 000 teachers need to learn programming and digital competence in less than a year. In this paper we report on our experience working with professional teacher training in Sweden'...

The Swedish government has recently introduced digital competence including programming in the Swedish K-9 curriculum starting no later than fall 2018. This means that 100 000 teachers need to learn programming and digital competence in less than a year. In this paper we report on our experience working with professional teacher training in Sweden'...

The role of computer science and IT in Swedish schools has varied throughout the years. In fall 2014, the Swedish government gave the National Agency for Education (Skolverket) the task of preparing a proposal for K–9 education on how to better address the competences required in a digitalized society. In June 2016, Skolverket handed over a proposa...

Computer science is becoming ever increasingly important to our society. Computer science content has, however, not traditionally been considered a natural part of curricula for primary and secondary education. Computer science has traditionally been primarily a university level discipline and there are no widely accepted general standards for what...

We have investigated competitive elements and different forms of feedback through automated assessment in a Data Structures and Algorithms course. It is given at the start of the second year and has about 140 students. In 2011 we investigated the effects of introducing competitive elements utilizing automated assessment. In 2012 we investigated how...

No abstract is available for this article.

No abstract is available for this article.

http://dx.doi.org/10.1145/2839509.2844653 ---------------- Traditionally, theoretical foundations in data structures and algorithms (DSA) courses have been covered through lectures followed by tutorials, where students practise their understanding on pen-and-paper tasks. In this paper, we present findings from a pilot study on using the interacti...

Qualitative spatio-temporal reasoning is an active research area in Artificial Intelligence. In many situations there is a need to reason about intertemporal qualitative spatial relations, i.e. qualitative relations between spatial regions at different time-points. However, these relations can never be explicitly observed since they are between reg...

Sammanfattning—Programsammanhållande kurser där studenter från årskurs 1-3 gemensamt reflekterar över teman med koppling till deras studier och framtida yrkesliv finns på både KTH och Linköpings universitet (LiU). Syftet med kurserna är främst att skapa en helhet i utbildningen och ge förståelse för vad den leder till, genom att få studenterna att...

Sammanfattning—Vi belyser olikheter och likheter i hur grundutbildningen styrs på fyra svenska tekniska högskolor. Vi jämför hur lärare och examinatorer väljs ut, hur medel fördelas och vilken roll programansvariga (eller motsvarande) har. Abstract—We examine how the undergraduate education is managed in four Swedish engineering schools. We compare...

http://utvecklingskonferens.it.uu.se/files/pdf/presentationer/Ingkonf_2015_submission_71.pdf

Computing is no longer considered a subject area only relevant for a narrow group of professionals, but rather as a vital part of general education that should be available to all children and youth. Since making changes to national curricula takes time, people are trying to find other ways of introducing children and youth to computing. In Sweden,...

This chapter presents a distributed architecture for unmanned aircraft systems that provides full integration of both low autonomy and high autonomy. The architecture has been instantiated and used in a rotor-based aerial vehicle, but is not limited to use in particular aircraft systems. Various generic functionalities essential to the integration...

The ability to automatically, on-demand, apply pattern matching over streams of information to infer the occurrence of events is an important fusion functionality. Existing event detection approaches require explicit configuration of what events to detect and what streams to use as input. This paper discusses on-demand semantic event processing, an...

Micro unmanned aerial vehicles are becoming increasingly interesting for aiding and collaborating with human agents in myriads of applications, but in particular they are useful for monitoring inaccessible or dangerous areas. In order to interact with and monitor humans, these systems need robust and real-time computer vision subsystems that allow...

In 2013 Linköping University started the first 5-year engineering program in Computer Science and Software Engineering in Sweden. The goals of the program are to provide a holistic perspective on modern large scale software development, to provide a deep and broad understanding of computer science and computational thinking, and encourage innovatio...

Reasoning about time and space is essential for many applications, especially for robots and other autonomous systems that act in the real world and need to reason about it. In this paper we present a pragmatic approach to spatio-temporal stream reasoning integrated in the Robot Operating System through the DyKnow framework. The temporal reasoning...

Soft skills are recognized as crucial for engineers as technical work is becoming more and more collaborative and interdisciplinary. Today many engineering educations fail to give appropriate training in soft skills. Linköping University has therefore developed a completely new course “Professionalism for Engineers” for two of its 5-year engineerin...

High level reasoning is becoming essential to autonomous systems such as robots. Both the information available to and the reasoning required for such autonomous systems is fundamentally incremental in nature. A stream is a flow of incrementally available information and reasoning over streams is called stream reasoning. Incremental reasoning over...

The information available to modern autonomous systems is often in the form of streams. As the number of sensors and other stream sources increases there is a growing need for incremental reasoning about the incomplete content of sets of streams in order to draw relevant conclusions and react to new situa-tions as quickly as possible. To act ration...

Automated specification, generation and execution of high level missions involving one or more heterogeneous unmanned aircraft systems is in its infancy. Much previous effort has been focused on the development of air vehicle platforms themselves together with the avionics and sensor subsystems that implement basic navigational skills. In order to...

The main contribution of this paper is a practical semantic information integration approach for stream reasoning based on semantic matching. This is an important functionality for situation awareness applications where temporal reasoning over streams from distributed sources is needed. The integration is achieved by creating a common ontology, spe...

We provide an overview of ongoing research which targets development of a principled framework for mixed-initiative interaction with unmanned aircraft systems (UAS). UASs are now becoming technologically mature enough to be integrated into civil society. Principled interaction between UASs and human resources is an essential component in their futu...

ISBN: 978-1-61499-098-7 (online) ; ISSN: 0922-6389

Cooperative robotic systems, such as unmanned aircraft systems, are becoming technologically mature enough to be integrated into civil society. To gain practical use and accep-tance, a verifiable, principled and well-defined foundation for interactions between human operators and autonomous systems is needed. In this paper, we propose and specify s...

Abstract—Developing,autonomous,agents displaying rational and,goal-directed behavior,in a dynamic,physical environment requires the integration of both sensing and,reasoning,compo- nents. Due to the different characteristics of these components there is a gap,between,sensing and reasoning. We believe that this gap,can,not,be bridged,in a single ste...

As unmanned aerial vehicle (UAV) applications are becoming more complex and covering larger physical areas there is an increasing need for multiple UAVs to cooperatively solve problems. To produce more complete and accurate information about the environment we present the DyKnow Federation framework for distributed fusion among collaborative UAVs....

Detecting and isolating multiple faults is a computationally expensive task. It typically consists of computing a set of tests and then computing the diagnoses based on the test results. This paper describes FlexDx, a reconfigurable diagnosis framework which reduces the computational burden while retaining the isolation performance by only running...

Unmanned aircraft systems (UAS's) are now becoming technologically mature enough to be integrated into civil society. An essential issue is principled mixed-initiative interaction between UAS's and human operators. Two central problems are to specify the structure and requirements of complex tasks and to assign platforms to these tasks. We have pre...

In the next decades, practically viable robotic/agent systems are going to be mixed-initiative in nature. Humans will request help from such systems and such systems will request help from humans in achieving the complex mission tasks required. Pragmatically, one requires a distributed task specification language to define tasks and a suitable data...

The information available to modern autonomous systems is often in the form of streams. As the number of sensors and other stream sources increases there is a growing need for incremental reasoning about the incomplete content of sets of streams in order to draw relevant conclusions and react to new situa- tions as quickly as possible. To act ratio...

Collaborative robotic systems have much to gain by leveraging results from the area of multi-agent systems and in particular agent-oriented software engineering. Agent-oriented software engineering has much to gain by using collaborative robotic systems as a testbed. In this article, we propose and specify a formally grounded generic collaborative...

Engineering autonomous agents that display rational and goal-directed behavior in dynamic physical environments requires a steady flow of information from sensors to high-level reasoning components. However, while sensors tend to generate noisy and incomplete quantitative data, reasoning often requires crisp symbolic knowledge. The gap between sens...

For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abstraction. To support the integration and use of diverse reasoning modules we have developed DyKnow, a stream-based knowledge processing middleware framework. By using streams, DyKno...

For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abstraction. In order to make use of diverse reasoning modules in such systems, issues of integration such as sensor data flow and information flow between such modules has to be taken...

Research with autonomous unmanned aircraft systems is reaching a new degree of sophistication where targeted missions require complex types of deliberative capability integrated in a practical manner in such systems. Due to these pragmatic constraints, integra- tion is just as important as theoretical and applied work in developing the actual delib...

Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic level, one must create and continuously maintain a correlation between symbols denoting physical objects and sensor data being collected about them, a process called anchoring. I...

Linköping, Sweden, 2009The publishers will keep this document online on the Internet- or its possible replacement from the date of publication barring exceptional circumstances. The online availability of the document implies a permanent permission for anyone to read, to download, to print out single copies for your own use and to use it unchanged...

Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on the test results. This paper proposes a method to reduce the computational burden by only running the tests that are currently needed, and dynamically starting new tests when the n...

Developing autonomous agents displaying rational and goal-directed behavior in a dynamic physical environment requires the integration of a great number of separate deliberative and reactive functionalities. This integration must be built on top of a solid foundation of data, information and knowledge having numerous origins, including quantitative...

As unmanned aerial vehicle (UAV) applications become more complex and versatile there is an increasing need to allow multiple UAVs to cooperate to solve problems which are beyond the capability of each individual UAV. To provide more complete and accurate information about the environment we present a DyKnow federation framework for information int...

As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robust- ness of any autonomous system operating in a dynamic and uncertain environment. In this paper we present a general planning and execution monitoring system where formulas in an expressive temporal logic specify the desired...

To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by continually gathering information from many sources, selecting the relevant information for current tasks, and deriving models about the environment and the UAV itself. It is...

An implemented system for achieving high level situation awareness about traffic situations in an urban area is described. It takes as input sequences of color and thermal images which are used to construct and maintain qualitative object structures and to recognize the traffic behavior of the tracked vehicles in real time. The system is tested bot...

The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for distributed autonomous robotics systems. In this article, a prototype distributed architecture for autonomous unmanned aerial vehicle experimentation is presented which supports the...

To achieve sophisticated missions an autonomous UAV operating in a complex and dynamic environments must create and maintain situational aware- ness. It is achieved by continually gathering information from many sources, se- lecting the relevant information for the current task, and deriving models about the environment and the UAV itself. Often mo...

Any autonomous system embedded in a dynamic and changing environment must be able to create qualitative knowledge and object structures representing aspects of its environment on the fly from raw or preprocessed sensor data in order to reason qualitatively about the environment. These structures must be managed and made accessible to deliberative a...

Any autonomous system embedded in a dynamic and changing environment must be able to create qualitative knowledge and object structures representing aspects of its environment on the fly from raw or preprocessed sensor data in order to reason qualitatively about the environment and to supply such state information to other nodes in the distributed...

Any autonomous system embedded in a dynamic and changing environment must be able to create qualitative knowledge and object structures representing aspects of its environment on the fly from raw or preprocessed sensor data in order to reason qualitatively about the environment and to supply such state information to other nodes in the distributed...

Any autonomous system embedded in a dynamic and changing environment must be able to create qualitative knowledge and object structures representing aspects of its environment on the fly from raw or preprocessed sensor data in order to reason qualitatively about the environment. These structures must be managed and made accessible to deliberative a...

Any autonomous system embedded in a dynamic and changing environment must be able to create qualitative knowledge and object structures representing aspects of its environment on the fly from raw or preprocessed sensor data in order to reason qualitatively about the environment. These structures must be managed and made accessible to deliberative a...

The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for artificial intelligence. In this article, a prototype distributed architecture for intelligent unmanned aerial vehicle experimentation is presented which supports the development of...

Contents 1 Introduction 3 1.1 Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Known Bugs and Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 User's Manual 4 2.1 What is RoboSoc? . . . . . . . . . . . . ....

This paper describes FCFoo, a RoboCup team developed at Linkoping Institute of Technology. We use a reactive-deliberate architecture composed of four different layers. The layers represent different levels of abstraction and deliberation. The decision-making is based on decision-trees, finite automatas, and roles. As a result of the team developmen...

This paper describes the chronicle recognition problem and reports its status in the WITAS UAV project. We de-scribe how we use the IxTeT chronicle recognition system to define chronicles (scenarios or situations), like a vehi-cle passing another vehicle, and how it is incorporated in the WITAS architecture. We also discuss known problems with the...

In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based AI courses can be implemented using a problem based approach. Although the courses were successful there are significant areas for improvement.

The NOAI team is built on the RoboSoc framework, which is a system for developing RoboCup agents for educational use. The decision making is behavior based and is a continuation of the work of Paul Scerri et al. on the Headless Chickens III. We have extended their decision trees to directed acyclic decision graphs and made it possible to use full p...

Introduction The emphasis of FCFoo was mainly on building a library for developers of RoboCup teams, designed especially for educational use. After the competition the library was more or less totally rewritten and nally published as part of the Master Thesis of Fredrik Heintz [4]. The agents are built on a layered reactive-deliberative architectur...

. The main goal of RoboCup is to challenge researchers, but with the recent years attention from the media, it seems clear that RoboCup can enhance education at all levels, especially undergraduate teaching. We discuss the use of RoboCup in education, especially using a problem based learning approach, and sketch a solution to the problems found. 1...

We argue that RoboCup can be used to improve the teaching of AI in undergraduate education. We give some examples of how AI courses using RoboCup can be implemented using a problem based approach at two different Universities. To reduce the negative aspects found we present a solution, with the aim of easing the burden of grasping the domain of Rob...

The NOAI team is built on the RoboSoc framework, which is a system for developing RoboCup agents for educational use. The decision making is behavior based and is a continuation of the work of Paul Scerri et al. on the Headless Chickens III. We have extended their decision trees to directed acyclic decision graphs and made it possible to use full p...

This report describes RoboSoc, a system for developing RoboCup agents designed especially, but not only, for educational use. RoboSoc is designed to be as general, open, and easy to use as possible and to encourage and simplify the modification, extension and sharing of RoboCup agents, and parts of them. To do this I assumed four requirements from...

Contents 1 Introduction 3 1.1 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.1 History of the Soccerserver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.2 History of the RoboCup Simulation League . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1...