发布求助
文献互助 智能选刊 最新文献

International Conference on Logic Programming最新文献

筛选
英文 中文
A Compositional Typed Higher-Order Logic with Definitions 具有定义的组合型高阶逻辑
International Conference on Logic Programming Pub Date : 2016-11-01 DOI: 10.4230/OASIcs.ICLP.2016.14
Ingmar Dasseville, Matthias van der Hallen, B. Bogaerts, Gerda Janssens, M. Denecker
{"title":"A Compositional Typed Higher-Order Logic with Definitions","authors":"Ingmar Dasseville, Matthias van der Hallen, B. Bogaerts, Gerda Janssens, M. Denecker","doi":"10.4230/OASIcs.ICLP.2016.14","DOIUrl":"https://doi.org/10.4230/OASIcs.ICLP.2016.14","url":null,"abstract":"Expressive KR languages are built by integrating different language constructs, or extending a language with new language constructs. This process is difficult if non-truth-functional or non-monotonic constructs are involved. What is needed is a compositional principle. \u0000 \u0000This paper presents a compositional principle for defining logics by modular composition of logical constructs, and applies it to build a higher order logic integrating typed lambda calculus and rule sets under a well-founded or stable semantics. Logical constructs are formalized as triples of a syntactical rule, a semantical rule, and a typing rule. The paper describes how syntax, typing and semantics of the logic are composed from the set of its language constructs. The base semantical concept is the infon: mappings from structures to values in these structures. Semantical operators of language constructs operate on infons and allow to construct the infons of compound expressions from the infons of its subexpressions. This conforms to Frege's principle of compositionality.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127604525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Inference in Probabilistic Logic Programs using Lifted Explanations 使用提升解释的概率逻辑程序中的推理
International Conference on Logic Programming Pub Date : 2016-08-01 DOI: 10.4230/OASIcs.ICLP.2016.15
Arun Nampally, C. Ramakrishnan
{"title":"Inference in Probabilistic Logic Programs using Lifted Explanations","authors":"Arun Nampally, C. Ramakrishnan","doi":"10.4230/OASIcs.ICLP.2016.15","DOIUrl":"https://doi.org/10.4230/OASIcs.ICLP.2016.15","url":null,"abstract":"In this paper, we consider the problem of lifted inference in the context of Prism-like probabilistic logic programming languages. Traditional inference in such languages involves the construction of an explanation graph for the query and computing probabilities over this graph. When evaluating queries over probabilistic logic programs with a large number of instances of random variables, traditional methods treat each instance separately. For many programs and queries, we observe that explanations can be summarized into substantially more compact structures, which we call lifted explanation graphs. In this paper, we define lifted explanation graphs and operations over them. In contrast to existing lifted inference techniques, our method for constructing lifted explanations naturally generalizes existing methods for constructing explanation graphs. To compute probability of query answers, we solve recurrences generated from the lifted graphs. We show examples where the use of our technique reduces the asymptotic complexity of inference.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132242541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Grounded Fixpoints and Active Integrity Constraints 接地固定点和主动完整性约束
International Conference on Logic Programming Pub Date : 2016-07-19 DOI: 10.4230/OASIcs.ICLP.2016.11
L. Cruz-Filipe
{"title":"Grounded Fixpoints and Active Integrity Constraints","authors":"L. Cruz-Filipe","doi":"10.4230/OASIcs.ICLP.2016.11","DOIUrl":"https://doi.org/10.4230/OASIcs.ICLP.2016.11","url":null,"abstract":"The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on how to repair existing inconsistencies. The rule-based syntax of such integrity constraints also provides algorithms for finding such repairs that achieve the best asymptotic complexity. However, the different semantics that have been proposed for these integrity constraints all exhibit some counter-intuitive examples. In this work, we look at active integrity constraints using ideas from algebraic fixpoint theory. We show how database repairs can be modeled as fixpoints of particular operators on databases, and study how the notion of grounded fixpoint induces a corresponding notion of grounded database repair that captures several natural intuitions, and in particular avoids the problems of previous alternative semantics. In order to study grounded repairs in their full generality, we need to generalize the notion of grounded fixpoint to non-deterministic operators. We propose such a definition and illustrate its plausibility in the database context.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129472290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments 定性时空推理的答案集规划:方法与实验
International Conference on Logic Programming Pub Date : 2016-07-19 DOI: 10.4230/OASIcs.ICLP.2016.4
C. Brenton, Wolfgang Faber, Sotiris Batsakis
{"title":"Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments","authors":"C. Brenton, Wolfgang Faber, Sotiris Batsakis","doi":"10.4230/OASIcs.ICLP.2016.4","DOIUrl":"https://doi.org/10.4230/OASIcs.ICLP.2016.4","url":null,"abstract":"We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen's Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8).","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132973753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Two-Valued Logic Programs 二值逻辑程序
International Conference on Logic Programming Pub Date : 2012-12-01 DOI: 10.4230/LIPIcs.ICLP.2012.259
V. Lifschitz
{"title":"Two-Valued Logic Programs","authors":"V. Lifschitz","doi":"10.4230/LIPIcs.ICLP.2012.259","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.259","url":null,"abstract":"We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing actions.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"39 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121000115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report 回答关于基于框架的知识库的“为什么”和“如何”问题:初步报告
International Conference on Logic Programming Pub Date : 2012-12-01 DOI: 10.4230/LIPIcs.ICLP.2012.26
Chitta Baral, N. Vo, Shanshan Liang
{"title":"Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report","authors":"Chitta Baral, N. Vo, Shanshan Liang","doi":"10.4230/LIPIcs.ICLP.2012.26","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.26","url":null,"abstract":"Being able to answer questions with respect to a given text is the cornerstone of language understanding and at the primary school level students are taught how to answer various kinds of questions including why and how questions. In the building of automated question answering systems the focus so far has been more on factoid questions and comparatively little attention has been devoted to answering why and how questions. In this paper we explore answering why and how questions with respect to a frame-based knowledge base and give algorithms and ASP (answer set programming) implementation to answer two classes of questions in the Biology domain. They are of the form: \"How are X and Y related in the process Z?\" and \"Why is X important to Y?\"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121586565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Answer Set Solving with Lazy Nogood Generation 与懒惰无良一代解决答案集
International Conference on Logic Programming Pub Date : 2012-09-08 DOI: 10.4230/LIPIcs.ICLP.2012.188
C. Drescher, T. Walsh
{"title":"Answer Set Solving with Lazy Nogood Generation","authors":"C. Drescher, T. Walsh","doi":"10.4230/LIPIcs.ICLP.2012.188","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.188","url":null,"abstract":"Although Answer Set Programming (ASP) systems are highly optimised, their performance is sensitive to the size of the input and the inference it encodes. We address this deficiency by introducing a new extension to ASP solving. The idea is to integrate external propagators to represent parts of the encoding implicitly, rather than generating it a-priori. To match the state-of-the-art in conflict-driven solving, however, external propagators can make their inference explicit on demand. We demonstrate applicability in a novel Constraint Answer Set Programming system that can seamlessly integrate constraint propagation without sacrificing the advantages of conflict-driven techniques. Experiments provide evidence for computational impact. 1998 ACM Subject Classification I.2.3 Deduction and Theorem Proving","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127200782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
A Logic Programming approach for Access Control over RDF 基于RDF的访问控制逻辑编程方法
International Conference on Logic Programming Pub Date : 2012-09-04 DOI: 10.4230/LIPIcs.ICLP.2012.381
Nuno Lopes, S. Kirrane, Antoine Zimmermann, A. Polleres, A. Mileo
{"title":"A Logic Programming approach for Access Control over RDF","authors":"Nuno Lopes, S. Kirrane, Antoine Zimmermann, A. Polleres, A. Mileo","doi":"10.4230/LIPIcs.ICLP.2012.381","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.381","url":null,"abstract":"The Resource Description Framework (RDF) is an interoperable data representation format suitable for interchange and integration of data, especially in Open Data contexts. However, RDF is also becoming increasingly attractive in scenarios involving sensitive data, where data protection is a major concern. At its core, RDF does not support any form of access control and current proposals for extending RDF with access control do not fit well with the RDF representation model. Considering an enterprise scenario, we present a modelling that caters for access control over the stored RDF data in an intuitive and transparent manner. For this paper we rely on Annotated RDF, which introduces concepts from Annotated Logic Programming into RDF. Based on this model of the access control annotation domain, we propose a mechanism to manage permissions via application-specific logic rules. Furthermore, we illustrate how our Annotated Query Language (AnQL) provides a secure way to query this access control annotated RDF data.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132072186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Modeling Machine Learning and Data Mining Problems with FO(·) 用FO建模机器学习和数据挖掘问题(·)
International Conference on Logic Programming Pub Date : 2012-09-01 DOI: 10.4230/LIPIcs.ICLP.2012.14
H. Blockeel, B. Bogaerts, M. Bruynooghe, B. D. Cat, Stef De Pooter, M. Denecker, A. Labarre, J. Ramon, S. Verwer
{"title":"Modeling Machine Learning and Data Mining Problems with FO(·)","authors":"H. Blockeel, B. Bogaerts, M. Bruynooghe, B. D. Cat, Stef De Pooter, M. Denecker, A. Labarre, J. Ramon, S. Verwer","doi":"10.4230/LIPIcs.ICLP.2012.14","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.14","url":null,"abstract":"This paper reports on the use of the FO(·) language and the IDP framework for modeling and solving some machine learning and data mining tasks. The core component of a model in the IDP framework is an FO(·) theory consisting of formulas in first order logic and definitions; the latter are basically logic programs where clause bodies can have arbitrary first order formulas. Hence, it is a small step for a well-versed computer scientist to start modeling. We describe some models resulting from the collaboration between IDP experts and domain experts solving machine learning and data mining tasks. A first task is in the domain of stemmatology, a domain of philology concerned with the relationship between surviving variant versions of text. A second task is about a somewhat similar problem within biology where phylogenetic trees are used to represent the evolution of species. A third and final task is about learning a minimal automaton consistent with a given set of strings. For each task, we introduce the problem, present the IDP code and report on some experiments.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133444468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
LOG-IDEAH: ASP for Architectonic Asset Preservation LOG-IDEAH:建筑资产保护ASP
International Conference on Logic Programming Pub Date : 2012-07-27 DOI: 10.4230/LIPIcs.ICLP.2012.393
V. Novelli, Marina De Vos, J. Padget, D. D’Ayala
{"title":"LOG-IDEAH: ASP for Architectonic Asset Preservation","authors":"V. Novelli, Marina De Vos, J. Padget, D. D’Ayala","doi":"10.4230/LIPIcs.ICLP.2012.393","DOIUrl":"https://doi.org/10.4230/LIPIcs.ICLP.2012.393","url":null,"abstract":"To preserve our cultural heritage, it is important to preserve our architectonic assets, comprising buildings, their decorations and the spaces they encompass. In some geographical areas, occasional natural disasters, specifically earthquakes, damage these cultural assets. Perpetuate is a European Union funded project aimed at establishing a methodology for the classification of the damage to these buildings, expressed as “collapse mechanisms”. Structural engineering research has identified 17 dierent collapse mechanisms for masonry buildings damaged by earthquakes. Following established structural engineering practice, paper-based decisions trees have been specified to encode the recognition process for each of the various collapse mechanisms. In this paper, we report on how answer set programming has been applied to the construction of a machineprocessable representation of these collapse mechanisms as an alternative for these decision-trees and their subsequent verification and application to building records from L’Aquila, Algiers and Rhodes. As a result, we advocate that structural engineers do not require the time-consuming and error-prone method of decisions trees, but can instead specify the properties of collapse mechanisms directly as an answer set program.","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"297 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128608071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信