We address a novel issue for logicprogramming, namely the problem of evaluating ranked top-k queries. the problem occurs for instance, when we allow queries such as '' find cheap hotels close to the conferenc...
详细信息
ISBN:
(纸本)9783540729174
We address a novel issue for logicprogramming, namely the problem of evaluating ranked top-k queries. the problem occurs for instance, when we allow queries such as '' find cheap hotels close to the conference location '' in which vague predicates like cheap and close occur. Vague predicates have the effect that each tuple in the answer set has now a score in [0,I]. We show how to compute the top-k answers in case the set of facts is huge, without evaluating all the tuples.
Access control provides the mean of restricting the access to a computer system by checking whether a legitimate user has the rights to perform certain actions on the resources. therefore it should rely on flexible ad...
详细信息
ISBN:
(纸本)9781479977000
Access control provides the mean of restricting the access to a computer system by checking whether a legitimate user has the rights to perform certain actions on the resources. therefore it should rely on flexible administrative mechanism. An important component of the administrative mechanism is delegation. Delegation is the process of granting a specific authorization from a user to another user of the same system to carry out some functions on his behalf. the delegation, although widely used, is modeled in very little security policies because this concept is very complex. What we tried to do in this work is to redefine delegation for OrBAC using description logic. OrBAC is an access control model;it provides the mean to specify contextual authorizations, which facilitates modeling the features of the delegation such as temporary delegation, multiple delegation, revocation, etc. the description logicthat we use for the re-formalization process is T-JClassicde. this logic is a temporal nonmonotonic description logic, it gives the mean to specify nonmonotonic authorizations, and a better representation of the temporal aspects specific to a given delegation. this new representation augments the expressivity of the model and therefore it facilitates even more the representation and the management of the delegation characteristics.
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head o...
详细信息
ISBN:
(纸本)9783642405648
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we study the decidability of these rich programs and propose an implementation that combines, in a modular way, a reasoner for the parameter logic with an answer set solver.
Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and most other implementations, Isabelle/HOL datatype...
详细信息
ISBN:
(数字)9783540482567
ISBN:
(纸本)3540664637
Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and most other implementations, Isabelle/HOL datatypes may be mutually and indirect recursive, even infinitely branching. We also support inverted datatype definitions for characterizing existing types as being inductive ones later. All our constructions are fully definitional according to established HOL tradition. Stepping back from the logical details, we also see this work as a typical example of what could be called " Formal-logic Engineering". We observe that building realistic theorem proving environments involves further issues rather than pure logic only.
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiograph...
ISBN:
(纸本)9781450385107
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiography data of pulmonary embolism;testing the effectiveness of CNN and GNN and exploring the influence of different channels on decoding covert speech from EEG signals: CNN and GNN on decoding covert speech from EEG signals;deep learning-based approach for corneal ulcer screening;validating ontology-based annotations of biomedical resources using zero-shot learning;the effect of PreTraining thoracic disease detection systems on large-scale chest x-ray domain datasets;inference of gene networks from single cell data through quantified inductivelogicprogramming;detection of markers for discrete phenotypes;optimization algorithm for omic data subspace clustering;and spatio-temporal evolution of cellular automata based single nephron rigid tubular model.
We present a constraint logicprogramming (CLP) approach for synthesis of fault-tolerant hard real-time applications on. distributed heterogeneous architectures. We address time-triggered systems, where processes and ...
详细信息
ISBN:
(纸本)9781424408269
We present a constraint logicprogramming (CLP) approach for synthesis of fault-tolerant hard real-time applications on. distributed heterogeneous architectures. We address time-triggered systems, where processes and messages are statically scheduled based on schedule tables. We use process re-execution for recovering from multiple transient faults. We propose three scheduling approaches, which each present a trade-off between schedule simplicity and performance, (i) full transparency, (it) slack sharing and (iii) conditional, and provide various degrees of transparency. We have developed a CLP framework that produces the fault-tolerant schedules, guaranteeing schedulability in the presence of transient faults. We show how the framework call be used to tackle design optimization problems. the proposed approach has been evaluated using extensive experiments.
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a...
详细信息
ISBN:
(纸本)9783642405648
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a business intelligence suite for the analysis of distributed archives of tumor-based diseases.
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using...
详细信息
ISBN:
(纸本)9781665425483
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using multi-agent systems. the concept of collaborative microgrids is introduced using multiagent systems, where each household contributes to the microgrid stability and strengthening. In addition, stability and dynamic analysis are performed in order to check the microgrid behaviour against faults. the proposed strategy emphasises storage decentralization, programming facilities for the designer. the results show that this approach is perfectly valid for isolated communities. Furthermore, the microgrid stability is maintained even in a faulty regime.
暂无评论