On the public citation graph
A knowledge representation and inference system for procedural law
0 signed · 46 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-16479-0_27openalex-snapshot
KRIP: A knowledge representation system for laws relating to industrial property
inferredcites →https://doi.org/10.1007/bf03037081openalex-snapshot
Ten requirements for a theory of change
inferredcites →https://doi.org/10.1016/0004-3702(71)90010-5openalex-snapshot
Strips: A new approach to the application of theorem proving to problem solving
inferredcites →https://doi.org/10.1016/s0364-0213(82)90003-9openalex-snapshot
A temporal logic for reasoning about processes and plans
inferredcites →https://doi.org/10.1109/mc.1983.1654200openalex-snapshot
Krypton: A Functional Approach to Knowledge Representation
inferredcites →https://doi.org/10.1145/5689.5920openalex-snapshot
The British Nationality Act as a logic program
inferredcites →https://doi.org/10.1145/800221.806720openalex-snapshot
An interval logic for higher-level temporal reasoning
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/isaf.257openalex-snapshot
Constructing a knowledge‐based system to aid scenario‐based strategic planning: an application to the European airline industry
inferred← citeshttps://doi.org/10.1007/11752912_36openalex-snapshot
Bayesian Metanetwork for Context-Sensitive Feature Relevance
inferred← citeshttps://doi.org/10.1007/3-540-55930-2_15openalex-snapshot
Legislation as logic programs
inferred← citeshttps://doi.org/10.1007/978-3-030-00178-0_9openalex-snapshot
Contributions to Modeling Patent Claims When Representing Patent Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-37225-4_9openalex-snapshot
Representation, Analytic Pragmatism and AI
inferred← citeshttps://doi.org/10.1007/978-94-015-8531-6_14openalex-snapshot
Legislation as Logic Programs
inferred← citeshttps://doi.org/10.1007/bf00118478openalex-snapshot
Deontic logic in the representation of law: Towards a methodology
inferred← citeshttps://doi.org/10.1007/bf00871851openalex-snapshot
Formalizing multiple interpretation of legal knowledge
inferred← citeshttps://doi.org/10.1007/bfb0055916openalex-snapshot
Optimising propositional modal satisfiability for description logic subsumption
inferred← citeshttps://doi.org/10.1016/0045-7906(94)90026-4openalex-snapshot
SACD: A system for acquiring knowledge from regulatory texts
inferred← citeshttps://doi.org/10.1016/0304-422x(90)90035-4openalex-snapshot
A cognitive (artificial intelligence + computational linguistics) approach to the analysis of natural language messages
inferred← citeshttps://doi.org/10.1016/0306-4573(90)90096-kopenalex-snapshot
A knowledge representation language for large knowledge bases and “intelligent” information retrieval systems
inferred← citeshttps://doi.org/10.1016/0743-1066(94)90041-8openalex-snapshot
Hierarchical representation of legal knowledge with metaprogramming in logic
inferred← citeshttps://doi.org/10.1016/0950-7051(90)90004-2openalex-snapshot
Designing deontic knowledge bases from regulation texts
inferred← citeshttps://doi.org/10.1016/b978-0-08-041438-6.50006-0openalex-snapshot
Expert Systems Embedded in Administrative Applications: Approach and Example
inferred← citeshttps://doi.org/10.1016/s1574-6526(05)80022-7openalex-snapshot
Time in Qualitative Simulation
inferred← citeshttps://doi.org/10.1017/als.2020.35openalex-snapshot
AI Applications to the Law Domain in Japan
inferred← citeshttps://doi.org/10.1080/13600834.1993.9965677openalex-snapshot
Formalising multiple interpretations of law as metalogic programs
inferred← citeshttps://doi.org/10.1080/13600834.1998.9965790openalex-snapshot
Time in automated legal reasoning
inferred← citeshttps://doi.org/10.1109/64.163670openalex-snapshot
Automated knowledge acquisition from regulatory texts
inferred← citeshttps://doi.org/10.1109/coopis.1996.554955openalex-snapshot
Observer: an approach for query processing in global information systems based on interoperation across pre-existing ontologies
inferred← citeshttps://doi.org/10.1109/icccyb.2005.1511589openalex-snapshot
Adaptive systems and interaction: the design of personalized interaction in computer-based education
inferred← citeshttps://doi.org/10.1109/icpr.2006.1098openalex-snapshot
Switching Auxiliary Chains for Speech Recognition based on Dynamic Bayesian Networks
inferred← citeshttps://doi.org/10.1109/iti.2001.938008openalex-snapshot
Interacting with educational systems using multiple views
inferred← citeshttps://doi.org/10.1109/iti.2002.1024670openalex-snapshot
User interface specification issues for computerized educational systems
inferred← citeshttps://doi.org/10.1109/lics.2002.1029843openalex-snapshot
Description logics: foundations for class-based knowledge representation
inferred← citeshttps://doi.org/10.1111/j.1467-9337.1990.tb00062.xopenalex-snapshot
The Logic of Time in Law and Legal Expert Systems*
inferred← citeshttps://doi.org/10.1142/s0219622004001082openalex-snapshot
STUDY ON SIMILARITY AND SIMILARITY REASONING
inferred← citeshttps://doi.org/10.1145/112646.112661openalex-snapshot
Indian central civil service pension rules
inferred← citeshttps://doi.org/10.1145/112646.112681openalex-snapshot
An expert system for the application of import and export regulations
inferred← citeshttps://doi.org/10.1145/98894.99136openalex-snapshot
Knowledge acquisition from prescriptive texts
inferred← citeshttps://doi.org/10.13053/rcs-99-1-1openalex-snapshot
Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property
inferred← citeshttps://doi.org/10.1515/9783110218398.3.225openalex-snapshot
Making sense of legal texts
inferred← citeshttps://doi.org/10.2498/cit.2002.03.05openalex-snapshot
User Interface Specification Issues for Computerized Educational Systems
inferred← citeshttps://doi.org/10.3109/14639239109025300openalex-snapshot
Development and validation of HEPAR, an expert system for the diagnosis of disorders of the liver and biliary tract
inferred← citeshttps://doi.org/10.3389/fncom.2014.00131openalex-snapshot
Bayesian networks in neuroscience: a survey
inferred← citeshttps://doi.org/10.48550/arxiv.1507.02086openalex-snapshot
The Role of Pragmatics in Legal Norm Representation
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.