Classical negation in logic programs and disjunctive databases

Gelfond, Michael; Lifschitz, Vladimir

doi:10.1007/BF03037169

Record: found
Abstract: not found
Article: not found

Classical negation in logic programs and disjunctive databases

Author(s): Michael Gelfond , Vladimir Lifschitz

Publication date Created: August 1991

Publication date (Print): August 1991

Journal: New Generation Computing

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

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

Abstract

Related collections

Most cited references 2

Record: found
Abstract: not found
Article: not found

A kripke-kleene semantics for logic programs*

Melvin Fitting (1985)

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

Bookmark

Record: found
Abstract: not found
Article: not found

The treatment of negation in logic programs for representing legislation

R Kowalski (1989)

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

Bookmark

All references

Author and article information

Journal

Title: New Generation Computing

Abbreviated Title: New Gener Comput

Publisher: Springer Nature

ISSN (Print): 0288-3635

ISSN (Electronic): 1882-7055

Publication date Created: August 1991

Publication date (Print): August 1991

Volume: 9

Issue: 3-4

Pages: 365-385

Article

DOI: 10.1007/BF03037169

SO-VID: c60d1f07-ecea-4cb0-b3a6-9e4ae8d5f319

History

Data availability:

Classical negation in logic programs and disjunctive databases

Read this article at

Abstract

Related collections

REPO4EU WP2 Databases

Most cited references 2

A kripke-kleene semantics for logic programs*

The treatment of negation in logic programs for representing legislation

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 951

Cited by 217

Most referenced authors 4