The expressive power of unique total stable model semantics

DOI10.1007/3-540-63165-8_237zbMATH Open1401.68027OpenAlexW1502477797MaRDI QIDQ4572012FDOQ4572012

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• Autoepistemic logic
• Title not available (Why is that?)
• Relative complexity of checking and evaluating
• Structure and complexity of relational queries
• Why not negation by fixpoint?
• On the unique satisfiability problem
• Title not available (Why is that?)
• Multiple total stable models are definitely needed to solve unique solution problems
• ``Possible is certain is desirable and can be expressive
• On non-determinism in machines and languages

Cited In (3)

• Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
• Functional queries in datalog
• Extending and implementing the stable model semantics

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)