By Topic

IEEE Intelligent Systems

Issue 1 • Date Jan.-Feb. 2014

Filter Results

Displaying Results 1 - 18 of 18
  • Table of contents

    Publication Year: 2014, Page(s):c2 - 1
    Request permission for commercial reuse | PDF file iconPDF (328 KB)
    Freely Available from IEEE
  • Representation and Reasoning [Guest editor's introduction]

    Publication Year: 2014, Page(s):2 - 3
    Request permission for commercial reuse | PDF file iconPDF (1522 KB) | HTML iconHTML
    Freely Available from IEEE
  • Model Evolution-Based Theorem Proving

    Publication Year: 2014, Page(s):4 - 10
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (630 KB) | HTML iconHTML

    The area of automated theorem proving is characterized by the development of numerous calculi and proof procedures, from general purpose to rather specialized ones for specific subsets of first-order logic and logical theories. This article highlights two trends that have received considerable attention over the last 10 years. One is the integration of reasoning methods for propositional and for f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Information

    Publication Year: 2014, Page(s): 11
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Description Logics

    Publication Year: 2014, Page(s):12 - 19
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (662 KB) | HTML iconHTML

    This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to further reading. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning and Verification: State of the Art and Current Trends

    Publication Year: 2014, Page(s):20 - 29
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (606 KB) | HTML iconHTML

    In this article, the authors give an overview of tool-based verification of hardware and software systems and discuss the relation between verification and logical reasoning. Here, "verification"' refers to reasoning-based methods to establish dependability. This isn't restricted to proofs of functional correctness; it also includes other scenarios such as test generation and bug finding. The auth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalizations of Dung Frameworks and Their Role in Formal Argumentation

    Publication Year: 2014, Page(s):30 - 38
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (856 KB) | HTML iconHTML

    This article provides a short survey of some of the most popular abstract argumentation frameworks available today. The authors present the general idea of abstract argumentation, highlighting the role of abstract frameworks in the argumentation process, and review the original Dung frameworks and their semantics. A discussion of generalizations of these frameworks follows, focusing on structures ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Membership Matters [advertisement]

    Publication Year: 2014, Page(s): 39
    Request permission for commercial reuse | PDF file iconPDF (658 KB)
    Freely Available from IEEE
  • Optimal Design and Control of Smart Space Structures: A Memetic Evolution Approach

    Publication Year: 2014, Page(s):40 - 46
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2288 KB) | HTML iconHTML

    To reach global optimal performance, here the authors propose a new design approach that offers concurrent design for smart space structures. In this approach, the quantity and placement of sensors/actuators and parameters of controllers are simultaneously optimized by a memetic evolution algorithm. A solar array smart structure has been used for computational experiments and the corresponding res... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE CG&A Calls for Papers

    Publication Year: 2014, Page(s): 47
    Request permission for commercial reuse | PDF file iconPDF (1427 KB)
    Freely Available from IEEE
  • Real-Time Adaptive Event Detection in Astronomical Data Streams

    Publication Year: 2014, Page(s):48 - 55
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1230 KB) | HTML iconHTML

    A new generation of observational science instruments is dramatically increasing collected data volumes in a range of fields. These instruments include the Square Kilometer Array (SKA), Large Synoptic Survey Telescope (LSST), terrestrial sensor networks, and NASA satellites participating in "decadal survey"' missions. Their unprecedented coverage and sensitivity will likely reveal wholly new categ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed, Agent-Based Intelligent System for Demand Response Program Simulation in Smart Grids

    Publication Year: 2014, Page(s):56 - 65
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1433 KB) | HTML iconHTML

    A distributed, agent-based intelligent system models and simulates a smart grid using physical players and computationally simulated agents. The proposed system can assess the impact of demand response programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robust, Secure, and Cost-Effective Design for Cyber-Physical Systems

    Publication Year: 2014, Page(s):66 - 69
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2437 KB) | HTML iconHTML

    Cyber-physical systems (CPS) can potentially benefit a wide array of applications and areas. Here, the authors look at some of the challenges surrounding CPS, and consider a feasible solution for creating a robust, secure, and cost-effective architecture. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Web of Data: Bridging the Skills Gap

    Publication Year: 2014, Page(s):70 - 74
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1105 KB) | HTML iconHTML

    With a projected six-figure skills gap looming in the US alone, here the authors share strategies and lessons learned regarding how to bridge the gap in training competent data scientists in the near future. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Take the CS Library wherever you go! [Advertisement]

    Publication Year: 2014, Page(s): 75
    Request permission for commercial reuse | PDF file iconPDF (2638 KB)
    Freely Available from IEEE
  • The Role of Context in Transport Prediction

    Publication Year: 2014, Page(s):76 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1263 KB) | HTML iconHTML

    Besides knowing that a problem exists, traffic managers and prediction systems need to know its context. Here, the authors discuss how to extend current ITS technologies to capture and process such information. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rock Stars of Mobile Cloud [Advertisement]

    Publication Year: 2014, Page(s): c3
    Request permission for commercial reuse | PDF file iconPDF (1752 KB)
    Freely Available from IEEE
  • Software Engineering for the 21st Century

    Publication Year: 2014, Page(s): c4
    Request permission for commercial reuse | PDF file iconPDF (1516 KB)
    Freely Available from IEEE

Aims & Scope

IEEE Intelligent Systems serves users, managers, developers, researchers, and purchasers who are interested in intelligent systems and artificial intelligence, with particular emphasis on applications.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Daniel Zeng
University of Arizona