The expressive power of unique total stable model semantics

DOI10.1007/3-540-63165-8_237MaRDI QIDQ4572012zbMATHOpenAlexFDO

Authors Francesco Buccafurri, Sergio Greco, Domenico Saccà

Publication date 4 July 2018

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63165-8_237

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• The expressive powers of stable models for bound and unbound DATALOG queries
• Multiple total stable models are definitely needed to solve unique solution problems
• ``Possible is certain is desirable and can be expressive
• Complexity of the Stable Model Semantics for Queries on Incomplete Databases
• Functional queries in datalog

Cites work

• scientific article; zbMATH DE number 3474957 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 194907 (Why is no real title available?)
• Autoepistemic logic
• Multiple total stable models are definitely needed to solve unique solution problems
• On non-determinism in machines and languages
• On the unique satisfiability problem
• Relative complexity of checking and evaluating
• Structure and complexity of relational queries
• The well-founded semantics for general logic programs
• Why not negation by fixpoint?
• ``Possible is certain is desirable and can be expressive

Cited in

(4)

• Functional queries in datalog
• Extending and implementing the stable model semantics
• Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
• The expressive power of ``possible-is-certain semantics (extended abstract)

This page was built for publication: The expressive power of unique total stable model semantics

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