Automated algorithm selection techniques have been applied successfully to Answer Set programming (ASP) solvers. ASP computation includes two levels of computation: variable substitution, called grounding, and proposi...
详细信息
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type theory. the conjecture says that in the presence of inductive types, coinductive typ...
详细信息
Fuzzy Answer Set programming (FASP) is an extension of the popular Answer Set programming (ASP) paradigm which is tailored for continuous domains. Despite the existence of several prototype implementations, none of th...
详细信息
In this paper we propose an extension of logicprogramming (LP) where each default literal derived from the well-founded model is associated a justification represented as an algebraic expression. this expression cont...
详细信息
Acyclicity constraints are prevalent in knowledge representation and, in particular, applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in th...
详细信息
Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic logic ...
详细信息
Although substantial progress has been made in the automation of many areas of systems biology, from data processing and model building to experimentation, comparatively little work has been done on integrated systems...
详细信息
ISBN:
(纸本)9783319234014;9783319234007
Although substantial progress has been made in the automation of many areas of systems biology, from data processing and model building to experimentation, comparatively little work has been done on integrated systems that combine all of these aspects. this paper presents an active learning system, "Huginn", that integrates experiment design and model revision in order to automate scientific reasoning about Metabolic Network Models. We have validated our approach in a simulated environment using substantial test cases derived from a state-of-the-art model of yeast metabolism. We demonstrate that Huginn can not only improve metabolic models, but that it is able to both solve a wider range of biochemical problems than previous methods, and to utilise a wider range of experiment types. Also, we show how design of extended crucial experiments can be automated using Abductive logicprogramming for the first time.
Over the last years, Answer Set programming has significantly extended its range of applicability, and moved beyond solving static problems to dynamic ones, even in online environments. However, its nonmonotonic natur...
详细信息
the paper shows the FPGA dedicated method of mapping a PLC program written according to the IEC61131-3 standard. there is described complete synthesis process from the program description to hardware implementation th...
详细信息
the paper shows the FPGA dedicated method of mapping a PLC program written according to the IEC61131-3 standard. there is described complete synthesis process from the program description to hardware implementation through mapping and scheduling procedures. PLCs' programming languages are translated into common intermediate graph form. It enables massive parallel implementation. there is presented an originally developed graph structure with attribute edges. Finally the graph mapping methodologies are discussed. A general hardware mapping concept and algorithms for utilizing specific FPGA components are presented. An efficient mapping of the DSP48 block is shown. It attempts to utilize all features of the block in pipelined calculation model. the consideration are summarized with implementation result comparison for general hardware mapping and with use of DSP48 units. (C) 2015, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
this paper describes an abstract problem derived from a combination of Siemens product configuration problems encountered in practice. Often isolated parts of configuration problems can be solved by mapping them to we...
详细信息
暂无评论