ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
49
views
17
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,562
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Foundations of Deductive Databases and Logic Programming
Equivalences of Logic Programs
edited_book
Author(s):
M.J. Maher
Publication date
(Print):
1988
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
ScienceOpen Research
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
The Semantics of Predicate Logic as a Programming Language
M. van Emden
,
R. A. Kowalski
(1976)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
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
Contributions to the Theory of Logic Programming
Krzysztof R. Apt
,
M. van Emden
(1982)
0
comments
Cited
42
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1988
Pages
: 627-658
DOI:
10.1016/B978-0-934613-40-8.50020-8
SO-VID:
5d370419-9a1d-42e3-b991-b329329b06e4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 19
Negation in Logic Programming
pp. 89
Towards a Theory of Declarative Knowledge
pp. 149
Negation as Failure Using Tight Derivations for General Logic Programs
pp. 193
On the Declarative Semantics of Deductive Databases and Logic Programs
pp. 313
A Theorem-Proving Approach to Database Integrity
pp. 587
Unification Revisited
pp. 627
Equivalences of Logic Programs
pp. 659
Optimizing Datalog Programs
Similar content
2,562
Pain questionnaire development focusing on cross-cultural equivalence to the original questionnaire: the Japanese version of the Short-Form McGill Pain Questionnaire.
Authors:
Yoshihiro Tsukiyama
,
Toshiyuki Yoshida
,
Daiki Fujiwara
…
Non-equivalence of direct and indirect measures of unrealistic optimism
Authors:
H.M. Aucote
,
R.S. Gold
,
Helen Aucote
…
Single-atom logic for heterocycle editing
Authors:
Justin Jurczyk
,
Jisoo Woo
,
Sojung F. Kim
…
See all similar
Cited by
6
Some (in)translatability results for normal logic programs and propositional theories
Authors:
Tomi Janhunen
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Authors:
,
,
Transforming floundering into success
Authors:
Lee Naish
See all cited by