On the public citation graph
A logic programming system for nonmonotonic reasoning
0 signed · 97 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-50701-9_21openalex-snapshot
Compiling circumscriptive theories into logic programs
inferredcites →https://doi.org/10.1007/3-540-53507-1_87openalex-snapshot
Well!: An evaluation procedure for all logic programs
inferredcites →https://doi.org/10.1007/3-540-54009-1_25openalex-snapshot
A database needs two kinds of negation
inferredcites →https://doi.org/10.1007/3-540-54535-2_28openalex-snapshot
The extended stable models of contradiction removal semantics
inferredcites →https://doi.org/10.1007/3-540-55930-2_15openalex-snapshot
Legislation as logic programs
inferredcites →https://doi.org/10.1007/3-540-56944-8_65openalex-snapshot
Neutralization and preemption in extended logic programs
inferredcites →https://doi.org/10.1007/3-540-57287-2_47openalex-snapshot
Diagnosis and debugging as contradiction removal in logic programs
inferredcites →https://doi.org/10.1007/3-540-58025-5_47openalex-snapshot
Contradiction: When avoidance equals removal Part I
inferredcites →https://doi.org/10.1007/978-1-4612-5196-5_8openalex-snapshot
Towards a Logical Reconstruction of Relational Database Theory
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_1openalex-snapshot
Problems and Promises of Computational Logic
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_4openalex-snapshot
On Asking What a Database Knows
inferredcites →https://doi.org/10.1007/978-3-642-81955-1_32openalex-snapshot
Linear Resolution with Selection Function
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf00881886openalex-snapshot
A model-based belief revision system
inferredcites →https://doi.org/10.1007/bf01530826openalex-snapshot
Static semantics for normal and disjunctive logic programs
inferredcites →https://doi.org/10.1007/bfb0013044openalex-snapshot
Soundness and completeness of partial deductions for well-founded semantics
inferredcites →https://doi.org/10.1007/bfb0019400openalex-snapshot
Debugging by diagnosing assumptions
inferredcites →https://doi.org/10.1007/bfb0021967openalex-snapshot
Belief, provability, and logic programs
inferredcites →https://doi.org/10.1016/0004-3702(71)90012-9openalex-snapshot
Linear resolution with selection function
inferredcites →https://doi.org/10.1016/0004-3702(90)90101-5openalex-snapshot
Nonmonotonic reasoning, preferential models and cumulative logics
inferredcites →https://doi.org/10.1016/0743-1066(85)90013-5openalex-snapshot
A basis for deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(86)90004-xopenalex-snapshot
A basis for deductive database systems II
inferredcites →https://doi.org/10.1016/0743-1066(87)90007-0openalex-snapshot
Negation in logic programming
inferredcites →https://doi.org/10.1016/0743-1066(92)90019-yopenalex-snapshot
A procedural semantics for well-founded negation in logic programs
inferredcites →https://doi.org/10.1016/0743-1066(93)90032-copenalex-snapshot
Non-monotonic reasoning with logic programming
inferredcites →https://doi.org/10.1016/0743-1066(93)90034-eopenalex-snapshot
A goal-oriented approach to computing the well-founded semantics
inferredcites →https://doi.org/10.1016/0743-1066(94)90024-8openalex-snapshot
Logic programming and negation: A survey
inferredcites →https://doi.org/10.1016/0743-1066(94)90025-6openalex-snapshot
Logic programming and knowledge representation
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50151-2openalex-snapshot
REVISE: An Extended Logic Programming System for Revising Knowledge Bases
inferredcites →https://doi.org/10.1016/s0743-1066(97)00073-3openalex-snapshot
Tabulated resolution for the well-founded semantics
inferredcites →https://doi.org/10.1017/cbo9780511526664.003openalex-snapshot
Syntax based approaches to belief revision
inferredcites →https://doi.org/10.1093/logcom/1.6.835openalex-snapshot
Logic Programming with Strong Negation and Inexact Predicates
inferredcites →https://doi.org/10.1093/oxfordjournals.pa.a053040openalex-snapshot
HER MAJESTY'S STATIONERY OFFICE
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/153850.153865openalex-snapshot
Query evaluation under the well-founded semantics
inferredcites →https://doi.org/10.1145/73721.73722openalex-snapshot
The alternating fixpoint of logic programs with negation
inferredcites →https://doi.org/10.1145/73721.73723openalex-snapshot
Every logic program has a natural stratification and an iterated least fixed point model
inferredcites →https://doi.org/10.1145/74014.74016openalex-snapshot
The treatment of negation in logic programs for representing legislation
inferredcites →https://doi.org/10.7551/mitpress/4307.003.0025openalex-snapshot
Reasoning with Inconsistency in Extended Deductive Databases
inferredcites →https://doi.org/10.7551/mitpress/4307.003.0026openalex-snapshot
Diagnosis and Debugging as Contradiction Removal
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/1-4020-3092-4_1openalex-snapshot
Knowledge Representation with Logic Programs
inferred← citeshttps://doi.org/10.1007/10692710_17openalex-snapshot
Argumentative and Cooperative Multi-agent System for Extended Logic Programming
inferred← citeshttps://doi.org/10.1007/11853107_11openalex-snapshot
Supporting Open and Closed World Reasoning on the Web
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_45openalex-snapshot
On the Problem of Computing the Well-Founded Semantics
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_91openalex-snapshot
Psychiatric Diagnosis from the Viewpoint of Computational Logic
inferred← citeshttps://doi.org/10.1007/3-540-45365-2_42openalex-snapshot
Belief Revision by Lamarckian Evolution
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_15openalex-snapshot
Logic Programming Updating - A Guided Approach
inferred← citeshttps://doi.org/10.1007/3-540-45687-2_40openalex-snapshot
Hypothesis-Founded Semantics for Datalog Programs with Negation
inferred← citeshttps://doi.org/10.1007/3-540-59487-6_3openalex-snapshot
Abduction over 3-valued extended logic programs
inferred← citeshttps://doi.org/10.1007/3-540-60428-6_32openalex-snapshot
A model theory for paraconsistent logic programming
inferred← citeshttps://doi.org/10.1007/3-540-60428-6_36openalex-snapshot
Modelling diagnosis systems with the logic programming
inferred← citeshttps://doi.org/10.1007/3-540-60428-6_4openalex-snapshot
Belief revision in non-monotonic reasoning
inferred← citeshttps://doi.org/10.1007/3-540-60983-0_7openalex-snapshot
Default negated conclusions: Why not?
inferred← citeshttps://doi.org/10.1007/3-540-63255-7_18openalex-snapshot
A paraconsistent semantics with contradiction support detection
inferred← citeshttps://doi.org/10.1007/3-540-63255-7_26openalex-snapshot
REVISE: Logic programming and diagnosis
inferred← citeshttps://doi.org/10.1007/978-3-031-13858-4_12openalex-snapshot
Implementation Issues and Future Developments
inferred← citeshttps://doi.org/10.1007/978-3-032-04587-4_12openalex-snapshot
deon-$$\mathcal {B}$$: A Language for Well-Founded Deontic Planning
inferred← citeshttps://doi.org/10.1007/978-3-540-24572-8_2openalex-snapshot
Semantic Web Logic Programming Tools
inferred← citeshttps://doi.org/10.1007/978-3-540-24618-3_9openalex-snapshot
Fuzzy Unification and Argumentation for Well-Founded Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_20openalex-snapshot
Implementation Results in Classical Constructive Negation
inferred← citeshttps://doi.org/10.1007/978-3-540-48765-4_38openalex-snapshot
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-69619-3_11openalex-snapshot
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-15918-3_17openalex-snapshot
Embeddings of Simple Modular Extended RDF
inferred← citeshttps://doi.org/10.1007/978-3-642-22546-8_25openalex-snapshot
Modularity in the Rule Interchange Format
inferred← citeshttps://doi.org/10.1007/978-3-642-23032-5_6openalex-snapshot
Rules and Logic Programming for the Web
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_17openalex-snapshot
Stable Models and an Alternative Logic Programming Paradigm
inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_8openalex-snapshot
A Survey of Paraconsistent Semantics for Logic Programs
inferred← citeshttps://doi.org/10.1007/bf03037475openalex-snapshot
Belief revision via Lamarckian evolution
inferred← citeshttps://doi.org/10.1007/bfb0013593openalex-snapshot
A deliberative and reactive diagnosis agent based on logic programming
inferred← citeshttps://doi.org/10.1007/bfb0023799openalex-snapshot
Prolegomena to logic programming for non-monotonic reasoning
inferred← citeshttps://doi.org/10.1007/bfb0023804openalex-snapshot
Update-programms can update programs
inferred← citeshttps://doi.org/10.1007/bfb0023924openalex-snapshot
Vivid agents arguing about distributed extended logic programs
inferred← citeshttps://doi.org/10.1007/bfb0054788openalex-snapshot
Knowledge representation with logic programs
inferred← citeshttps://doi.org/10.1016/j.jal.2004.07.007openalex-snapshot
Epistemology and artificial intelligence
inferred← citeshttps://doi.org/10.1016/j.jal.2004.07.012openalex-snapshot
An encompassing framework for Paraconsistent Logic Programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00033-6openalex-snapshot
Relating defeasible and normal logic programming through transformation properties
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)80755-4openalex-snapshot
A unifying view for logic programming with non-monotonic reasoning
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00341-2openalex-snapshot
The limits of fixed-order computation
inferred← citeshttps://doi.org/10.1016/s0743-1066(00)00005-4openalex-snapshot
An abstract machine for efficiently computing queries to well-founded models
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00141-0openalex-snapshot
Representing actions: Laws, observations and hypotheses
inferred← citeshttps://doi.org/10.1016/s1570-2464(02)80012-xopenalex-snapshot
Philosophical incidence of logic programming
inferred← citeshttps://doi.org/10.1017/s0269888913000337openalex-snapshot
Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning
inferred← citeshttps://doi.org/10.1017/s0269888915000132openalex-snapshot
Resolving conflicts in knowledge for ambient intelligence
inferred← citeshttps://doi.org/10.1017/s1471068401001053openalex-snapshot
On the problem of computing the well-founded semantics
inferred← citeshttps://doi.org/10.1017/s147106840400225xopenalex-snapshot
A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
inferred← citeshttps://doi.org/10.1023/a:1018926021566openalex-snapshot
Computing extended abduction through transaction programs
inferred← citeshttps://doi.org/10.1023/a:1018990308362openalex-snapshot
Tabling for non‐monotonic programming
inferred← citeshttps://doi.org/10.11144/javeriana.10554.51301openalex-snapshot
Peor es nada : la lógica del mal como deficiencia
inferred← citeshttps://doi.org/10.1613/jair.2425openalex-snapshot
Extended RDF as a Semantic Foundation of Rule Markup Languages
inferred← citeshttps://doi.org/10.30845/ijhss.v12n6p7openalex-snapshot
Paraconsistent Annotated logic applied to Academic Entrepreneurship: A Systematic Literature Review
inferred← citeshttps://doi.org/10.47749/t/unicamp.2010.779563openalex-snapshot
Sobre os fundamentos de programação lógica paraconsistente
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.