the proceedings contain 18 papers. the topics discussed include: towards legally and ethically correct online HTN planning for data transfer;repairing ontologies via kernel pseudo-contraction;trust graphs for belief r...
the proceedings contain 18 papers. the topics discussed include: towards legally and ethically correct online HTN planning for data transfer;repairing ontologies via kernel pseudo-contraction;trust graphs for belief revision: framework and implementation;bipolar argumentation frameworks with explicit conclusions: connecting argumentation and logicprogramming;conditional syntax splitting, lexicographic entailment and the drowning effect;truth-tracking with non-expert information sources;argumentation frameworks induced by assumption-based argumentation: relating size and complexity;and a situation-calculus model of knowledge and belief based on thinking about justifications.
the proceedings contain 15 papers. the topics discussed include: encoding choice logics in ASP;determining action reversibility in STRIPS using answer set programming;solving assembly line workload smoothing problem v...
the proceedings contain 15 papers. the topics discussed include: encoding choice logics in ASP;determining action reversibility in STRIPS using answer set programming;solving assembly line workload smoothing problem via answer set programming;a multi-shot ASP encoding for the aircraft routing and maintenance planning problem;action languages and COVID-19: lessons learned;causal analysis of events occurring in trajectories of dynamic domains;operationalizing declarative and procedural knowledge: a benchmark on logicprogramming Petri Nets (LPPNs);actual causality in contextual abduction;and dynamic epistemic logic with ASP updates: application to conditional planning.
logicprogramming : 20thinternationalconference, iclp 2004, Saint-Malo, France, September 6-10, 2004 : Proceedings by internationalconference on logicprogramming (20th : 2004 Saint Malo, France); Demoen, Bart; Lif...
详细信息
logicprogramming : 20thinternationalconference, iclp 2004, Saint-Malo, France, September 6-10, 2004 : Proceedings by internationalconference on logicprogramming (20th : 2004 Saint Malo, France); Demoen, Bart; Lifschitz, Vladimir; published by Berlin ; New York : Springer
this paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. the key idea is to support predicates in rules as set-valued variables ...
详细信息
this paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. the key idea is to support predicates in rules as set-valued variables that can be used and updated in any scope, and support queries using rules as either explicit or implicit automatic calls to an inference function. We have defined a formal semantics of the language, implemented a prototype compiler that builds on an object-oriented language that supports concurrent and distributed programming and on an efficient logic rule system, and successfully used the language and implementation on benchmarks and problems from a wide variety of application domains. We describe the compilation method and results of experimental evaluation.
this volume contains the regular papers of the 35thinternationalconference on logicprogramming (iclp2019), held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019.
this volume contains the regular papers of the 35thinternationalconference on logicprogramming (iclp2019), held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019.
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions ...
详细信息
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? this paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together withlogic languages and languages not supporting logic rules.
In order to meet the diverse needs of smart substation users for relay protection devices, and to realize the personalized customization function of protection logic by engineering users, a user secondary development ...
详细信息
In this paper, I introduce the extended type-theory of acyclic algorithms L-ar(lambda) and its version L-r(lambda) with full recursion. the extended theory and its reduction calculus provide algorithmic semantics of a...
详细信息
ISBN:
(数字)9783031608780
ISBN:
(纸本)9783031608773;9783031608780
In this paper, I introduce the extended type-theory of acyclic algorithms L-ar(lambda) and its version L-r(lambda) with full recursion. the extended theory and its reduction calculus provide algorithmic semantics of attitude expressions, including beliefs, knowledge, and statements, which are present in advanced applications requiring computational semantics of natural language. the extended type-theory of algorithms includes restrictor terms, terms of logic operators, and pure quantifiers. the restrictor terms have effects of presuppositional restrictions, requiring objects to have certain properties. I provide brief, while important information on the relation of the theory of recursion L-r(lambda) to the formal language LCF of lambda-calculus, by Dana S. Scott and Gordon Plotkin, covering let-expressions for semantics of programming langages.
theory of strongly equivalent transformations is an essential part of the methodology of representing knowledge in answer set programming. Strong equivalence of two programs can be sometimes characterized as the possi...
详细信息
暂无评论