the proceedings contain 36 papers. the topic discussed include: challenges to machine learning: relations between reality and appearance;first-order probabilistic languages: into the unknown;integration of learning an...
详细信息
ISBN:
(纸本)9783540738466
the proceedings contain 36 papers. the topic discussed include: challenges to machine learning: relations between reality and appearance;first-order probabilistic languages: into the unknown;integration of learning and reasoning techniques;injecting life with computers;on the connection between the phase transition of the covering test and the learning success rate;revising probabilistic Prolog programs;inductivelogicprogramming for gene regulation prediction;generalized ordering-search for learning directed probabilistic logical models;extension of the top-down data driven strategy to ILP;learning recursive patterns for biomedical information extraction;towards learning nonrecursive LPADs by transforming them into Bayesian networks;multi-class prediction using stochastic logic programs;structuring natural language data by learning rewriting rules;and an efficient algorithm for computing kernel function defined with anti-unification.
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an appl...
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an application study for semantic segmentation of medical images;towards inductive learning of domain-specific heuristics for ASP;mining sequences in phone recordings with answer set programming;estimation-based verification of cyber-physical systems via statistical model checking;explainability via short formulas: the case of propositional logic with implementation;and evaluating epistemic logic programs via answer set programming with quantifiers.
this book constitutes the thoroughly refereed post-conference proceedings of the 24thinternationalconference on inductivelogicprogramming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers ...
ISBN:
(纸本)9783319237077
this book constitutes the thoroughly refereed post-conference proceedings of the 24thinternationalconference on inductivelogicprogramming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers presented were carefully reviewed and selected from 41 submissions. the papers focus on topics such as the inducing of logic programs, learning from data represented withlogic, multi-relational machine learning, learning from graphs, and applications of these techniques to important problems in fields like bioinformatics, medicine, and text mining.
the proceedings contain 16 papers. the special focus in this conference is on inductivelogicprogramming. the topics include: A new algorithm for learning range restricted horn expressions;a refinement operator for d...
ISBN:
(纸本)354067795X
the proceedings contain 16 papers. the special focus in this conference is on inductivelogicprogramming. the topics include: A new algorithm for learning range restricted horn expressions;a refinement operator for description logics;executing query packs in ILP;a logical database mining querylan guage;induction of recursive theories in the normal ILP setting;extending k-means clustering to first-order representations;theory completion using inverse entailment;solving selection problems using preference relation based on bayesian learning;concurrent execution of optimal hypothesis search for inverse entailment;using ILP to improve planning in hierarchical reinforcement learning;inverse entailment in nonmonotonic logic programs;a note on two simple transformations for improving the efficiency of an ILP system;searching the subsumption lattice by a genetic algorithm and new conditions for the existence of least generalizations under relative subsumption.
this paper introduces the online reasoning platform InfOCF-Web160;2.0 that provides easy access to implementations of various inference methods for conditional belief bases. We present an overview of the realization...
In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of continuous and discrete variables. these ...
详细信息
ISBN:
(纸本)9798400714986
In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of continuous and discrete variables. these tasks are frequently modeled as mixed-integer programming (MIP) problems, where feedback data are incorporated as parameters. However, solving MIPs within strict time constraints is challenging due to their NP-complete nature. A promising solution to this challenge involves leveraging the largely invariant structure of these problems to perform most computations offline, thus enabling efficient online solving even on platforms with limited hardware capabilities. In this paper we present a novel implementation of this strategy that uses counterexample-guided inductive synthesis to split the MIP solution process into two stages. In the offline phase, we construct a mapping that provides feasible assignments for binary variables based on parameter values within a specified range. In the online phase, we solve the remaining continuous part of the problem by fixing the binary variables to the values predicted by this mapping. Our numerical evaluation demonstrates the efficiency and solution quality of this approach compared to standard mixed-integer solvers, highlighting its potential for realtime applications in resource-constrained environments.
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on ...
ISBN:
(纸本)3642175104
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on the equality of probabilistic terms;program logics for homogeneous meta-programming;verifying pointer and string analyses with region type systems;ABC: algebraic bound computation for loops;hardness of preorder checking for basic formalisms;a quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae;pairwise cardinality networks;logic and computation in a lambda calculus with intersection and union types;graded alternating-time temporal logic;non-oblivious strategy improvement;label-free proof systems for intuitionistic modal logic IS5;an intuitionistic epistemic logic for sequential consistency on shared memory;disunification for ultimately periodic interpretations;and synthesis of trigger properties.
the proceedings contain 28 papers. the special focus in this conference is on logic for programming. the topics include: logic and computation in a lambda calculus with intersection and union types;graded alternating-...
ISBN:
(纸本)9783642175107
the proceedings contain 28 papers. the special focus in this conference is on logic for programming. the topics include: logic and computation in a lambda calculus with intersection and union types;graded alternating-time temporal logic;non-oblivious strategy improvement;a simple class of kripke-style models in which logic and computation have equal standing;Label-free proof systems for intuitionistic modal logic IS5;an intuitionistic epistemic logic for sequential consistency on shared memory;disunification for ultimately periodic interpretations;synthesis of trigger properties;semiring-induced propositional logic: Definition and basic algorithms;speed-up techniques for negation in grounding;dafny: An automatic program verifier for functional correctness;relentful strategic reasoning in alternating-time temporal logic;counting and enumeration problems with bounded treewidth;the nullness analyser of julia;Qex: Symbolic SQL query explorer;automated proof compression by invention of new definitions;atomic cut introduction by resolution: Proof structuring and compression;satisfiability of Non-linear (Ir)rational arithmetic;coping with selfish on-going behaviors;constraint-Based Abstract Semantics for Temporal logic: A Direct Approach to Design and Implementation;on the equality of probabilistic terms;program logics for homogeneous meta-programming;verifying pointer and string analyses with region type systems;ABC: Algebraic bound computation for loops;hardness of preorder checking for basic formalisms;a quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae.
the proceedings contain 39 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming:...
ISBN:
(纸本)9783031157066
the proceedings contain 39 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming: A Case Study of Graph Coloring;a Qualitative Temporal Extension of Here-and-there logic;representing Abstract Dialectical Frameworks with Binary Decision Diagrams;Arguing Correctness of ASP Programs with Aggregates;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination;IASCAR: Incremental Answer Set Counting by Anytime Refinement;Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL;inference to the Stable Explanations;modal logic S5 in Answer Set programming with Lazy Creation of Worlds;Semantics for Conditional Literals via the SM Operator;state Transition in Multi-agent Epistemic Domains Using Answer Set programming;towards Provenance in Heterogeneous Knowledge Bases;Computing Smallest MUSes of Quantified Boolean Formulas;Pinpointing Axioms in Ontologies via ASP;interlinking logic Programs and Argumentation Frameworks;gradient-Based Supported Model Computation in Vector Spaces;towards Causality-Based Conflict Resolution in Answer Set Programs;xASP: An Explanation Generation System for Answer Set programming;Solving Problems in the Polynomial Hierarchy with ASP(Q);Enumeration of Minimal Models and MUSes in WASP;a Practical Account into Counting Dung’s Extensions by Dynamic programming;Clingraph: ASP-Based Visualization;A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection;QMaxSATpb: A Certified MaxSAT Solver;knowledge-Based Support for Adhesive Selection;ASP for Flexible Payroll Management;Analysis of Cyclic Fault Propagation via ASP;learning to Rank the Distinctiveness of Behaviour in Serial Offending;optimising Business Process Discovery Using Answer Set programming;DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models;statis
暂无评论