System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers

DOI10.1007/978-3-319-11558-0_37MaRDI QIDQ2938519zbMATH OpenOpenAlexFDO

Authors Michael Bartholomew, Joohyung Lee

Publication date 14 January 2015

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_37

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Non-monotonic spatial reasoning with answer set programming modulo theories
• Fuzzy answer set computation via satisfiability modulo theories
• Logic Programming
• On the relation among answer set solvers

Cites work

• Constraint Answer Set Solving
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Representing constraint satisfaction problems in answer set programming
• Stable models and circumscription

Cited in

(15)

• First-order stable model semantics with intensional functions
• ASPMT2SMT
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Clingo goes linear constraints over reals and integers
• Non-monotonic spatial reasoning with answer set programming modulo theories
• Constraint answer set solver EZCSP and why integration schemas matter
• The External Interface for Extending WASP
• Modeling and reasoning in event calculus using goal-directed constraint answer set programming
• Partial compilation of ASP programs
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Qualitative reasoning about 2D cardinal directions using answer set programming
• Optimal planning with expressive action languages as constraint optimization
• New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
• How to build your own ASP-based system?!
• Constraint answer set programming: integrational and translational (or SMT-based) approaches

Describes a project that uses

Uses Software

• z3
• Cplus2ASP
• f2lp

This page was built for publication: System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers

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