On the public citation graph
Logics in Artificial Intelligence
0 signed · 36 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/bfb0021968openalex-snapshot
Revision specifications by means of programs
inferredcites →https://doi.org/10.1007/bfb0021973openalex-snapshot
TAS-D++: Syntactic trees transformations for Automated Theorem Proving
inferredcites →https://doi.org/10.1007/bfb0021974openalex-snapshot
A unification of ordering refinements of resolution in classical logic
inferredcites →https://doi.org/10.1007/bfb0021980openalex-snapshot
Reasoning about knowledge on computation trees
inferredcites →https://doi.org/10.1007/bfb0021983openalex-snapshot
On the concept of generic object: A nonmonotonic reasoning approach and examples
inferredcites →https://doi.org/10.1007/bfb0021987openalex-snapshot
Extending Horn clause theories by reflection principles
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-94452-0_19openalex-snapshot
A Carnapian Logic of Conceivability
inferred← citeshttps://doi.org/10.1016/0167-9236(88)90097-8openalex-snapshot
A quantitative approach to logical inference
inferred← citeshttps://doi.org/10.1016/0167-9236(90)90002-9openalex-snapshot
The sensitivity properties of hierarchical logic-based models
inferred← citeshttps://doi.org/10.1016/0168-0072(88)90017-6openalex-snapshot
On church's formal theory of functions and functionals
inferred← citeshttps://doi.org/10.1016/0169-023x(95)94024-3openalex-snapshot
Implementation of a logic-based support system for concurrent engineering
inferred← citeshttps://doi.org/10.1016/0306-4573(89)90005-8openalex-snapshot
The prototype cloris system: Describing, retrieving and discussing videodisc stills and sequences
inferred← citeshttps://doi.org/10.1016/0308-521x(94)90135-3openalex-snapshot
Identifying research priorities in developing countries
inferred← citeshttps://doi.org/10.1016/0360-8352(92)90087-zopenalex-snapshot
Temporal aspects in FMS scheduling: An overview
inferred← citeshttps://doi.org/10.1016/0377-2217(90)90132-uopenalex-snapshot
Supporting problem representations in decisions with strategic interactions
inferred← citeshttps://doi.org/10.1016/0736-5845(89)90042-2openalex-snapshot
Design and control of manufacturing systems: an integrated approach based on modal logic and zonecharts
inferred← citeshttps://doi.org/10.1016/0888-613x(87)90023-5openalex-snapshot
Implication in fuzzy logic
inferred← citeshttps://doi.org/10.1016/0950-7051(88)90004-4openalex-snapshot
Recursive modal unification for reasoning with knowledge using a graph representation
inferred← citeshttps://doi.org/10.1016/b978-0-08-037261-7.50039-4openalex-snapshot
EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE IN HIGHER EDUCATION: FROM COURSES IN COMPUTER SCIENCE TO COURSES IN APPLICATION-DOMAINS
inferred← citeshttps://doi.org/10.1016/b978-0-08-097086-8.43048-5openalex-snapshot
Knowledge Representation
inferred← citeshttps://doi.org/10.1016/b978-0-934613-32-3.50012-5openalex-snapshot
A Note on Non-Monotonic Reasoning
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50118-4openalex-snapshot
Representing Uncertainty in Simple Planners
inferred← citeshttps://doi.org/10.1016/j.artint.2007.02.002openalex-snapshot
Inductive situation calculus
inferred← citeshttps://doi.org/10.1016/j.ijar.2019.07.004openalex-snapshot
Missing values and dragonfly operations in fuzzy relational compositions
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100689openalex-snapshot
Belief base change as priority change: A study based on dynamic epistemic logic
inferred← citeshttps://doi.org/10.1016/j.matcom.2012.06.012openalex-snapshot
Revisiting four-valued logics from Maple using the Logics Explorer package
inferred← citeshttps://doi.org/10.1016/s0888-613x(05)80005-2openalex-snapshot
Heuristic reasoning and relative incompleteness
inferred← citeshttps://doi.org/10.1016/s0957-4174(99)00064-0openalex-snapshot
A Gröbner bases-based shell for rule-based expert systems development
inferred← citeshttps://doi.org/10.1016/s1874-5075(05)80021-xopenalex-snapshot
The Structure of Abduction
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80004-5openalex-snapshot
Many-Valued Logic and its Philosophy
inferred← citeshttps://doi.org/10.1109/hicss.1988.11943openalex-snapshot
Sensitivity analysis in hierarchical fuzzy logic models
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.