检索结果-内蒙古大学图书馆

20th international conference on Database and Expert Systems Applications

作者： Ruan, Chun Varadharajan, Vijay Univ Western Sydney Sch Comp & Math Penrith NSW 1797 Australia

ISBN: (纸本)9783642035722

this paper studies logic based methods for representing and evalulating complex access control policies needed by modern database applications. In our framework, authorization and delegation rules are specified in a, Weighted Delegatable Anthorization Program (WDAP) which is an extended logic program. We show how extended logic programs call be used to specify Complex security policies which support weighted administrative privilege delegation, weighted positive and negative authorizations, and weighted authorization propagations. We also propose a conflict resolution method that enables flexible delegation control by considering priorities of authorization grantors and weights of authorizations. A number of rules are provided to achieve delegation depth control, conflict resolution, and authorization and delegation propagations.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Extending context-sensitivity in term rewriting

Extending context-sensitivity in term rewriting

引用

9th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2009, associated to 20th international conference on Rewriting Techniques and Applications, RTA 2009, and was a part of the Federated conference on RDP 2009

作者： Gramlich, Bernhard Schernhammer, Felix Institute of Computer Languages Theory and Logic Group Vienna University of Technology Austria

We propose a generalized version of context-sensitivity in term rewriting based on the notion of "forbidden patterns". the basic idea is that a rewrite step should be forbidden if the redex to be contracted has a certain shape and appears in a certain context. this shape and context is expressed through forbidden patterns. In particular we analyze the relationships among this novel approach and the commonly used notion of context-sensitivity in term rewriting, as well as the feasibility of rewriting with forbidden patterns from a computational point of view. the latter feasibility is characterized by demanding that restricting a rewrite relation yields an improved termination behaviour while still being powerful enough to compute meaningful results. Sufficient criteria for both kinds of properties in certain classes of rewrite systems with forbidden patterns are presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets

RUSE-WARMR: Rule Selection for Classifier Induction in Multi...

引用

20th IEEE international conference on Tools with Artificial Intelligence

作者： Ferreira, Carlos Abreu Gama, Joao Costa, Vitor Santos Univ Porto ISEP Oporto Portugal Univ Porto INESC LA LIAAD Oporto Portugal Univ Porto INESC LA CRACS Oporto Portugal

ISBN: (纸本)9780769534404

One of the major challenges in knowledge discovery is how to extract meaningful and useful knowledge from the complex structured data that one finds in Scientific and Technological applications. One approach is to explore the logic relations in the database and using, say, an Inductive logic programming (ILP) algorithm find descriptive and expressive patterns. these patterns can then be used as features to characterize the target concept, the effectiveness of these algorithms depends both upon the algorithm we use to generate the patterns and upon the classifier Rule mining provides an excellent framework for efficiently mining the interesting patterns that are relevant. We propose a novel method to select discriminative patterns and evaluate the effectiveness of this method on a complex discovery application of practical interest.

关键词： Inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Compressing probabilistic Prolog programs

引用

MACHINE LEARNING 2008年第2-3期70卷 151-168页

作者： De Raedt, L. Kersting, K. Kimmig, A. Revoredo, K. Toivonen, H. Katholieke Univ Leuven Dept Computerwetenschappen B-3001 Heverlee Belgium Univ Freiburg Inst Informat D-79100 Freiburg Germany Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland

ProbLog is a recently introduced probabilistic extension of Prolog (De Raedt, et al. in Proceedings of the 20th international joint conference on artificial intelligence, pp. 2468-2473, 2007). A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these probabilities are mutually independent. the semantics of ProbLog is then defined by the success probability of a query in a randomly sampled program. this paper introduces the theory compression task for ProbLog, which consists of selecting that subset of clauses of a given ProbLog program that maximizes the likelihood w.r.t. a set of positive and negative examples. Experiments in the context of discovering links in real biological networks demonstrate the practical applicability of the approach.

关键词： probabilistic logic inductive logic programming theory revision compression network mining biological applications statistical relational learning

来源：评论

学校读者我要写书评

暂无评论

the life of a logic programming system

The life of a logic programming system

引用

24th international conference on logic programming, iclp 2008

作者： Santos Costa, Vítor DCC-FCUP CRACS University of Porto Portugal

ISBN: (纸本)3540899812

logic programming and the Prolog language have a major role in Computing. Prolog, and its derived languages, have been widely used in a impressive variety of application domains. thus, a bit of the history of logic programming reflects in the history of systems such as Dec-10 Prolog [32], M-Prolog [15], C-Prolog [19], Quintus Prolog [20], SICStus Prolog [6], BIM-Prolog [17], ECLiPSe [1], BinProlog [30], SWI-Prolog [34], CIAO [14], and B-Prolog [35], to mention but a few. I briefly present the evolution of one such system, YAP, and present a personal perspective on the challenges ahead for YAP (and for logic programming). © 2008 Springer Berlin Heidelberg.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A logic programming Approach to Home Monitoring for Risk Prevention in Assisted Living

