Strong equivalence of logic programs is an important concept in the theory of answer set programming. Equilibrium logic was used to show that propositional formulas are strongly equivalent if and only if they are equi...
详细信息
the KR conference series is a leading forum for timely in- depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. the 2014 KR conference wa...
ISBN:
(纸本)9781577356578
the KR conference series is a leading forum for timely in- depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. the 2014 KR conference was held as part of the Vienna Summer of logic, a consortium of 12 conferences and 82 workshops organized by the Kurt Gdel Society at the Vienna University of Technology. this proceedings contains 58 regular papers and 25 short technical papers. they are broadly divided into the following areas: description logics (11), reasoning about actions and processes (7), belief revision and nonmonotonicity (6), gener- al knowledge representation and reasoning (6), planning, strategies, and diagnosis (5), answer set programming and logicprogramming (4), argu-mentation (4), automatedreasoning and computation (4), causality and rationality (4), uncertainty (4), and reports from the field (3)
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge e...
详细信息
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We study the data and combined complexity of deciding KB query inseparability for fragments of Horn-ALCHI, including the DLs underpinning OWL 2 QL and OWL 2EL. While all of these DLs are P-complete for data complexity, the combined complexity ranges from P to EXPTIME and 2EXPTIME. We also resolve two major open problems for OWL 2 QL by showing that TBox query inseparability and the membership problem for universal UCQ-solutions in knowledge exchange are both EXPTIME-complete for combined complexity.
In this paper, the applicability of the MapReduce framework for parallel computation for monadic logic programs is studied. In monadic programs all predicates are of arity one. Two different approaches are suggested: ...
详细信息
In this paper we present a new version of the language of Epistemic Specifications. the goal is to simplify and improve the intuitive and formal semantics of the language. We describe an algorithm for computing soluti...
详细信息
the fast growth of cloud applications highlights the requirement of appropriate security controls to restrict access to shared resources limited to authorized users. Existing authorization systems are not primarily de...
详细信息
ISBN:
(纸本)9781479950638
the fast growth of cloud applications highlights the requirement of appropriate security controls to restrict access to shared resources limited to authorized users. Existing authorization systems are not primarily designed for cloud environments and do not provide the required flexibility, adaptability, elasticity, scalability, or fine-grainedness of cloud applications. this paper outlines an ongoing effort in development of a flexible fine-grained access control system for modern cloud based applications. Modern cloud applications are distinctive in that the required authorization rules are defined by the organizations owning data and resources, before the application logic can be developed by their programmers. Although this simplifies cloud application development and provides flexibility and adaptability to potential future policy changes, it highlights the need for an adaptive flexible authorization system.
the proceedings contain 52 papers. the topics discussed include: fabrication of precise micro-fluidic devices using a low-cost and simple contact-exposure tool for lithography;geometrical improvement of a noninvasive ...
ISBN:
(纸本)9789897580130
the proceedings contain 52 papers. the topics discussed include: fabrication of precise micro-fluidic devices using a low-cost and simple contact-exposure tool for lithography;geometrical improvement of a noninvasive core temperature thermometer based on numeric modeling and experiment validation;low power remote neonatal temperature monitoring device;miniaturized antenna array with low correlation for telemedicine and body area networks applications;development of concurrent object-oriented logicprogramming system to intelligent monitoring of anomalous human activities;neural networks controller of a lower limbs robotic rehabilitation chair;versatile low-cost modular microfluidic arrays for cancer diagnostics;and development of retention system of the autonomous endoscopic capsule and its functionalities.
We tackle the problem of partial correctness of programs processing structures defined as graphs. We introduce a kernel imperative programming language endowed with atomic actions that participate in the transformatio...
详细信息
In this paper we introduce asprin1, a general, flexible, and extensible framework for handling preferences among the stable models of a logic program. We show how complex preference relations can be specified through ...
详细信息
the proceedings contain 14 papers. the topics discussed include: 'are preferences giving you a headache?' 'take asprin!';a refinement of the language of epistemic specifications;epistemic logic program...
ISBN:
(纸本)9780000000002
the proceedings contain 14 papers. the topics discussed include: 'are preferences giving you a headache?' 'take asprin!';a refinement of the language of epistemic specifications;epistemic logic programs with sorts;query answering in resource-based answer set semantics;declarative encodings of acyclicity properties;computing secure sets in graphs using answer set programming;on the implementation of weak constraints in WASP;applying action language BC with hierarchical domain abstraction to mobile robots;and computing answer sets for monadic logic programs via MapReduce.
暂无评论