Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

MaRDI QIDQ4963143zbMATH OpenFDO

Authors Davide Bresolin, G. Sánchez, Guido Sciavicco, Fernando Jiménez

Publication date 6 November 2018

Full work available at URL http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/

zbMATH Keywords

interval logicsmetaheuristicsmulti-objective evolutionary algorithmssatisfiability

Mathematics Subject Classification ID

Temporal logic (03B44) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Multi-objective and goal programming (90C29) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
• A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
• Interval temporal logics over finite linear orders: the complete picture
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
• scientific article; zbMATH DE number 6131597

Cited in

(2)

• A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
• Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

This page was built for publication: Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

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