yusuke1997/dblp-id-title huggingface dataset:
Створення української локалізації системи комп'ютерної математики Sage (Creation of Ukrainian localization of computer mathematics system Sage)
Automation in software testing, can we automate anything we want?
Web-орієнтована система «Електронний розклад» (Web-oriented electronic schedule)
Програмна розробка алгоритму адаптації дизайну сайту для людей з порушенням кольоросприйняття (Software development of the algorithm of adaptating of the website design for people with color-blindness)
Web application for facial wrinkle recognition
System and method of automatic collection of objects in the room
Coverage of the coronavirus pandemic through entropy measures
Effective participation in programming contests
Актуальність дослідження програм семантичного аналізу текстів та огляд методів їх реалізації (Relevance of research of programs for semantic analysis of texts and review of methods of their realization)
A modified 3D-2D convolutional neural networks for robust mineral identification: Hyperspectral analysis in Djebel Meni (Northwestern Algeria)
Development of software and hardware complex of GPS-tracking
Автоматизована система оперативного розподілу ресурсів ліквідації комплексних надзвичайних ситуацій (Automated system of operational resource allocation for complex emergency situations)
AI-agent-based system for fact-checking support using large language models
Available parking places recognition system
Актуальність проблеми параметричної ідентифікації математичної моделі (Actuality of the problem of parametric identification of a mathematical model)
Research and development of software for hydroacoustic signal analysis using machine learning techniques
Design and evaluation of a personalized digital mathematics tutor for grade 6 learners
Development of a chatbot for informing students of the schedule
Classification of motor vibration with machine learning methods and simulating the vibration using statistical models
New approach to switching points optimization for segmented regression during mathematical model building
Інженерія програмного забезпечення: перші 50 років становлення та розвитку (Software engineering: first 50 years of formation and development)
Predictive machine learning of soybean oil epoxidizing reactions using artificial neural networks
Розробка графічної оболонки для програми розрахунків фізичних характеристик твердих тіл (Development graphic shell for the program calculations of physical properties of solids)
Розробка адаптивного навчального програмного забезпечення з теми «Дробові числа» для учнів 5 класу (Development of adaptive educational software on the topic of "Fractional Numbers" for students in grade 5)
Development of an automated system for conducting, checking and evaluating programming competitions
Design a progressive web application to support student learning
Method of semantic features estimation for political propaganda techniques detection using transformer neural networks
A web-based Kanban application for enhancing agile project management practices
Using 3D modelling in design training simulator with augmented reality
Designing a software for digital forensic investigations of e-petitions voting falsifications
Cross platform development vs native development
The Dawn of Software Engineering Education
Developing a Mini Smart House model
Research and development of a subtitle management system using artificial intelligence
Software development of thermal resistance calculator for thermal insulation parameters determines dielectric building structures
A comprehensive survey on reinforcement learning-based recommender systems: State-of-the-art, challenges, and future perspectives
Design and development of a game application for learning Python
Розробка програмного забезпечення для мінімізації витрат часу та підвищення продуктивності праці у сфері комунікаційних послуг (Software development to minimize time costs and increase productivity in the area of communication services)
Information system module for analysis viral infections data based on machine learning
Game based learning with artificial intelligence and immersive technologies: an overview
Credit scoring model for microfinance organizations
WebAR development tools: An overview
Topic modelling of Ukrainian folk songs: A case study on Podillia region
Mining Model Trees: A Multi-relational Approach
Learning Logic Programs with Random Classification Noise
On the Complexity of Some Inductive Logic Programming Problems
Theta-Subsumption in a Constraint Satisfaction Perspective
Differentiable SAT/ASP
Relational Restricted Boltzmann Machines: A Probabilistic Logic Learning Approach
Strongly Typed Inductive Concept Learning
Distributed Parameter Learning for Probabilistic Ontologies
Inductive Logic Programming Meets Relational Databases: Efficient Learning of Markov Logic Networks
Learning Goal Hierarchies from Structured Observations and Expert Annotations
Inductive Logic Programming - 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
A Link-Based Method for Propositionalization
Feature Construction Using Theory-Guided Sampling and Randomised Search
Learning Action Descriptions of Opponent Behaviour in the Robocup 2D Simulation Environment
A Note on Restricted Forms of LGG
A New Design and Implementation of Progol by Bottom-Up Computation
Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction
Induction of the Effects of Actions by Monotonic Methods
Kernel-Based Logical and Relational Learning with kLog for Hedge Cue Detection
Inference and Learning in Planning
Projection-Based PILP: Computational Learning Theory with Empirical Results
Inductive Logic Programming, 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
Automatic Induction of Abduction and Abstraction Theories from Observations
Inverse Entailment in Nonmonotonic Logic Programs
On Applying Probabilistic Logic Programming to Breast Cancer Data
Graph-Based Relational Learning with a Polynomial Time Projection Algorithm
Probabilistic Inductive Logic Programming
Tow-down Induction of Logic Programs from Incomplete Samples
Learning Dependent-Concepts in ILP: Application to Model-Driven Data Warehouses
A Logic-Based Approach to Relation Extraction from Texts
Induction of Enzyme Classes from Biological Databases
Learning Logic Programs from Noisy State Transition Data
A Logical Database Mining Query Language
CARAF: Complex Aggregates within Random Forests
Experiments in Predicting Biodegradability
Distances and Limits on Herbrand Interpretations
Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis
Induction of Slovene Nominal Paradigms
Using ILP to Identify Pathway Activation Patterns in Systems Biology
Revising First-Order Logic Theories from Examples Through Stochastic Local Search
Identification of Transition Models of Biological Systems in the Presence of Transition Noise
On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion
Learning Block-Preserving Outerplanar Graph Patterns and Its Application to Data Mining
Relational Learning Using Constrained Confidence-Rated Boosting
Learning Theories Using Estimation Distribution Algorithms and (Reduced) Bottom Clauses
Probabilistic Inductive Logic Programming - Theory and Applications
Towards Automating Simulation-Based Design Verification Using ILP
Automatic Conjecturing of P-Recursions Using Lifted Inference
Graph Contraction Pattern Matching for Graphs of Bounded Treewidth
CLP( BN ): Constraint Logic Programming for Probabilistic Knowledge
Distance Based Generalisation
Learning Assumption-Based Argumentation Frameworks
Learning Word Segmentation Rules for Tag Prediction
Predicting Top-k Trends on Twitter using Graphlets and Time Features
Markov Logic
Lifted Relational Team Embeddings for Predictive Sports Analytics
Automatic Invention of Functional Abstractions
Actions, Causation and Logic Programming
A Simulated Annealing Meta-heuristic for Concept Learning in Description Logics
Discovery of First-Order Regularities in a Relational Database Using Offline Candidate Determination
Stacked Structure Learning for Lifted Relational Neural Networks
Large-Scale Assessment of Deep Relational Machines
Challenges in Relational Learning for Real-Time Systems Applications
Least Generalizations under Implication
Automatic Induction of First-Order Logic Descriptors Type Domains from Observations
Using ILP to Construct Features for Information Extraction from Semi-structured Text
Context-Aware End-To-End Relation Extracting from Clinical Texts with Attention-based Bi-Tree-GRU
Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure
Using Abstraction Schemata in Inductive Logic Programming
Efficient Theta-Subsumption Based on Graph Algorithms
Relational Macros for Transfer in Reinforcement Learning
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
Towards Meta-interpretive Learning of Programming Language Semantics
Mapping Across Relational Domains for Transfer Learning with Word Embeddings-Based Similarity
Generating Numerical Literals During Refinement
An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge
Query Optimization in Inductive Logic Programming by Reordering Literals
MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory
Automated Synthesis of Data Analysis Programs: Learning in Logic
Function-Free Horn Clauses Are Hard to Approximate
Carcinogenesis Predictions Using ILP
Inductive Generalization of Analytically Learned Goal Hierarchies
A Program-Synthesis Challenge for ARC-Like Tasks
At the Interface of Inductive Logic Programming and Statistics
An Experimental Analysis of Whispers' Effect in Werewolf BBS by Relational Association Rules
Advances in ILP Theory and Implementations (Abstract)
Answer-Set Programs for Reasoning About Counterfactual Interventions and Responsibility Scores for Classification
Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks
Inductive Logic Programming - 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Mining Frequent Logical Sequences with SPIRIT-L o G
PU-learning Disjunctive Concepts in ILP
Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings
ReMauve: A Relational Model Tree Learner
An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming
Learning the Parameters of Probabilistic Answer Set Programs
A new Model for Scalable θ-subsumption
How Does Predicate Invention Affect Human Comprehensibility?
Disjunctive Learning with a Soft-Clustering Method
A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases
Targeted End-to-End Knowledge Graph Decomposition
An Efficient Hypothesis Search Algorithm Based on Best-Bound Search
On Computing Minimal Generators in Multi-Relational Data Mining with respect to theta-Subsumption
A Behavioral Comparison of Some Probabilistic Logic Models
Construction of Complex Aggregates with Random Restart Hill-Climbing
Predictive Sequence Miner in ILP Learning
GNN Based Extraction of Minimal Unsatisfiable Subsets
Complex Aggregates over Clusters of Elements
Uplift Modeling with ROC: An SRL Case Study
Learning Multilingual Morphology with CLOG
Learning Hierarchical Problem Networks for Knowledge-Based Planning
Policy Transfer via Markov Logic Networks
Learning Unordered Tree Contraction Patterns in Polynomial Time
Relational IBL in Music with a New Structural Similarity Measure
Learning Recursive Patterns for Biomedical Information Extraction
Propositionalization for Clustering Symbolic Relational Descriptions
Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation Approach
ILP Through Propositionalization and Stochastic k-Term DNF Learning
Lookahead and Discretization in ILP
A BDD-Based Algorithm for Learning from Interpretation Transition
A Logical Framework for Graph Theoretical Decision Tree Learning
A Direct Policy-Search Algorithm for Relational Reinforcement Learning
Polynomial-Time Learning in Logic Programming and Constraint Logic Programming
A Simple Framework for Theta-Subsumption Testing in Prolog
Speeding Up Inference in Statistical Relational Learning by Clustering Similar Query Literals
Knowledge-Guided Identification of Petri Net Models of Large Biological Systems
Mining Association Rules in Multiple Relations
Nonmonotonic Onto-Relational Learning
Demand-Driven Construction of Structural Features in ILP
Active Learning of Relational Action Models
A Wordification Approach to Relational Data Mining: Early Results
FOIL-D: Efficiently Scaling FOIL for Multi-relational Data Mining of Large Datasets
A Refinement Operator for Description Logics
Word Sense Disambiguation Using Inductive Logic Programming
Why Computers Need to Learn About Music
Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits
Normal Forms for Inductive Logic Programming
Integrity Constraints in ILP Using a Monte Carlo Approach
Mining Rare Sequential Patterns with ASP
A Refinement Operator for Theories
Probabilistic Relational Learning and Inductive Logic Programming at a Global Scale
Comparison of Upward and Downward Generalizations in CF-Induction
Using Logical Decision Trees for Clustering
Extracting rules to detect cognitive distractions through driving simulation
Decomposing Probability Distributions on Structured Individuals
An Investigation into the Role of Domain-Knowledge on the Use of Embeddings
Inducing Causal Laws by Regular Inference
Improving Search Engine Query Expansion Techniques with ILP
Diagnostics of Trains with Semantic Diagnostics Rules
Statistical Relational Learning for Handwriting Recognition
Relational Knowledge Discovery in Databases
Learning the Structure of Probabilistic Logic Programs
Mining the Web of Data with Metaqueries
Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), Orléans, France, September 7, 2017
Logical Hierarchical Hidden Markov Models for Modeling User Activities
Induction in Nonmonotonic Causal Theories for a Domestic Service Robot
Learning to Parse from a Treebank: Combining TBL and ILP
Revising Probabilistic Prolog Programs
Adaptive Bayesian Logic Programs
A Higher-order Approach to Meta-learning
mLynx: Relational Mutual Information
Distributional Learning of Regular Formal Graph System of Bounded Degree
An Inductive Learning System for XML Documents
Complexity Parameters for First-Order Classes
Using ILP-Systems for Verification and Validation of Multi-agent Systems
1BC2: A True First-Order Bayesian Classifier
Clustering Relational Data Based on Randomized Propositionalization
On Avoiding Redundancy in Inductive Logic Programming
Integrating Model Checking and Inductive Logic Programming
On Condensation of a Clause
Polynomial Time Inductive Inference of TTSP Graph Languages from Positive Data
Few-Shot Learning of Diagnostic Rules for Neurodegenerative Diseases Using Inductive Logic Programming
Learning Probabilistic Logic Programs over Continuous Data
Multivalue Learning in ILP
Derivation Reduction of Metarules in Meta-interpretive Learning
Identifying Non-Redundant Literals in Clauses with Uniqueness Propagation
When Does It Pay Off to Use Sophisticated Entailment Engines in ILP?
Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs
Polynomial Time Inductive Inference of Cograph Pattern Languages from Positive Data
Reframing on Relational Data
Tensor-Based Abduction in Horn Propositional Programs
Hybrid Logical Bayesian Networks
Incorporating Linguistic Expertise Using ILP for Named Entity Recognition in Data Hungry Indian Languages
Which First-Order Logic Clauses Can Be Learned Using Genetic Algorithms?
Bottom-Up Propositionalization
The Independent Choice Logic and Beyond
Statistical Relational Learning of Object Affordances for Robotic Manipulation
Human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation
Explaining Black-Box Classifiers with ILP - Empowering LIME with Aleph to Approximate Non-linear Decisions with Relational Rules
Using ILP to Improve Planning in Hierarchical Reinforcement Learning
A Relational Hierarchical Model for Decision-Theoretic Assistance
Conceptual Clustering of Multi-Relational Data
Background Knowledge-enrichment for Bottom Clauses Improving
Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance
A Framework for Defining Distances Between First-Order Logic Objects
On Sufficient Conditions for Learnability of Logic Programs from Positive Data
Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Ideal Refinement of Descriptions in AL-Log
Multi-relational Pattern Mining Based-on Combination of Properties with Preserving Their Structure in Examples
Can ILP Be Applied to Large Datasets?
Model-Theoretic Expressivity Analysis
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms
Autocorrelation and Linkage Cause Bias in Evaluation of Relational Learners
Learning Term Rewriting Systems from Entailment
Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework
Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction
Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference
On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics
The Applicability to ILP of Results Concerning the Ordering of Binomial Populations
Knowledge-Directed Theory Revision
A Declarative Modeling Language for Concept Learning in Description Logics
Learning First Order Logic Time Series Classifiers
PageRank, ProPPR, and Stochastic Logic Programs
An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques
A Hybrid Approach t Word Segmentation
Learning with Abduction
Beyond Reward: The Problem of Knowledge and Data
Foundations of Refinement Operators for Description Logics
Inductive Logic Programming and Constraint Logic Programming (Abstract)
L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar Learning
Regularization in Probabilistic Inductive Logic Programming
A Multi-relational Decision Tree Learning Algorithm - Implementation and Experiments
Pruning Hypothesis Spaces Using Learned Domain Theories
Part-of-Speech Tagging Using Progol
Not Far Away from Home: A Relational Distance-Based Approach to Understanding Images of Houses
Experimental Investigation of Pruning Methods for Relational Pattern Discovery
Parallel Inductive Logic Programming System for Superlinear Speedup
Subgroup Discovery Using Bump Hunting on Multi-relational Histograms
Incremental Learning of Relational Action Models in Noisy Environments
Classifying Relational Data with Neural Networks
Inductive Logic Programming for Gene Regulation Prediction
BET : An Inductive Logic Programming Workbench
Learning Discriminant Rules as a Minimal Saturation Search
Guiding Inference Through Relational Reinforcement Learning
theta -Subsumption Based on Object Context
Integration of Learning and Reasoning Techniques
Mining of Frequent Block Preserving Outerplanar Graph Structured Patterns
What Do Counterfactuals Say About the World? Reconstructing Probabilistic Logic Programs from Answers to "What If?" Queries
Reduction of ILP Search Space with Bottom-Up Propositionalisation
ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries
Efficient Learning of Unlabeled Term Trees with Contractible Variables from Positive Data
Non-monotone Dualization via Monotone Dualization
Inductive Logic Programming, 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers
Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation
An ILP Refinement Operator for Biological Grammar Learning
First Order Random Forests with Complex Aggregates
Weight Your Words: The Effect of Different Weighting Schemes on Wordification Performance
Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013
Rule Interchange Format: Logic Programming's Second Wind?
Hybrid Abductive Inductive Learning: A Generalisation of Progol
Relational Data Mining Applied to Virtual Engineering of Product Designs
AND Parallelism for ILP: The APIS System
Learning with Kernels and Logical Representations
Learning Structure and Parameters of Stochastic Logic Programs
Inductive Logic Programming - 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Embedding Models for Knowledge Graphs Induced by Clusters of Relations and Background Knowledge
Tutorial on Statistical Relational Learning
Bias/Variance Analysis for Relational Domains
Adaptive Incremental Learning for Statistical Relational Models Using Gradient-Based Boosting
Compact Representation of Knowledge Bases in ILP
MicroRNAs Robustness in Genetic Regulatory Networks
Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing
Prolog, Refinements and RLGG's
Modeling of Resilient Systems in Default Logic
Modelling Semi-structured Documents with Hedges for Deduction and Induction
Learning Logic Program Representation for Delayed Systems With Limited Training Data
Classifying Uncovered Examples by Rule Stretching
Learning to Assign Degrees of Belief in Relational Domains
Using an ILP Algorithm to Learn Logic Programs for Reasoning about Actions
Effectively Creating Weakly Labeled Training Examples via Approximate Domain Knowledge
Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), London, UK, September 3, 2016
Learning Multiple Description Logics Concepts
First-Order Probabilistic Languages: Into the Unknown
On the Connection Between the Phase Transition of the Covering Test and the Learning Success Rate
Concept Learning in Engineering based on Refinement Operator
Noise Detection and Elimination Applied to Noise Handling in a KRK Chess Endgame
A Review of Inductive Logic Programming Applications for Robotic Systems
On the Relation Between Loss Functions and T-Norms
Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations
Learning Relational Dependency Networks for Relation Extraction
Using Domain-Knowledge to Assist Lead Discovery in Early-Stage Drug Design
Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings
Generalized Counting for Lifted Variable Elimination
Opening Doors: An Initial SRL Approach
ILP : - Just Trie It
Yet Another Parallel Hypothesis Search for Inverse Entailment
Learning Disjunctive Logic Programs from Interpretation Transition
On the Effect of Caching in Recursive Theory Learning
Inductive Logic Programming, 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings
Relational Distance-Based Clustering
A Refinement Operator for Inducing Threaded-Variable Clauses
Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems
An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees
Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition
Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol
Application of ILP to Problems in Chemistry and Biology (Abstract)
Distance Induction in First Order Logic
Five Problems in Five Areas for Five Years
Brave Induction