Knowledge systems: Principles and practice
IBM Journal of Research and Development
Objects in concurrent logic programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent algorithmic debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
On the efficiency of logic-based diagnosis
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Application of artificial intelligence to aphasia treatment
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
An augmented Prolog programming environment for tutoring applications
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A built-in test language for PROLOG to validate knowledge-based systems
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A knowledge-level analysis of explanation-based learning
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Executing the formal definition of Ada
ACM SIGPLAN Notices
PAC-learnability of determinate logic programs
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Zephyr: toward true compiler-based programming in Prolog
IBM Journal of Research and Development
Journal of the ACM (JACM)
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Identification of implicit legal requirements with legal abstract knowledge
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Journal of Symbolic Computation - Special issue on automatic programming
Inductive logic programming: derivations, successes and shortcomings
ACM SIGART Bulletin
ACM SIGART Bulletin
Inductive logic programming and learnability
ACM SIGART Bulletin
Efficient top-down induction of logic programs
ACM SIGART Bulletin
Applications of inductive logic programming
Communications of the ACM
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
PAL: A Pattern-Based First-Order Inductive System
Machine Learning - special issue on inductive logic programming
Integrating Multiple Learning Strategies in First Order Logics
Machine Learning - Special issue on multistrategy learning
Learning first order universal Horn expressions
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
Machine Learning - Special issue on applications of machine learning and the knowledge discovery process
On theory revision with queries
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
GIDTS: a graphical programming environment for Prolog
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Tracing piece by piece: affordable debugging for lazy functional languages
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Guarded horn clauses and experiences with parallel logic programming
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
More theory revision with queries (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Multistrategy Discovery and Detection of Novice Programmer Errors
Machine Learning - Special issue on multistrategy learning
Locating bugs in Java programs - first results of the Java diagnosis experiments project
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
An introduction to inductive logic programming and learning language in logic
Learning language in logic
Polynomial-time learnability of logic programs with local variables from entailment
Theoretical Computer Science - Algorithmic learning theory
Fault localization using execution traces
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Compositional explanation of types and algorithmic debugging of type errors
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
An introduction to inductive logic programming
Relational Data Mining
Internet resources on ILP for KDD
Relational Data Mining
Isolating cause-effect chains from computer programs
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Automated Software Engineering
The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging
Automated Software Engineering
The Automated Refinement of a Requirements Domain Theory
Automated Software Engineering
Kima: An Automated Error Correction System for Concurrent Logic Programs
Automated Software Engineering
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Theory Revision with Queries: DNF Formulas
Machine Learning
Learning closed horn expressions
Information and Computation
From symptom to cause: localizing errors in counterexample traces
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward effective knowledge acquisition with first-order logic induction
Journal of Computer Science and Technology
A General Framework for Debugging
IEEE Software
Exploring the Software Development Trilogy
IEEE Software
Knowledge Acquisition for Knowledge-Based Systems
IEEE Expert: Intelligent Systems and Their Applications
Knowledge Acquisition from Structured Data: Using Determinate Literals to Assist Search
IEEE Expert: Intelligent Systems and Their Applications
Inductive Learning in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Multi-relational Data Mining: a perspective
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Modeling Programs with Unstructured Control Flow for Debugging
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Efficient Relational Learning from Sparse Data
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Data Mining and Modeling in Scientific Databases
SSDBM '97 Proceedings of the Ninth International Conference on Scientific and Statistical Database Management
Using Multiple Models for Debugging VHDL Designs
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Model-Based Debugging or How to Diagnose Programs Automatically
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Learning Range Restricted Horn Expressions
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Learning from Entailment of Logic Programs with Local Variables
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
A Noise Resistant Model Inference System
DS '99 Proceedings of the Second International Conference on Discovery Science
A New Algorithm for Learning Range Restricted Horn Expressions
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Theory Completion Using Inverse Entailment
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Is What You Write What You Get?: An Operational Model of Training Scenario
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
A Debugging Scheme for Declarative Equation Based Modeling Languages
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
IEEE Transactions on Software Engineering
Learning elementary formal systems with queries
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Data mining tasks and methods: Rule discovery: inductive logic programming approaches
Handbook of data mining and knowledge discovery
The unified problem-solving method development language UPML
Knowledge and Information Systems
Towards an Algorithmic Debugging for Distributed Programs
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Systems programming in concurrent prolog
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Interactive type debugging in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Intelligent data analysis
Statistical Relational Learning for Document Mining
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
Multi-relational data mining: an introduction
ACM SIGKDD Explorations Newsletter
ACM SIGKDD Explorations Newsletter
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
Journal of Functional Programming
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Chain programs for writing deterministic metainterpreters
Theory and Practice of Logic Programming
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
A semantics for tracing declarative multi-paradigm programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Cluster-based concept invention for statistical relational learning
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
Formal language identification: query learning vs. gold-style learning
Information Processing Letters
Polynomial time learning of simple deterministic languages via queries and a representative sample
Theoretical Computer Science
A declarative debugger of incorrect answers for constraint functional-logic programs
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Error traces in model-based debugging of hardware description languages
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Divide-and-query and subterm dependency tracking in the mercury declarative debugger
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Incorporating linguistics constraints into inductive logic programming
ConLL '00 Proceedings of the 2nd workshop on Learning language in logic and the 4th conference on Computational natural language learning - Volume 7
Combining algorithmic debugging and program slicing
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Representation as a Fluent: An AI Challenge for the Next Half Century
IEEE Intelligent Systems
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
A survey of intelligent debugging
AI Communications
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Enhancing Theorem Prover Interfaces with Program Slice Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Structure and Properties of Traces for Functional Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Debugging of Java Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Interpreting Traces of Functional Logic Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Nonmonotonic inductive logic programming by instance patterns
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A lightweight interactive debugger for haskell
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Data-intensive XQuery debugging with instant replay
XIME-P '07 Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives
Some classes of term rewriting systems inferable from positive data
Theoretical Computer Science
Developments from enquiries into the learnability of the pattern languages from positive data
Theoretical Computer Science
Comprehending finite maps for algorithmic debugging of higher-order functional programs
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A New Proposal for Debugging Datalog Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured machine learning: the next ten years
Machine Learning
Declarative language extensions for prolog courses
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models
Learning deterministically recognizable tree series
Journal of Automata, Languages and Combinatorics
A Theoretical Framework for the Declarative Debugging of Datalog Programs
Semantics in Data and Knowledge Bases
A phenotypic genetic algorithm for inductive logic programming
Expert Systems with Applications: An International Journal
Theory and Practice of Logic Programming
VIDA: Visual interactive debugging
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
State of the Practice in Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An introduction to inductive programming
Artificial Intelligence Review
The difficulties of learning logic programs with cut
Journal of Artificial Intelligence Research
Towards learning stochastic logic programs from proof-banks
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Induction of first-order decision lists: results on learning the past tense of English verbs
Journal of Artificial Intelligence Research
Pac-learning recursive logic programs: efficient algorithms
Journal of Artificial Intelligence Research
Logic programs with uncertainties: a tool for implementing rule-based systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Retrospective zooming: a knowledge based tracking and debugging methodology for logic programming
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Explaining Prolog based expert systems using a layered meta-interpreter
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Towards friendly concept-learners
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Nonmonotonic model inference: a formalization of student modeling
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Graphical debugging with the transparent prolog machine (TPM)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hardware diagnosis as program debugging
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Determinate literals in inductive logic programming
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Refinement strategies for inductive learning of simple prolog programs
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Covering vs divide-and-conquer for top-down induction of logic programs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of theory revision
Artificial Intelligence
A Logical Framework for Debugging in Declarative Constraint Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating induction and abduction in logic programming
Information Sciences: an International Journal
Interactive fault localization using test information
Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
The subsumption lattice and query learning
Journal of Computer and System Sciences
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
A comparative study of algorithmic debugging strategies
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
A program transformation for tracing functional logic computations
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Learning in rich representations: inductive logic programming and computational scientific discovery
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
MAT learners for recognizable tree languages and tree series
Acta Cybernetica
Learning hereditary and reductive prolog programs from entailment
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Mining maximal flexible patterns in a sequence
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Declarative diagnosis of missing answers in constraint functional-logic programming
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Probabilistic inductive logic programming
Probabilistic inductive logic programming
Learning with kernels and logical representations
Probabilistic inductive logic programming
Oracle-guided component-based program synthesis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Dimensions in program synthesis
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Myths and legends in learning classification rules
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Discrimination-based constructive induction of logic programs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Pac-learning a restricted class of recursive logic programs
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Learnability in inductive logic programming: some basic results and techniques
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
A simple inductive synthesis methodology and its applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Detecting knowledge base inconsistencies using automated generation of text and examples
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
ProGolem: a system based on relative minimal generalisation
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Enhancing the debugging of Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A complete declarative debugger for Maude
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A comparative study on ILP-based concept discovery systems
Expert Systems with Applications: An International Journal
Synthesis of loop-free programs
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Scaling up algorithmic debugging with virtual execution trees
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
A logic teaching tool based on tableaux for verification and debugging of algorithms
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
A survey on algorithmic debugging strategies
Advances in Engineering Software
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Software fault localization using feature selection
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
From inductive logic programming to relational data mining
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Theory refinement on Bayesian networks
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
A class of prolog programs with non-linear outputs inferable from positive data
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
Controlling search space materialization in a practical declarative debugger
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Learnability of simply-moded logic programs from entailment
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Information Sciences: an International Journal
Declarative diagnosis of wrong answers in constraint functional-logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
First-order interactive programming
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Source-Based trace exploration
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Declarative debugging with buddha
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Inductive logic programming by instance patterns
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
An optimal strategy for algorithmic debugging
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Implementation of an Optimal Strategy for Algorithmic Debugging
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic debugging of SQL views
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
A declarative embedding of XQuery in a functional-logic language
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Simplifying questions in maude declarative debugger by transforming proof trees
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae
AI for the win: improving spectrum-based fault localization
ACM SIGSOFT Software Engineering Notes
Learning Via Queries With Teams And Anomalies
Fundamenta Informaticae
Forensic debugging of model transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Inductive Logic Programming and Embodied Agents: Possibilities and Limitations
International Journal of Agent Technologies and Systems
Transforming graph data for statistical relational learning
Journal of Artificial Intelligence Research
Observing SQL queries in their natural habitat
ACM Transactions on Database Systems (TODS)
Generating sound and effective memory debuggers
Proceedings of the 2013 international symposium on memory management
Four one-shot learners for regular tree languages and their polynomial characterizability
Theoretical Computer Science
Declarative diagnosis of floundering in prolog
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Logic programming: from underspecification to undefinedness
CATS '12 Proceedings of the Eighteenth Computing: The Australasian Theory Symposium - Volume 128
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Alan Turing and the development of Artificial Intelligence
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.02 |