Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 1407680

From MaRDI portal
Publication:4940935
Jump to:navigation, search

zbMATH Open0944.68049MaRDI QIDQ4940935FDOQ4940935


Authors: Dietmar Seipel, Jack Minker, Carolina Ruiz Edit this on Wikidata


Publication date: 28 February 2000



Title of this publication is not available (Why is that?)



Recommendations

  • On the partial semantics for disjunctive deductive databases
  • scientific article; zbMATH DE number 1114053
  • scientific article; zbMATH DE number 25192
  • Theory and algorithms for disjunctive deductive databases
  • Computing only minimal answers in disjunctive deductive databases


zbMATH Keywords

disjunctive deductive databases


Mathematics Subject Classification ID

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



Cited In (8)

  • Unfolding partiality and disjunctions in stable model semantics
  • Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
  • Title not available (Why is that?)
  • Partial equilibrium logic
  • Theory and algorithms for disjunctive deductive databases
  • Computing only minimal answers in disjunctive deductive databases
  • Ordered model trees: A normal form for disjunctive deductive databases
  • Complexity results for answer set programming with bounded predicate arities and implications





This page was built for publication:

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4940935&oldid=19356732"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 07:44. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki