On the public citation graph
Automated Refinement of First-Order Horn-Clause Domain Theories
0 signed · 164 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-56602-3_128openalex-snapshot
On the proper definition of minimality in specialization and theory revision
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/bf00117105openalex-snapshot
Learning Logical Definitions from Relations
inferredcites →https://doi.org/10.1007/bf00992861openalex-snapshot
Interactive concept-learning and constructive induction by analogy
inferredcites →https://doi.org/10.1007/bf00993103openalex-snapshot
Extracting Refined Rules from Knowledge-Based Neural Networks
inferredcites →https://doi.org/10.1007/bf00993254openalex-snapshot
The Utility of Knowledge in Inductive Learning
inferredcites →https://doi.org/10.1007/bf00994111openalex-snapshot
A Framework for Average Case Analysis of Conjunctive Learning Algorithms
inferredcites →https://doi.org/10.1007/bfb0017226openalex-snapshot
Knowledge base refinement using apprenticeship learning techniques
inferredcites →https://doi.org/10.1016/0004-3702(88)90012-4openalex-snapshot
Automatic knowledge base refinement for classification systems
inferredcites →https://doi.org/10.1016/0004-3702(91)90109-wopenalex-snapshot
Cmpositional modeling: finding the right model for the job
inferredcites →https://doi.org/10.1016/0004-3702(94)90028-0openalex-snapshot
Theory refinement combining analytical and empirical methods
inferredcites →https://doi.org/10.1016/0004-3702(94)90029-9openalex-snapshot
Modeling a dynamic environment using a Bayesian multiple hypothesis approach
inferredcites →https://doi.org/10.1016/0005-1098(89)90099-xopenalex-snapshot
Qualitative reasoning: Modeling and simulation with incomplete knowledge
inferredcites →https://doi.org/10.1016/0010-4485(86)90018-7openalex-snapshot
Prolog programming for artificial intelligence
inferredcites →https://doi.org/10.1016/0025-5564(75)90047-4openalex-snapshot
A model of inexact reasoning in medicine
inferredcites →https://doi.org/10.1016/0933-3657(91)90006-wopenalex-snapshot
KARDIO: A study in deep and qualitative knowledge for expert systems
inferredcites →https://doi.org/10.1016/1042-8143(91)90003-6openalex-snapshot
Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning
inferredcites →https://doi.org/10.1016/b978-0-444-00179-5.50010-xopenalex-snapshot
Model of Inexact Reasoning in Medicine
inferredcites →https://doi.org/10.1016/b978-0-934613-64-4.50037-2openalex-snapshot
A KNOWLEDGE INTENSIVE APPROACH TO CONCEPT INDUCTION
inferredcites →https://doi.org/10.1016/b978-0-934613-64-4.50040-2openalex-snapshot
Machine Invention of First-order Predicates by Inverting Resolution
inferredcites →https://doi.org/10.1016/b978-0-934613-64-4.50041-4openalex-snapshot
The Interdependencies of Theory Formation, Revision, and Experimentation
inferredcites →https://doi.org/10.1016/b978-1-4832-1447-4.50018-3openalex-snapshot
Qualitative Simulation
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50010-6openalex-snapshot
The Flexibility of Speculative Refinement
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50079-9openalex-snapshot
Learning Qualitative Models of Dynamic Systems
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50091-xopenalex-snapshot
Determinate Literals in Inductive Logic Programming
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50094-5openalex-snapshot
Constraints on Predicate Invention
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50095-7openalex-snapshot
Revising Relational Domain Theories
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50099-4openalex-snapshot
The DUCTOR: A Theory Revision System for Propositional Domains
inferredcites →https://doi.org/10.1016/b978-1-55860-200-7.50109-4openalex-snapshot
Improving Shared Rules in Multiple Category Domain Theories
inferredcites →https://doi.org/10.1016/b978-1-55860-247-2.50018-8openalex-snapshot
Compiling Prior Knowledge Into an Explicit Bias
inferredcites →https://doi.org/10.1016/b978-1-55860-247-2.50040-1openalex-snapshot
Sub-unification: A Tool for Efficient Induction of Recursive Programs
inferredcites →https://doi.org/10.1016/b978-1-55860-247-2.50061-9openalex-snapshot
Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts
inferredcites →https://doi.org/10.1023/a:1022664419589openalex-snapshot
Interactive Concept-Learning and Constructive Induction by Analogy
inferredcites →https://doi.org/10.1080/09540099308915704openalex-snapshot
Combining Connectionist and Symbolic Learning to Refine Certainty Factor Rule Bases
inferredcites →https://doi.org/10.1086/284676openalex-snapshot
Selection of Offspring Size at Independence and Other Size-Versus-Number Strategies
inferredcites →https://doi.org/10.1093/oso/9780198538233.003.0008openalex-snapshot
Non-monotonic Learning
inferredcites →https://doi.org/10.1145/130836.1063179openalex-snapshot
Book review: Computational Models of Scientific Discovery and Theory Formation Edited by Jeff Shrager & Pat Langley (Morgan Kaufmann San Mateo, CA, 1990)
inferredcites →https://doi.org/10.21236/ada202882openalex-snapshot
The Interdependencies of Theory Formation, Revision, and Experimentation
inferredcites →https://doi.org/10.7551/mitpress/1192.001.0001openalex-snapshot
Algorithmic Program Debugging
inferredcites →https://doi.org/10.7551/mitpress/2007.003.0007openalex-snapshot
A Preliminary PAC Analysis of Theory Revision
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.896openalex-snapshot
Improving the efficiency of inductive logic programming systems
inferred← citeshttps://doi.org/10.1007/11536314_18openalex-snapshot
Probabilistic First-Order Theory Revision from Examples
inferred← citeshttps://doi.org/10.1007/11874850_48openalex-snapshot
PFORTE: Revising Probabilistic FOL Theories
inferred← citeshttps://doi.org/10.1007/3-540-36127-8_21openalex-snapshot
Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases
inferred← citeshttps://doi.org/10.1007/3-540-36468-4_15openalex-snapshot
Revision of First-Order Bayesian Classifiers
inferred← citeshttps://doi.org/10.1007/3-540-39967-4_17openalex-snapshot
Informed Selection of Training Examples for Knowledge Refinement
inferred← citeshttps://doi.org/10.1007/3-540-44716-4_15openalex-snapshot
Incremental Learning of Functional Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-44960-4_8openalex-snapshot
Theory Completion Using Inverse Entailment
inferred← citeshttps://doi.org/10.1007/3-540-48412-4_28openalex-snapshot
Data-Driven Theory Refinement Using KBDistAl
inferred← citeshttps://doi.org/10.1007/3-540-60925-3_60openalex-snapshot
Learning the past tense of English verbs using inductive logic programming
inferred← citeshttps://doi.org/10.1007/3-540-61532-6_4openalex-snapshot
Efficient multiple predicate learner based on fast failure mechanism
inferred← citeshttps://doi.org/10.1007/3-540-63494-0_45openalex-snapshot
Inductive logic programming for natural language processing
inferred← citeshttps://doi.org/10.1007/3-540-63577-7_53openalex-snapshot
Learning and revising theories in noisy domains
inferred← citeshttps://doi.org/10.1007/978-1-4419-0221-4_54openalex-snapshot
Learning Rules from User Behaviour
inferred← citeshttps://doi.org/10.1007/978-1-4419-7738-0_10openalex-snapshot
Probabilistic Inductive Querying Using ProbLog
inferred← citeshttps://doi.org/10.1007/978-1-4471-0119-2_7openalex-snapshot
Informed Selection of Filter Examples for Knowledge Refinement
inferred← citeshttps://doi.org/10.1007/978-1-4471-0745-3_3openalex-snapshot
Sequencing Training Examples for Iterative Knowledge Refinement
inferred← citeshttps://doi.org/10.1007/978-1-4757-6916-6_10openalex-snapshot
Organising Knowledge Refinement Operators
inferred← citeshttps://doi.org/10.1007/978-1-4757-6916-6_13openalex-snapshot
Incorporating Backtracking in Knowledge Refinement
inferred← citeshttps://doi.org/10.1007/978-3-030-03840-3_21openalex-snapshot
Exploring Abstract Argumentation-Based Approaches to Tackle Inconsistent Observations in Inductive Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_28openalex-snapshot
Logic-Based Explainable and Incremental Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-21542-6_26openalex-snapshot
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts
inferred← citeshttps://doi.org/10.1007/978-3-540-39917-9_10openalex-snapshot
Efficient Data Structures for Inductive Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-39917-9_6openalex-snapshot
Applying Theory Revision to the Design of Distributed Databases
inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_58openalex-snapshot
Classification of Complex Structured Objects on the Base of Similarity Degrees
inferred← citeshttps://doi.org/10.1007/978-3-540-73499-4_66openalex-snapshot
Hybrid Learning of Ontology Classes
inferred← citeshttps://doi.org/10.1007/978-3-540-73920-3_12openalex-snapshot
Learning Qualitative Models of Physical and Biological Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78469-2_21openalex-snapshot
Revising First-Order Logic Theories from Examples Through Stochastic Local Search
inferred← citeshttps://doi.org/10.1007/978-3-540-85928-4_11openalex-snapshot
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
inferred← citeshttps://doi.org/10.1007/978-3-540-88190-2_2openalex-snapshot
Transfer Learning by Mapping and Revising Relational Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-04584-4_5openalex-snapshot
Incremental Declarative Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-13840-9_12openalex-snapshot
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples
inferred← citeshttps://doi.org/10.1007/978-3-642-21295-6_28openalex-snapshot
Automating the ILP Setup Task: Converting User Advice about Specific Examples into General Background Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-25975-3_5openalex-snapshot
Enforcing Logically Weaker Knowledge in Classical Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-31951-8_26openalex-snapshot
Active Learning of Relational Action Models
inferred← citeshttps://doi.org/10.1007/978-3-662-04599-2_16openalex-snapshot
Internet Resources on ILP for KDD
inferred← citeshttps://doi.org/10.1007/978-3-8350-9199-3_9openalex-snapshot
Relativer Fortschritt von Theorien
inferred← citeshttps://doi.org/10.1007/bf00116901openalex-snapshot
Review of ?Inductive Logic Programming: Techniques and Applications? by Nada Lavra?, Sa?o D?eroski
inferred← citeshttps://doi.org/10.1007/bf02943195openalex-snapshot
An efficient multiple predicate learner
inferred← citeshttps://doi.org/10.1007/bf02948825openalex-snapshot
Toward effective knoledge acquisition with first-order logic induction
inferred← citeshttps://doi.org/10.1007/bf03037482openalex-snapshot
Advantages of decision lists and implicit negatives in Inductive Logic Programming
inferred← citeshttps://doi.org/10.1007/bfb0026777openalex-snapshot
Knowledge refinement for a design system
inferred← citeshttps://doi.org/10.1007/bfb0026798openalex-snapshot
Towards more collaboration between machine learning systems and their users
inferred← citeshttps://doi.org/10.1007/bfb0029440openalex-snapshot
Automated revision of expert rules for treating acute abdominal pain in children
inferred← citeshttps://doi.org/10.1007/s10994-009-5116-8openalex-snapshot
Using the bottom clause and mode declarations in FOL theory revision from examples
inferred← citeshttps://doi.org/10.1007/s10994-009-5146-2openalex-snapshot
Concept learning in description logics using refinement operators
inferred← citeshttps://doi.org/10.1007/s10994-011-5242-yopenalex-snapshot
The changing science of machine learning
inferred← citeshttps://doi.org/10.1007/s10994-014-5443-2openalex-snapshot
Lifted graphical models: a survey
inferred← citeshttps://doi.org/10.1007/s10994-015-5510-3openalex-snapshot
Bandit-based Monte-Carlo structure learning of probabilistic logic programs
inferred← citeshttps://doi.org/10.1007/s10994-015-5512-1openalex-snapshot
Incremental learning of event definitions with Inductive Logic Programming
inferred← citeshttps://doi.org/10.1007/s10994-016-5595-3openalex-snapshot
On the use of stochastic local search techniques to revise first-order logic theories from examples
inferred← citeshttps://doi.org/10.1007/s10994-019-05798-yopenalex-snapshot
Online probabilistic theory revision from examples with ProPPR
inferred← citeshttps://doi.org/10.1007/s10994-020-05871-xopenalex-snapshot
Transfer learning by mapping and revising boosted relational dependency networks
inferred← citeshttps://doi.org/10.1007/s10994-023-06358-1openalex-snapshot
Learning logic programs by explaining their failures
inferred← citeshttps://doi.org/10.1007/s10994-025-06864-4openalex-snapshot
A utility-driven approach to instance-based transfer learning for relational domains
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90105-8openalex-snapshot
Knowledge-based artificial neural networks
inferred← citeshttps://doi.org/10.1016/j.ijar.2008.05.002openalex-snapshot
Description and classification of complex structured objects by applying similarity measures
inferred← citeshttps://doi.org/10.1016/j.ins.2011.12.004openalex-snapshot
Relational pattern updating
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.03.034openalex-snapshot
Revising threshold functions
inferred← citeshttps://doi.org/10.1016/s0364-0213(99)80029-9openalex-snapshot
Belief change as propositional update
inferred← citeshttps://doi.org/10.1016/s0950-7051(96)01049-0openalex-snapshot
Making AI systems more creative: the IPC-model
inferred← citeshttps://doi.org/10.1016/s0950-7051(99)00018-0openalex-snapshot
Knowledge modelling for a generic refinement framework
inferred← citeshttps://doi.org/10.1017/cbo9780511814273.030openalex-snapshot
Belief Change as Propositional Update
inferred← citeshttps://doi.org/10.1017/s0269888909990348openalex-snapshot
Learning Qualitative Differential Equation models: a survey of algorithms and applications
inferred← citeshttps://doi.org/10.1017/s1471068413000689openalex-snapshot
Structure learning of probabilistic logic programs by searching the clause space
inferred← citeshttps://doi.org/10.1017/s1471068416000260openalex-snapshot
Online learning of event definitions
inferred← citeshttps://doi.org/10.1023/a:1007638124237openalex-snapshot
Multistrategy Theory Revision: Induction and Abduction in INTHELEX
inferred← citeshttps://doi.org/10.1023/a:1007661823108openalex-snapshot
Effective and Efficient Knowledge Base Refinement
inferred← citeshttps://doi.org/10.1023/a:1007690108308openalex-snapshot
Multistrategy Discovery and Detection of Novice Programmer Errors
inferred← citeshttps://doi.org/10.1023/a:1008793523863openalex-snapshot
The Automated Refinement of a Requirements Domain Theory
inferred← citeshttps://doi.org/10.1023/a:1013641821190openalex-snapshot
Theory Revision with Queries: DNF Formulas
inferred← citeshttps://doi.org/10.1023/a:1018098519027openalex-snapshot
Review of "Inductive Logic Programming: Techniques and Applications" by Nada Lavrač, Sašo Džeroski
inferred← citeshttps://doi.org/10.1023/a:1024448931103openalex-snapshot
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
inferred← citeshttps://doi.org/10.1023/b:dapd.0000026268.04288.b9openalex-snapshot
A Distribution Design Methodology for Object DBMS
inferred← citeshttps://doi.org/10.1037/e660362010-001openalex-snapshot
Transfer Learning in Integrated Cognitive Systems
inferred← citeshttps://doi.org/10.1093/logcom/exx015openalex-snapshot
On the formal characterization of the FORTE_MBC theory revision operators
inferred← citeshttps://doi.org/10.1109/ase.1998.732591openalex-snapshot
Towards the automated debugging and maintenance of logic-based requirements models
inferred← citeshttps://doi.org/10.1109/ijcnn.1998.687223openalex-snapshot
Constructive theory refinement in knowledge based neural networks
inferred← citeshttps://doi.org/10.1109/ijcnn.1999.830811openalex-snapshot
Data-driven theory refinement algorithms for bioinformatics
inferred← citeshttps://doi.org/10.1109/iri.2007.4296635openalex-snapshot
Knowledge Refinement Through Revision
inferred← citeshttps://doi.org/10.1109/tai.1997.632287openalex-snapshot
Knowledge refinement to debug and maintain a tablet formulation system
inferred← citeshttps://doi.org/10.1109/tai.2000.889902openalex-snapshot
The application of a machine learning tool to the validation of an air traffic control domain theory
inferred← citeshttps://doi.org/10.1137/1.9781611972719.15openalex-snapshot
Generating Classification Rules According to User's Existing Knowledge
inferred← citeshttps://doi.org/10.1142/s0218213001000684openalex-snapshot
THE APPLICATION OF MACHINE LEARNING TOOLS TO THE VALIDATION OF AN AIR TRAFFIC CONTROL DOMAIN THEORY
inferred← citeshttps://doi.org/10.1142/s021821301000011xopenalex-snapshot
BEHAVIOUR RECOGNITION FROM VIDEO CONTENT: A LOGIC PROGRAMMING APPROACH
inferred← citeshttps://doi.org/10.1142/s0218213098000068openalex-snapshot
AN IMPROVEMENT TO TOP-DOWN CLAUSE SPECIALIZATION
inferred← citeshttps://doi.org/10.1145/1055686.1055687openalex-snapshot
Induction from answer sets in nonmonotonic logic programs
inferred← citeshttps://doi.org/10.1145/1090193.1090203openalex-snapshot
Further results of probabilistic first-order revision of theories from examples
inferred← citeshttps://doi.org/10.1145/2070821.2070828openalex-snapshot
Towards learning to detect meaningful changes in software
inferred← citeshttps://doi.org/10.1145/307400.307411openalex-snapshot
On theory revision with queries
inferred← citeshttps://doi.org/10.1145/335305.335356openalex-snapshot
More theory revision with queries (extended abstract)
inferred← citeshttps://doi.org/10.1145/3485447.3511925openalex-snapshot
EvoLearner: Learning Description Logics with Evolutionary Algorithms
inferred← citeshttps://doi.org/10.1146/annurev.soc.24.1.477openalex-snapshot
Using Computers to Analyze Ethnographic Field Data: Theoretical and Practical Considerations
inferred← citeshttps://doi.org/10.1162/153244304773633843openalex-snapshot
10.1162/153244304773633843
inferred← citeshttps://doi.org/10.1207/s15516709cog2104_2openalex-snapshot
Belief Change as Propositional Update
inferred← citeshttps://doi.org/10.14236/ewic/fa1996.14openalex-snapshot
The Validation of Formal Specifications of Requirements
inferred← citeshttps://doi.org/10.1609/aaai.v26i1.8332openalex-snapshot
Identifying Adverse Drug Events by Relational Learning
inferred← citeshttps://doi.org/10.1609/aaai.v33i01.33013036openalex-snapshot
Efficient Concept Induction for Description Logics
inferred← citeshttps://doi.org/10.1609/aaai.v35i8.16893openalex-snapshot
Knowledge Refactoring for Inductive Program Synthesis
inferred← citeshttps://doi.org/10.1613/jair.1.13507openalex-snapshot
Inductive Logic Programming At 30: A New Introduction
inferred← citeshttps://doi.org/10.1613/jair.148openalex-snapshot
Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs
inferred← citeshttps://doi.org/10.1613/jair.2374openalex-snapshot
Qualitative System Identification from Imperfect Data
inferred← citeshttps://doi.org/10.1613/jair.368openalex-snapshot
Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies
inferred← citeshttps://doi.org/10.21236/ada512664openalex-snapshot
Discriminative Learning with Markov Logic Networks
inferred← citeshttps://doi.org/10.2200/s00206ed1v01y200907aim007openalex-snapshot
Markov Logic: An Interface Layer for Artificial Intelligence
inferred← citeshttps://doi.org/10.31274/rtd-180813-4981openalex-snapshot
Constructive learning: inducing grammars and neural networks
inferred← citeshttps://doi.org/10.31274/rtd-180813-7559openalex-snapshot
Adaptive agents for information retrieval and data-driven knowledge discovery
inferred← citeshttps://doi.org/10.3233/fi-2010-284openalex-snapshot
Similarity-Based Classification in Relational Databases
inferred← citeshttps://doi.org/10.4018/978-1-59904-705-8.ch007openalex-snapshot
Induction as a Search Procedure
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.54openalex-snapshot
Inductive Logic Programming as Abductive Search
inferred← citeshttps://doi.org/10.48550/arxiv.1904.06950openalex-snapshot
Human-Guided Learning of Column Networks: Augmenting Deep Learning with Advice
inferred← citeshttps://doi.org/10.5555/3122009.3176808openalex-snapshot
Parallel symmetric class expression learning
inferred← citeshttps://doi.org/10.70675/128368fdz7212z417az86bdz6b978933b932openalex-snapshot
Apprentissage de connaissances structurelles à partir d’images satellitaires et de données exogènes pour la cartographie dynamique de l’environnement amazonien
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.