Kiel Declarative Programming Days 2013

This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kiel (Germany) during September 11-13, 2013. The Kiel Declarative Programming Days 2013 unified the following events: * 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) * 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) * 27th Workshop on Logic Programming (WLP 2013) All these events are centered around declarative programming, an advanced paradigm for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and processing combinatorial problems, and for high-level programming of complex, in particular, knowledge-based systems

Improving Model-Based Software Synthesis: A Focus on Mathematical Structures

Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The right models and abstractions empower developers to leverage the novelties of modern hardware. This thesis deals primarily with Models of Computation, as a basis for software design, in a family of methods called software synthesis. We focus on Kahn Process Networks and dataflow applications as abstractions, both for programming and for deriving an efficient execution on heterogeneous multicores. The latter we accomplish by exploring the design space of possible mappings of computation and data to hardware resources. Mapping algorithms are not at the center of this thesis, however. Instead, we examine the mathematical structure of the mapping space, leveraging its inherent symmetries or geometric properties to improve mapping methods in general. This thesis thoroughly explores the process of model-based design, aiming to go beyond the more established software synthesis on dataflow applications. We starting with the problem of assessing these methods through benchmarking, and go on to formally examine the general goals of benchmarks. In this context, we also consider the role modern machine learning methods play in benchmarking. We explore different established semantics, stretching the limits of Kahn Process Networks. We also discuss novel models, like Reactors, which are designed to be a deterministic, adaptive model with time as a first-class citizen. By investigating abstractions and transformations in the Ohua language for implicit dataflow programming, we also focus on programmability. The focus of the thesis is in the models and methods, but we evaluate them in diverse use-cases, generally centered around Cyber-Physical Systems. These include the 5G telecommunication standard, automotive and signal processing domains. We even go beyond embedded systems and discuss use-cases in GPU programming and microservice-based architectures

Conference on Artificial Intelligence: Question-Answering Systems

The last decade has produced several profound and exciting results in computer science theory and application. Some of these results have prepared the ground for disciplines now recognized as significant branches of computer based science: the theory of formal grammars and automatic compiler construction, information retrieval and data base management, the theory of communication and computer networks, and problem solving and artificial intelligence are examples of new computer sciences. In the area of artificial intelligence (AI), theoretical and applied research related to knowledge representation in computers, natural language analysis, deductive inference and automatic learning represent the most interesting topics and promise to become the basis for a new style of computer use. The general idea of this style consists in allowing the user to tell the computer "what to do" instead of "how to do". The computer system in this case behaves as an intelligent adviser and interpreter of predefined rules of the game in any particular problem area. Its advantages over human advisers and interpreters are based on the ability to store and handle gigantic amounts of structured data of which the end user can have only a vague idea. This approach becomes particularly attractive in different areas of applied systems analysis where computer programmed mathematical models give additional analytical power to an "intelligent" computer system. The challenging and promising features of AI research resulted in the organization by IIASA of an international Conference on Artificial Intelligence and Question-Answering Systems in June 1975. This Conference was held in accordance with the long range research strategy of the Computer Science Project and attracted 27 computer specialists from 12 National Member Organizations. Two basic points were discussed: scientific problems and basic results in the development of question-answering systems with natural language input and inference capability, and possible IIASA efforts in establishing an intelligent question-answering system with a data base for IIASA's applied projects. This publication contains papers devoted mostly to the first point. The particular subjects that were covered include natural language analysis, knowledge representation and deductive inference mechanisms. An important practical consequence of the Conference was a proposal from the Conference Working Group to IIASA for the implementation of a question-answering system for data base management at IIASA. Apart from the obvious scientific results, the meeting also helped to establish contacts between the NMO's involved in AI research. Participants agreed on future cooperation among their institutions in various AI areas

Fifth Conference on Artificial Intelligence for Space Applications

The Fifth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: automation for Space Station; intelligent control, testing, and fault diagnosis; robotics and vision; planning and scheduling; simulation, modeling, and tutoring; development tools and automatic programming; knowledge representation and acquisition; and knowledge base/data base integration

Proceedings of the NASA Conference on Space Telerobotics, volume 5

Papers presented at the NASA Conference on Space Telerobotics are compiled. The theme of the conference was man-machine collaboration in space. The conference provided a forum for researchers and engineers to exchange ideas on the research and development required for the application of telerobotics technology to the space systems planned for the 1990's and beyond. Volume 5 contains papers related to the following subject areas: robot arm modeling and control, special topics in telerobotics, telerobotic space operations, manipulator control, flight experiment concepts, manipulator coordination, issues in artificial intelligence systems, and research activities at the Johnson Space Center

Programming Languages and Systems

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems