Converging to the chase -- a tool for finite controllability

DOI10.1016/J.JCSS.2016.08.001zbMATH Open1350.68056OpenAlexW2507660487MaRDI QIDQ314825FDOQ314825

Authors: Tomasz Gogacz, Jerzy Marcinkowski 

Publication date: 16 September 2016

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2016.08.001

Recommendations

• Converging to the chase -- a tool for finite controllability
• The convex controller: controllability in finite time
• \(\Gamma\)-convergence and chattering limits in optimal control theory
• scientific article; zbMATH DE number 3974782
• Convergence of optimal controls in some optimization problems
• On the convergence of optimal controls in certain optimization problems
• scientific article; zbMATH DE number 4059164
• On a pursuit problem with integral constraints on the players' controls
• Conjugate points in infinite-horizon control problems
• Convergence of Suboptimal Controls: The Point Target Case

zbMATH Keywords

bounded derivation depth propertyfinite controllabilitySticky Datalogsticky logictuple generating dependencies

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Title not available (Why is that?)
• Thue trees
• Converging to the chase -- a tool for finite controllability

Cited In (4)

• Title not available (Why is that?)
• Restricted Chase Termination: A Hierarchical Approach and Experimentation
• Converging to the chase -- a tool for finite controllability
• Finite model reasoning over existential rules

This page was built for publication: Converging to the chase -- a tool for finite controllability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q314825)