The Community for Technology Leaders
Green Image
Issue No. 01 - Jan.-Feb. (vol. 29)
ISSN: 1541-1672

Table of contents (PDF)

pp. c2-1

Description Logics (Abstract)

Markus Krotzsch , Dresden University of Technology
Ian Horrocks , Oxford University
pp. 12-19

Reasoning and Verification: State of the Art and Current Trends (Abstract)

Bernhard Beckert , Karlsruhe Institute of Technology
Reiner Hahnle , Technische Universität Darmstadt
pp. 20-29

Generalizations of Dung Frameworks and Their Role in Formal Argumentation (Abstract)

Gerhard Brewka , Leipzig University
Sylwia Polberg , Vienna University of Technology
Stefan Woltran , Vienna University of Technology
pp. 30-38

Optimal Design and Control of Smart Space Structures: A Memetic Evolution Approach (Abstract)

Dong-Xu Li , National University of Defense Technology, China
Rui Xu , National University of Defense Technology, China
pp. 40-46

Distributed, Agent-Based Intelligent System for Demand Response Program Simulation in Smart Grids (Abstract)

Luis Gomes , Polytechnic Institute of Porto
Pedro Faria , Polytechnic Institute of Porto
Hugo Morais , Polytechnic Institute of Porto
Zita Vale , Polytechnic Institute of Porto
Carlos Ramos , Polytechnic Institute of Porto
pp. 56-65

Robust, Secure, and Cost-Effective Design for Cyber-Physical Systems (Abstract)

Dong-Hoon Shin , Arizona State University
Shibo He , Arizona State University
Junshan Zhang , Arizona State University
pp. 66-69

The Web of Data: Bridging the Skills Gap (Abstract)

John Domingue , The Open University
Mathieu d'Aquin , The Open University
Elena Simperl , University of Southampton
Alexander Mikroyannidis , The Open University
pp. 70-74

The Role of Context in Transport Prediction (Abstract)

Francisco C. Pereira , Singapore-MIT Alliance for Research and Technology
Ana L.C. Bazzan , Universidade Federal do Rio Grande do Sul
Moshe Ben-Akiva , Massachusetts Institute of Technology
pp. 76-80
100 ms
(Ver 3.1 (10032016))