A Logic Programming Approach to Home Monitoring for Risk Pre...

引用

24th international conference on logic programming (iclp)

作者： Mileo, Alessandra Merico, Davide Bisiani, Roberto Univ Milano Bicocca NOMADIS Res Lab QUA SI Res Ctr Viale Innovaz 110 I-20125 Milan Italy Univ Milano Bicocca Dipt Informat Sist & Comuni I-20126 Milan Italy

ISBN: (纸本)9783540899815

Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings, but this activity must not be too much invasive and a burden for clinicians. For this reason we proto-typed a system called SINDI (Secure and INDependent living), focused on i) collecting a limited amount of data about the person and the environment through Wireless Sensor Networks (WSN), and ii) reasoning about these data both to contextualize them and to support clinicians in understanding patients' well being as well as in predicting possible evolutions of their health. Our hierarchical logic-based model of health combines data from different sources, sensor data, tests results, commonsense knowledge and patient's clinical profile at the lower level, and correlation rules between aspects of health (items) across upper levels. the logical formalization and the reasoning process are based on Answer Set programming. the expressive power of this logic programming paradigm allows efficient reasoning to support prevention, while declarativity simplifies rules specification by clinicians and allows automatic encoding of knowledge. this paper describes how these issues have been targeted in the application scenario of the SINDI system.

关键词： Assisted living

来源：评论

学校读者我要写书评

暂无评论

Sharing application logic across programming language boundaries

Sharing application logic across programming language bounda...

引用

20th international conference on Software Engineering and Knowledge Engineering, SEKE 2008

作者： Patrone, Dennis S. Ramamurthy, Bina Department of Computer Science and Engineering University at Buffalo United States

ISBN: (纸本)9781627486620

As network-enabled devices and computerized services become ubiquitous in a breadth of applications, it is imperative that distributed system architectures enable components to communicate effectively and efficiently in heterogeneous environments. Standardized application-level network protocols are currently the most popular communication solution but a significant amount of flexibility is then lost at the network boundary. We propose an interaction model for distributed systems that will allow application knowledge in the form of programming logic to be shared across platform and programming language boundaries. We define an XML-based meta-language for describing application logic which is not targeted toward any one specific programming language, environment, or machine stack (real or virtual). Distributed applications can use this specification to exchange logic such as the details of application-level protocols in heterogeneous environments at runtime. this removes the distributed system's dependency on standardized and generalized application-level protocols. Distributed systems can also exchange algorithmic solutions to specific problems (knowledge dissemination), removing the need for any network-based communications to a centralized server. these freedoms will ultimately enable a distributed system that is more efficient, scalable, and adaptable than the current state of the art.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Compressing probabilistic Prolog programs

Compressing probabilistic Prolog programs

引用

16th international conference of Inductive logic programming

关键词： probabilistic logic inductive logic programming theory revision compression network mining biological applications statistical relational learning

来源：评论

学校读者我要写书评

暂无评论

20th international conference on logic programming, iclp 2004

引用

20th international conference on logic programming, iclp 2004

ISBN: (纸本)3540226710

the proceedings contain 46 papers. the special focus in this conference is on Analysis, Constraints, Alternative Paradigms and Answer Set programming. the topics include: Answer set programming and the design of deliberative agents;abstract domains based on regular types;termination of logic programs using various dynamic selection rules;Smodels with CLP and its applications;a simple and effective approach to aggregates in asp;the refined operational semantics of constraint handling rules;constraint handling rules and tabled execution;possible worlds semantics for probabilistic logic programs;generalised kernel sets for inverse entailment;on programs with linearly ordered multiple preferences;simplifying logic programs under answer set semantics;on acyclic and head-cycle free nested logic programs;speculative computations in or-parallel tabled logic programs;implementation results in classical constructive negation;on hybridization of local search and constraint propagation;non-viability deductions in arc-consistency computation;compiling prioritized circumscription into answer set programming;enhancing the magic-set method for disjunctive datalog programs;rectilinear Steiner tree construction using answer set programming;adding domain dependent knowledge into answer set programs for planning;multi-agent coordination as distributed logic programming;logic programs with annotated disjunctions;abstract interpretation-based mobile code certification;logic programming languages for querying and evolution on the web;applying CLP to predict extra-functional properties of component-based models;development of semantic debuggers based on refinement calculus and a tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Semantic programming Language SPL+ - A Preliminary Report

A Semantic Programming Language SPL+ - A Preliminary Report

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： Zhang Guigang Shu Wang Xu ChengZhi Zhiyuan Gong Phillip C-Y Sheu The State Key Laboratory of Software Engineering Wuhan University China Department of EECS University of California Irvine USA

this paper is a preliminary report on the development of a "declarative" programming language SPL+. It assists non-technical people to write programs. the key idea behind SPL+ is that the "programmer" only needs to solve target problems with a standardized methodology without worrying about how to solve the problem efficiently.

关键词： Computer languages logic programming programming profession Humans Cities and towns Testing Artificial intelligence Laboratories Software engineering Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：