On the public citation graph

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

https://doi.org/10.1007/11595014_2
0 signed · 105 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/10722086_28openalex-snapshot
A Tableau Calculus for Equilibrium Entailment
inferredcites →https://doi.org/10.1007/11533092_4openalex-snapshot
From Logic Programs Updates to Action Description Updates
inferredcites →https://doi.org/10.1007/11546207_10openalex-snapshot
Answer Sets for Propositional Theories
inferredcites →https://doi.org/10.1007/3-540-36524-9_7openalex-snapshot
Preferring and Updating in Logic-Based Agents
inferredcites →https://doi.org/10.1007/3-540-44404-1_30openalex-snapshot
A Kripkean Semantics for Dynamic Logic Programming
inferredcites →https://doi.org/10.1007/3-540-44957-4_46openalex-snapshot
Computing Equilibrium Models Using Signed Formulas
inferredcites →https://doi.org/10.1007/3-540-45344-x_14openalex-snapshot
Robust Face Detection Using the Hausdorff Distance
inferredcites →https://doi.org/10.1007/3-540-45619-8_28openalex-snapshot
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
inferredcites →https://doi.org/10.1007/3-540-45757-7_5openalex-snapshot
Evolving Logic Programs
inferredcites →https://doi.org/10.1007/3-540-46767-x_11openalex-snapshot
Updating Extended Logic Programs through Abduction
inferredcites →https://doi.org/10.1007/3-540-47917-1_11openalex-snapshot
Genetic Model Optimization for Hausdorff Distance-Based Face Localization
inferredcites →https://doi.org/10.1007/3-540-56454-3_3openalex-snapshot
Declarative semantics of hypothetical logic programming with negation as failure
inferredcites →https://doi.org/10.1007/3-540-60800-1_22openalex-snapshot
Architectures for natural language generation: Problems and perspectives
inferredcites →https://doi.org/10.1007/3-540-60800-1_32openalex-snapshot
Lexical options in multilingual generation from a knowledge base
inferredcites →https://doi.org/10.1007/3-540-61708-6_63openalex-snapshot
Case retrieval nets: Basic ideas and extensions
inferredcites →https://doi.org/10.1007/978-3-540-24609-1_35openalex-snapshot
nlp: A Compiler for Nested Logic Programming
inferredcites →https://doi.org/10.1007/978-3-540-30227-8_19openalex-snapshot
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
inferredcites →https://doi.org/10.1007/978-3-642-85983-0_11openalex-snapshot
Resolution Strategies for the Intuitionistic Logic
inferredcites →https://doi.org/10.1007/978-3-7908-1769-0_9openalex-snapshot
Complexity of Many-valued Logics
inferredcites →https://doi.org/10.1007/978-94-015-9309-0_8openalex-snapshot
From Here to There: Stable Negation in Logic Programming
inferredcites →https://doi.org/10.1007/bf03037169openalex-snapshot
Classical negation in logic programs and disjunctive databases
inferredcites →https://doi.org/10.1007/bfb0019400openalex-snapshot
Debugging by diagnosing assumptions
inferredcites →https://doi.org/10.1007/bfb0023801openalex-snapshot
A new logical characterisation of stable models and answer sets
inferredcites →https://doi.org/10.1007/s00477-004-0185-5openalex-snapshot
Support vector machines and gradient boosting for graphical estimation of a slate deposit
inferredcites →https://doi.org/10.1007/s11225-005-0492-yopenalex-snapshot
The Refined Extension Principle for Semantics of Dynamic Logic Programming
inferredcites →https://doi.org/10.1016/j.apal.2004.06.012openalex-snapshot
Safe beliefs for propositional theories
inferredcites →https://doi.org/10.1016/j.knosys.2004.10.011openalex-snapshot
Story plot generation based on CBR
inferredcites →https://doi.org/10.1016/s0004-3702(02)00183-2openalex-snapshot
LUPS—A language for updating logic programs
inferredcites →https://doi.org/10.1016/s0004-3702(02)00187-xopenalex-snapshot
Extending and implementing the stable model semantics
inferredcites →https://doi.org/10.1016/s0004-3702(02)00230-8openalex-snapshot
Narrative prose generation
inferredcites →https://doi.org/10.1016/s0165-0114(98)00418-7openalex-snapshot
Fusion of multi-agent preference orderings
inferredcites →https://doi.org/10.1016/s0218-4885(01)00122-8openalex-snapshot
A Novel Approach for Robust, Fast and Accurate Face Detection
inferredcites →https://doi.org/10.1016/s0743-1066(97)10014-0openalex-snapshot
Combining negation as failure and embedded implications in logic programs
inferredcites →https://doi.org/10.1016/s0743-1066(99)00065-5openalex-snapshot
Dynamic updates of non-monotonic knowledge bases
inferredcites →https://doi.org/10.1016/s1474-6670(17)31251-xopenalex-snapshot
A comparative study of ls-svm’s applied to the silver box identification problem
inferredcites →https://doi.org/10.1017/cbo9780511809682openalex-snapshot
Kernel Methods for Pattern Analysis
inferredcites →https://doi.org/10.1017/s1471068401001247openalex-snapshot
On properties of update sequences based on causal rejection
inferredcites →https://doi.org/10.1017/s1471068403001923openalex-snapshot
Weight constraints as nested expressions
inferredcites →https://doi.org/10.1017/s1471068403001960openalex-snapshot
Abduction in well-founded semantics and generalized stable models via tabled dual programs
inferredcites →https://doi.org/10.1017/s1471068407003110openalex-snapshot
Propositional theories are strongly equivalent to logic programs
inferredcites →https://doi.org/10.1023/a:1008103604354openalex-snapshot
Integrated Person Tracking Using Stereo, Color, and Pattern Detection
inferredcites →https://doi.org/10.1023/a:1013180132511openalex-snapshot
Using clausal deductive databases for defining semantics in disjunctive deductive databases
inferredcites →https://doi.org/10.1023/a:1018978005636openalex-snapshot
Nested expressions in logic programs
inferredcites →https://doi.org/10.1080/00401706.1999.10485951openalex-snapshot
Statistical Learning Theory
inferredcites →https://doi.org/10.1080/095281399146436openalex-snapshot
Introduction to the special issue on memory-based language processing
inferredcites →https://doi.org/10.1090/s0002-9947-1950-0051437-7openalex-snapshot
Theory of reproducing kernels
inferredcites →https://doi.org/10.1093/logcom/12.1.13openalex-snapshot
Operators and Laws for Combining Preference Relations
inferredcites →https://doi.org/10.1109/34.232073openalex-snapshot
Comparing images using the Hausdorff distance
inferredcites →https://doi.org/10.1109/34.982883openalex-snapshot
Detecting faces in images: a survey
inferredcites →https://doi.org/10.1109/5.18626openalex-snapshot
A tutorial on hidden Markov models and selected applications in speech recognition
inferredcites →https://doi.org/10.1109/64.294135openalex-snapshot
Using natural-language processing to produce weather forecasts
inferredcites →https://doi.org/10.1109/72.536309openalex-snapshot
Human expression recognition from motion using a radial basis function network architecture
inferredcites →https://doi.org/10.1109/afgr.2000.840667openalex-snapshot
Gesture modeling and recognition using finite state machines
inferredcites →https://doi.org/10.1109/afgr.2002.1004177openalex-snapshot
Robust face detection at video frame rate based on edge orientation features
inferredcites →https://doi.org/10.1109/cvpr.1993.341019openalex-snapshot
A multi-resolution technique for comparing images using the Hausdorff distance
inferredcites →https://doi.org/10.1109/cvpr.2003.1211524openalex-snapshot
Recognizing and monitoring high-level behaviors in complex spatial environments
inferredcites →https://doi.org/10.1109/cvprw.2003.10039openalex-snapshot
ARGMode - Activity Recognition using Graphical Models
inferredcites →https://doi.org/10.1109/ismvl.2001.924565openalex-snapshot
Tutorial: Complexity of many-valued logics
inferredcites →https://doi.org/10.1109/robot.2003.1241933openalex-snapshot
Multi-robot team response to a multi-robot opponent team
inferredcites →https://doi.org/10.1109/robot.2004.1308058openalex-snapshot
CAMEO: Camera Assisted Meeting Event Observer
inferredcites →https://doi.org/10.1111/j.2517-6161.1988.tb01738.xopenalex-snapshot
Kernel Smoothing in Partial Linear Models
inferredcites →https://doi.org/10.1117/12.183806openalex-snapshot
Fast algorithm for locating head boundaries
inferredcites →https://doi.org/10.1145/1119439.1119440openalex-snapshot
Unfolding partiality and disjunctions in stable model semantics
inferredcites →https://doi.org/10.1145/1149114.1149117openalex-snapshot
The DLV system for knowledge representation and reasoning
inferredcites →https://doi.org/10.1145/116825.116836openalex-snapshot
Autoepistemic logic
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/383779.383783openalex-snapshot
Strongly equivalent logic programs
inferredcites →https://doi.org/10.1145/73721.73722openalex-snapshot
The alternating fixpoint of logic programs with negation
inferredcites →https://doi.org/10.1145/958942.958946openalex-snapshot
Preference formulas in relational queries
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
inferredcites →https://doi.org/10.2307/1912705openalex-snapshot
Root-N-Consistent Semiparametric Regression
inferredcites →https://doi.org/10.2307/2549613openalex-snapshot
Social Choice and Individual Values.
inferredcites →https://doi.org/10.3115/981863.981869openalex-snapshot
Integrating multiple knowledge sources to disambiguate word sense
inferredcites →https://doi.org/10.3233/aic-1994-7104openalex-snapshot
Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches
inferredcites →https://doi.org/10.3233/fi-1995-2233openalex-snapshot
A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIES
inferredcites →https://doi.org/10.48550/arxiv.cmp-lg/9605002openalex-snapshot
Building Natural-Language Generation Systems
inferredcites →https://doi.org/10.48550/arxiv.cs/0303009openalex-snapshot
Unfolding Partiality and Disjunctions in Stable Model Semantics

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11546207_10openalex-snapshot
Answer Sets for Propositional Theories
inferred← citeshttps://doi.org/10.1007/11546207_7openalex-snapshot
On Modular Translations and Strong Equivalence
inferred← citeshttps://doi.org/10.1007/11874850_63openalex-snapshot
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-20528-7_12openalex-snapshot
Towards Dynamic Answer Set Programming over Finite Traces
inferred← citeshttps://doi.org/10.1007/978-3-031-15707-3_1openalex-snapshot
Syntactic ASP Forgetting with Forks
inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_34openalex-snapshot
Deontic Equilibrium Logic with eXplicit Negation
inferred← citeshttps://doi.org/10.1007/978-3-540-74610-2_8openalex-snapshot
Minimal Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_46openalex-snapshot
Quantified Equilibrium Logic and Foundations for Answer Set Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-04238-6_51openalex-snapshot
System f2lp – Computing Answer Sets of First-Order Formulas
inferred← citeshttps://doi.org/10.1007/978-3-642-04238-6_8openalex-snapshot
A Revised Concept of Safety for General Answer Set Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-15675-5_8openalex-snapshot
A Normal Form for Linear Temporal Equilibrium Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-30743-0_7openalex-snapshot
Here and There among Logics for Logic Programming
inferred← citeshttps://doi.org/10.1007/s13218-018-0547-7openalex-snapshot
Answer Set Programming from a Logical Point of View
inferred← citeshttps://doi.org/10.1016/b978-0-12-801416-5.00015-2openalex-snapshot
Commonsense Reasoning Using Answer Set Programming
inferred← citeshttps://doi.org/10.1016/b978-0-12-801416-5.09974-5openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/j.artint.2019.07.005openalex-snapshot
Forgetting auxiliary atoms in forks
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.10.004openalex-snapshot
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
inferred← citeshttps://doi.org/10.1017/s1471068407003110openalex-snapshot
Propositional theories are strongly equivalent to logic programs
inferred← citeshttps://doi.org/10.1017/s1471068415000277openalex-snapshot
A denotational semantics for equilibrium logic
inferred← citeshttps://doi.org/10.1017/s1471068426100714openalex-snapshot
Implementing Metric Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.1080/11663081.2013.798985openalex-snapshot
Temporal equilibrium logic: a survey
inferred← citeshttps://doi.org/10.1093/logcom/exm011openalex-snapshot
Strong Negation and Equivalence in the Safe Belief Semantics
inferred← citeshttps://doi.org/10.1109/ismvl.2007.33openalex-snapshot
Model-Characterizing Formulas and Normal Forms in Godel Logics
inferred← citeshttps://doi.org/10.1609/aaai.v24i1.7601openalex-snapshot
Situation Calculus as Answer Set Programming
inferred← citeshttps://doi.org/10.1613/jair.3489openalex-snapshot
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0620openalex-snapshot
Disjunctive Logic Programs versus Normal Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2002.06911openalex-snapshot
An ASP semantics for Constraints involving Conditional Aggregates
inferred← citeshttps://doi.org/10.48550/arxiv.2002.06916openalex-snapshot
Implementing Dynamic Answer Set Programming
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.