There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 17

Record: found
Abstract: not found
Article: not found

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz (1991)

0 comments Cited 221 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Knowledge Representation, Reasoning and Declarative Problem Solving

Chitta Baral (2009)

0 comments Cited 83 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Disjunctive datalog

Georg Gottlob, Thomas Eiter, Heikki Mannila (1997)

0 comments Cited 58 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 317-330

DOI: 10.1007/978-3-642-20895-9_37

SO-VID: 3e68c6cd-f43d-489e-8202-1d5a49379a7f

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

Answer Set Solving in Practice
Authors: Martin Gebser, Roland Kaminski, Benjamin B Kaufmann …
Interactive Debugging of Non-ground ASP Programs
Authors: Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch …
Justifying Answer Sets using Argumentation
Authors: ,

See all cited by

ASPIDE: Integrated Development Environment for Answer Set Programming

Read this book at

Related collections

Smart Contracts Programming Languages

Most cited references 17

Classical negation in logic programs and disjunctive databases

Knowledge Representation, Reasoning and Declarative Problem Solving

Disjunctive datalog

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,094

Cited by 11