The proceedings contain 5 papers. The topics discussed include: the structure and complexity of credal semantics;probabilistic constraint logic theories;toward computing conflict-based diagnoses in probabilistic logic...
The proceedings contain 5 papers. The topics discussed include: the structure and complexity of credal semantics;probabilistic constraint logic theories;toward computing conflict-based diagnoses in probabilistic logicprogramming;sampling random bioinformatics puzzles using adaptive probability distributions;and notes on the implementation of FAM.
A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for projection, forgetting and circumscri...
详细信息
An ultra-low power logic NVM has currents <10nA/cell in all operating regimes, high programming/erase speeds, excellent endurance/retention and allows strong Vdd fluctuations. The memory uses CMOS inverter read-out...
详细信息
ISBN:
(纸本)9781424415465
An ultra-low power logic NVM has currents <10nA/cell in all operating regimes, high programming/erase speeds, excellent endurance/retention and allows strong Vdd fluctuations. The memory uses CMOS inverter read-out principle (C-Flash) and F-N injection for programming and erase with voltages below +5V. The memory is intended for RFID and advanced mobile applications requiring small/middle sized embedded memory modules.
The proceedings contain 32 papers. The topics discussed include: reasoning about concurrent actions within features and fluents;a theory of time and temporal incidence based on instants and periods;processing disjunct...
ISBN:
(纸本)0818675284
The proceedings contain 32 papers. The topics discussed include: reasoning about concurrent actions within features and fluents;a theory of time and temporal incidence based on instants and periods;processing disjunctions of temporal constraints;reasoning with sequences of point events;hybrid temporal reasoning for planning and scheduling;gaining efficiency and flexibility in the simple temporal problem;logicprogramming with temporal constraints;networks of qualitative interval relations: combining circuit consistency and path consistency in the search for a solution;dynamic temporal interpretation contexts for temporal abstraction;representing interaction of agents at different time granularities;characterizing temporal repetition;a recursive temporal algebra and temporal completeness;and a general framework and reasoning models for time granularity.
We introduce a new method for integrating relevant parts of knowledge extracted from biomedical ontologies and answering complex queries related to drug safety and discovery, using Semantic Web technologies and answer...
详细信息
The proceedings contain 12 papers. The special focus in this conference is on Engineering Multi-Agent Systems. The topics include: A future for agent programming;towards agent aggregates;designing a knowledge represen...
ISBN:
(纸本)9783319261836
The proceedings contain 12 papers. The special focus in this conference is on Engineering Multi-Agent Systems. The topics include: A future for agent programming;towards agent aggregates;designing a knowledgerepresentation interface for cognitive agents;a probabilistic BPMN normal form to model and advise human activities;a flexible environment for complex event processing in logical agents;a testbed for agent oriented smart grid implementation;quantitative analysis of multiagent systems through statistical model checking;semantic mutation testing for multi-agent systems;a formal description of a mapping from business processes to agents;validating requirements using gaia roles models;programming mirror worlds and evaluating different concurrency configurations for executing multi-agent systems.
The rule-based programming paradigm is omnipresent in a number of engineering domains. However, there are some fundamental semantical differences between it and classic programming approaches. No generic solution for ...
详细信息
ISBN:
(纸本)9783642006746
The rule-based programming paradigm is omnipresent in a number of engineering domains. However, there are some fundamental semantical differences between it and classic programming approaches. No generic solution for using rules to model business logic in classic software has been provided so far. In this paper a new approach for Generalized Rule-based programming (GREP) is given. It is based on the use of an advanced rule representation called XTT, which includes an extended attribute-based language, a non-monotonic inference strategy, with an explicit inference control at the rule level. The paper shows, how some typical programming constructs, as well as classic programs can be modelled with this approach. The paper also presents possibilities of an efficient integration of this technique with existing software systems. It describes the so-called Hybrid Operators in Prolog - a concept which extends the Generalized Rule Based programming Model (GREP). This extension allows a GREP-based application to communicate with the environment by providing input/output operations, user interaction, and process synchronization. Furthermore, it allows for integration of such an application with contemporary software technologies including Prolog-based code. The proposed Hybrid Operators extend GREP forming a knowledge-based software development concept.
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks i...
详细信息
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks in communicating the reasons to the user. In this paper we examine the reasons for this and suggest some possible future directions.
A hybrid knowledge base (HKB), due to Nerode and Subrahmanian, is a formalism that provides a uniform theoretical framework within which heterogeneous data representation paradigms may be integrated. The HKB framework...
详细信息
ISBN:
(纸本)0819417106
A hybrid knowledge base (HKB), due to Nerode and Subrahmanian, is a formalism that provides a uniform theoretical framework within which heterogeneous data representation paradigms may be integrated. The HKB framework is broad enough to support the integration of a wide array of databases including, but not restricted to: relational data (with multiple schemas), spatial data structures (including different kinds of quadtrees), pictorial data (including GIF files), numeric data and computations (e.g., linear and integer programming), and terrain data. In this paper, we focus on how the HKB paradigm can be used as a unifying framework to reason about terrain data in the context of background data that may be contained in relational and spatial data structures. We show how the current implementation of the HKB compiler can support such an integration scheme.
DisCoPar (Distributed Components for Participatory Campaigning) is a framework inspired by flow-based programming (FBP) that enables users to develop and deploy mobile apps for participatory sensing purposes. The high...
详细信息
暂无评论