Abstract
No public abstract is available from the verified source records.
Chris A. Johnson
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
The strong semantics for logic programs
10.1007/bf01928539 · 1995
Semantics of logic programs: their intuition and formal properties
1995
The stable model semantics for logic programming
1988
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
Hard problems for simple default logics
1989
Unresolved referenced work
1992
Autoepistemic logic
10.1145/116825.116836 · 1991
On the declarative semantics of deductive databases and logic programs
1988
On the declarative and procedural semantics of logic programs
10.1007/bf00243002 · 1989
Every logic program has a natural stratification and an iterated least fixed point model
1989
The well-founded semantics coincides with the three-valued stable semantics
10.3233/fi-1990-13404 · 1990
Weakly stratified logic programs
10.3233/fi-1990-13106 · 1990
Two simple characterisations of well-founded semantics
1992
Well-founded and stationary models of logic programs
10.1007/bf01530784 · 1994
The well-founded semantics for general logic programs
10.1145/116825.116838 · 1991
No additional external references are available.