The proceedings contain 37 papers. The topics discussed include: coinductive logicprogramming and its applications;multi-paradigm declarative languages;logicprogramming for knowledge representation;minimal logic pro...
详细信息
ISBN:
(纸本)9783540746089
The proceedings contain 37 papers. The topics discussed include: coinductive logicprogramming and its applications;multi-paradigm declarative languages;logicprogramming for knowledge representation;minimal logic programs;logicprogramming approach to automata-based decision procedures;a logicprogramming framework for combinatorial circuit synthesis;observable confluence for constraint handling rules;declarative diagnosis of temporal concurrent constraint programs;resource-oriented deadlock analysis;automatic correctness proofs for logic program transformations;declarative debugging of missing answers in constraint functional-logicprogramming;visual logicprogramming method based on structural analysis and design technique;advanced techniques for answer set programming;modular answer set programming;and universal timed concurrent constraint programming.
This special issue of Theory and Practice of logicprogramming (TPLP) contains the regular papers accepted for presentation at the 33rdinternationalconference on logicprogramming (iclp 2017), held in Melbourne, Aus...
详细信息
This special issue of Theory and Practice of logicprogramming (TPLP) contains the regular papers accepted for presentation at the 33rdinternationalconference on logicprogramming (iclp 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. iclp 2017 was colocated with the 23rdinternationalconference on Principles and Practice of Constraint programming (CP 2017) and the 20th internationalconference on Theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, iclp has been the premier international event for presenting research in logicprogramming.
The proceedings contain 28 papers. The special focus in this conference is on logic for programming, Artificial Intelligence and Reasoning. The topics include: A compositional semantics for repairable fault trees with...
The proceedings contain 28 papers. The special focus in this conference is on logic for programming, Artificial Intelligence and Reasoning. The topics include: A compositional semantics for repairable fault trees with general distributions∗;a typed parallel λ-calculus via 1-depth intermediate proofs;an asp-based approach for boolean networks representation and attractor detection;antiprenexing for wsks: A little goes a long way;beyond symbolic heaps: Deciding separation logic with inductive definitions;coloring unit-distance strips using sat;decision levels are stable: Towards better sat heuristics;deep reinforcement learning for synthesizing functions in higher-order logic;entailment checking in separation logic with inductive definitions is 2-exptime-hard;finding periodic apartments via boolean satisfiability and orderly generation;finding small proofs for description logic entailments: Theory and practice;induction models on n;learning data structure shapes from memory graphs∗;learning what others know;minimal modifications of deep neural networks using verification;models of concurrent kleene algebra;nacre-a nogood and clause reasoning engine∗;on reasoning about access to knowledge;parameter synthesis for probabilistic hyperproperties∗;polynomial loops: Beyond termination∗;rat elimination;rotation based mss/mcs enumeration;sensitivity analysis of locked circuits;stateful premise selection by recurrent neural networks;tactic learning and proving for the coq proof assistant∗.
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in rob...
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in robots for education;towards ethical risk assessment of symbiotic ai systems with fuzzy rules;towards efficient norm-aware robots' decision making using datalog;debiasing computer vision models using data augmentation based adversarial techniques;a perturbation-based dataset evaluation approach for fair classifications;bias amplification chains in ML-based systems with an application to credit scoring;artificial intelligence as a peacebuilding tool: what is missing? a comparative legal analysis;and United Nations, artificial intelligences and regulations: analysis of the general assembly ai resolutions and the final report of the advisory body on AI.
This book constitutes the thoroughly refereed post-proceedings of the 23rdinternationalconference on Inductive logicprogramming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended pape...
ISBN:
(数字)9783662449233
ISBN:
(纸本)9783662449226;9783662449233
This book constitutes the thoroughly refereed post-proceedings of the 23rdinternationalconference on Inductive logicprogramming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.
When dealing with real-world processes, it is essential to consider their inherent uncertainty to more accurately represent their nature. In this work, we consider cases in which some information in the log might be u...
详细信息
This note provides background information and references to the tutorial on recent research developments in logicprogramming inspired by needs of knowledge representation.
ISBN:
(纸本)9783540746089
This note provides background information and references to the tutorial on recent research developments in logicprogramming inspired by needs of knowledge representation.
In this poster, we show how the fuzzy answer set semantics, i.e. a combination of answer set programming and fuzzy logic, can be mapped onto the semantics for HEX-programs.
ISBN:
(纸本)9783540746089
In this poster, we show how the fuzzy answer set semantics, i.e. a combination of answer set programming and fuzzy logic, can be mapped onto the semantics for HEX-programs.
暂无评论