yusuke1997/dblp-id-title huggingface dataset:
Proving Correctness of Plans Considered as Procedural Programs
Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project)
Dealing with Spoken Requests in a Multimodal Question Answering System
A Novel Method for Extracting Feature Opinion Pairs for Turkish
Knowledge Acquisition and Man-Machine Interface in the Digs Expert System
Using an Aligned Ontology to Process User Queries
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language
Recognition of Common Areas in a Web Page Using a Visualization Approach
High Performance Part-of-Speech Tagging of Bulgarian
FactForge: Data Service or the Diversity of Inferred Knowledge over LOD
The System for the Development of Linguistic Processor
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem
Recurrent Neural Identification and an I-Term Direct Adaptive Control of Nonlinear Oscillatory Plant
Analogical Reasoning and Sentence Parsing
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection
A Network Parsing Scheme
The Cognitive Context of Language Interaction
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study
Implementation of Multilayer Perceptron in Graphics Processing Unit
Direct Field Oriented Neural Control of a Three Phase Induction Motor
Automatic Creation and Monitoring of Semantic Metadata in a Dynamic Knowledge Portal
Language-Based Environment for Developing ATN-Grammars
Similarity in Analogical Reasoning
Natural Language Processing for Expert Systems
ILP Techniques for Free-Text Input Processing
Visual Anomaly Detection in Educational Data
Multifactor Modelling with Regularization
Experimental System for Recognition and Classification of Archaelogical Ceramics
Real-time Diagnosis in Distributed Information System
Curved Segmentation Path Construction for Unconstrained Handwritten Hangul Segmentation
Hearthstone Helper - Using Optical Character Recognition Techniques for Cards Detection
Biometrics from Gait Using Feature Value Method
Program Synthesis By Analogy- A Two-Phased Approach
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method
EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming
An Expert System for Resource Estimation and Cost Analysis
Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings
What Did He Mean by That?
Testing the NEAT Algorithm on a PSPACE-Complete Problem
Optimization of Polytopic System Eigenvalues by Swarm of Particles
A generic E-learning Engineering Framework Embracing the Semantic Web
Prognostic Expert Systems on a Hybrid Connectionist Environment
An Adjusted Recommendation List Size Approach for Users' Multiple Item Preferences
Exploring an Unknown Environment with an Intelligent Virtual Agent
Combining Graph NN and LLM for Improved Text-Based Emotion Recognition
Empirical Study of some Constraints Satisfaction Algorithms
Interpolative Boolean Logic
Acquisition of Useful Lemma-Knowledge in Automated Reasoning
Evolutionary Decision Support System for Stock Market Trading
Orthogonal Operators for User-Defined Symbolic Periodicities
Finetuning Randomized Heuristic Search for 2D Path Planning: Finding the Best Input Parameters for R* Algorithm through Series of Experiments
mRHR: A Modified Reciprocal Hit Rank Metric for Ranking Evaluation of Multiple Preferences in Top-N Recommender Systems
Model Theoretic Semantics for Information Integration
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
Extension Calculus and Query Answering in Prioritized Default Logic
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems
Cooperating Logic Theories
Discovery Environments for the Domain Computer Programming: A Methodology
Coping with the Intrinsic and Deictic Uses of Spatial Prepositions
Program Synthesis from Specification
Statistical and Expert Approach to Computer Data Analysis
Deep into Color Names: Matching Color Descriptions by Their Fuzzy Semantics
Exploring the Use of Resources in the Educational Site Ucha.SE
Expressive Approximations in DL-Lite Ontologies
Combining Decisions of Multiple Rules
Capturing Semantics Towards Automatic Coordination of Domain Ontologies
Using Context Information for Knowledge-Based Word Sense Disambiguation
Optimising Predictive Control Based on Neural Models
Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings
A Two-Headed Architecture for Intelligent Multimedia Man-Machine Interaction
Efficient Instance Retraction
Using Linear Temporal Logic to Model and Solve Planning Problems
Cluster Validation for High-Dimensional Datasets
Towards Constructing a Corpus for Studying the Effects of Treatments and Substances Reported in PubMed Abstracts
Prolog Based Graph Representation of Polyhedra
Systems with Lattice Inference
Forecasting Stock Price by SVMs Regression
A Bayesian Model for Entity Type Disambiguation
Echelon Platoon Organisation: A Distributed Approach Based on 2-Spring Virtual Links
Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms
Theorem Proving for Constructive lambda-Calculus
Unified Theory of Knowledge Representation
Pattern Structure Projections for Learning Discourse Structures
Speech Act Therory and Epistemic Planning
Planning via Model Checking in Deterministic Domains: Preliminary Report
Towards Semantic Goal-Directed Forward Reasoning in Resolution
Unexpected and Unwanted Results of Circumscription
An Experiment in French to Chinese Machine Translation
Predictive and Explainable Modelling in Economics on the Case Study of Remittance Prediction Using the NeuDen AI Computational Architecture
Integration of B2B Logistics Using Semantic Web Services
A Computational Model for the Data Compression Metaphor
Spatio-temporal Proximities for Multimedia Document Adaptation
Expert Systems for Mechanical Parts Design
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks
A Dempster-Shafer Approach to Physical Database Design
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization
Enhancing Security in Federated Learning: Detection of Synchronized Data Poisoning Attacks
Modal Reasoning and Rough Set Theory
Semantic Graph Based Automatic Summarization of Multiple Related Work Sections of Scientific Articles
Collective Predicates: Expressing Control of OR-Parallelism in Prolog
Text Generation Based on Visual Data: Descriptions of Traffic Scenes
Back-Propagation Learning of Partial Functional Differential Equation with Discrete Time Delay
An Adaptive Approach for Integration Analysis of Multiple Gene Expression Datasets
Logic Programming on Reduction/Dataflow Machines
New Empirical Results of User Studies with a Domain Independent Natural Language Query System
Shifting the Belief Engine into Higher Gear
Knowledge Management in Expert System Creator
OCC's Emotions: A Formalization in a BDI Logic
Using Text Segmentation to Enhance the Cluster Hypothesis
The Range Scale as Result of Inductive Learning
Using Verbs to Characterize Noun-Noun Relations
Application of Intensional Logic to the Conceptual Design of Expert Problem Solvers
The Hypernets Method For Representing Knowledge
Automated Diagnosis for Digital Circuits
Study of Symmetry in Qualitative Temporal Interval Networks
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently
A Deep Insight in Chat Analysis: Collaboration, Evolution and Evaluation, Summarization and Search
A Query Language for Cognitive Maps
Harmonic Detection Using Neural Networks with Conjugate Gradient Algorithm
ESIT- An Expert System for Analysis of Antique Historical-Geographical Texts about Ancient Thrace
Automatic Generation and Learning of Finite-State Controllers
Cooking an Ontology
Improving Machine Learning Prediction Performance for Premature Termination of Psychotherapy
Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1984, Varna, Bulgaria, September 17-20, 1984
A Study on Neural Networks and Fuzzy Inference Systems for Transient Data
A Framework for Inductive Learning Based on Subsumption Lattices
Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
Logics with Structured Contexts
Machine Learning Techniques for Survival Time Prediction in Breast Cancer
Bagged Voting Ensembles
Feature Selection by Distributions Contrasting
Multicontext Systems with Importing Contexts
Layered Data-Centric AI to Streamline Data Quality Practices for Enhanced Automation
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach
Ontology-Based Information and Event Extraction for Business Intelligence
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies
Efficient Segmentation Path Generation for Unconstrained Handwritten Hangul Character
On Modeling Formalisms for Automated Planning
Time Series Analysis for Sales Prediction
Logics for Automated Reasoning in the Presence of Contradictions
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming
Machine Learning-Driven Noise Separation in High Variation Genomics Sequencing Datasets
Computational Experience with Pseudoinversion-Based Training of Neural Networks Using Random Projection Matrices
A Study on Dialog Act Recognition Using Character-Level Tokenization
Term Ranking and Categorization for Ad-Hoc Navigation
A Neural Approach to Abductive Multi-adjoint Reasoning
Qualitative Model of Decision Making
Smooth Stroke Width Transform for Text Detection
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting
Entity Popularity on the Web: Correlating ANSA News and AOL Search
Rule Networks: A Style of Programming and an Expert System Toolkit
Explorations in Sentiment Mining for Arabic and English Tweets
Exceptions and Interpreters
Creative Data Analysis: Rules Generation Based on ID3 Philosophy
A New Approach to the Supervised Word Sense Disambiguation
Thematic Segment Retrieval Revisited
Sequence Detection for Adaptive Feedback Generation in an Exploratory Environment for Mathematical Generalisation
Machine Learning for Spoken Dialogue Management: An Experiment with Speech-Based Database Querying
InterCriteria Analysis of Ant Algorithm with Environment Change for GPS Surveying Problem
NN-Based Multiagent Platform for Testing Investing Strategies
Echo State Network for Word Sense Disambiguation
Ensuring Relevant and Serendipitous Information Flow in Decentralized Online Social Network
Continuations and Conversations
Response Time Analysis of Text-Based CAPTCHA by Association Rules
A Hybrid Approach to Distributed Constraint Satisfaction
On the Use of Diagrams
Quantitative Ecological Optics
Social News Feed Recommender
Knowledge-Based Systems in Biophysics: Applications to Research in Neurobiology of Aging and Medicine
A Conceptual Model for Consistency of Knowledge Bases
Semi-partitioned Horn Clauses: A Tractable Logic of Types
3-D Object Recognition - Preprocessing of Structurally Illuminated Scenes and Interpretation with Location Constraints
Voice Control Framework for Form Based Applications
Learning Probabilistic Semantic Network of Object-Oriented Action and Activity
Effective Iris Recognition System by Optimized Feature Vectors and Classifier
Evolving a Team of Asymmetric Predator Agents That Do Not Compute in Predator-Prey Pursuit Problem
Information Retrieval Model Based on User Profile
Towards Well-Defined Multi-agent Reinforcement Learning
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game
An Inference Processor Based on Reactive Memory
Problems of Diagnostic Knowledge Processing
Hybrid Connectionist Rule-Based Systems
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods
Artificial Intelligence III: Methodology, Systems, Applications - Proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1988, Varna, Bulgaria, September 20-23, 1988
An Architecture of Coupling Logic Programming Systems with Relational Database Systems
LATOR - a Database Management System for Local Networks
Study on Integrating Semantic Applications with Magpie
Neural Classification for Interval Information
Robustness Analysis of SARSA(lambda): Different Models of Reward and Initialisation
Using Local Search for Guiding Enumeration in Constraint Solving
Theories and Proofs in Fault Diagnosis
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems
The Select and Test (ST) Algorithm and Drill-Locate-Drill (DLD) Algorithm for Medical Diagnostic Reasoning
Dynamic Knowledge Representation and Its Applications
Variant Extensions to Prove MAS Behaviours
Recursive Style Breach Detection with Multifaceted Ensemble Learning
Case-Based Reasoning Within Semantic Web Technologies
Prototypes Based Relational Learning
Developing an Argumentation Ontology for Mailing Lists
Domain and Linguistic Knowledge Representation Based on Feature-value Structures
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs
Syntax and Semantics for Natuarl Language Processing
Studies on Phrase-Level Semantics as Applied to Machine Translation in Indian Languages
STRATEX - A Knowledge-Based System for Export of Fish and Fish Products
An Integrated Environment for Building Distributed Multi-agent Educational Applications
Tailorable Interactive Agents for Scheduling Meetings
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison
Syntactic Processing of Unknown Words
Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases
An Oracle Based Meta-learner for Function Decomposition
Model-Based Monitoring and Diagnosis Chip for Embedded Systems
Strategy Selection for Automated Theorem Proving
A Replanning Algorithm for a Reactive Agent Architecture
Metaphor Processing for Learning Terminology on the Web
An Open Approach to Distribution, Awareness and Cooperative Work
An Approach to Compiling PROLOG Programs
Least Generalization under Relative Implication
Robust and Adaptive Load Frequency Control of Multi-area Power Networks with System Parametric Uncertainties Using Temporal Difference Based MLP Neural Networks
A supervision System in Computer Integrated Manufacturing
Extending Definite Clause Grammar to Handle Flexible Word Order
A Parameterized Learning Environment for Implementing Expert Systems
Conceptual Modelling Based Knowledge Representation Language
Optimistic vs. Pessimistic Interpretation of Linguistic Negation
Do What We Do to Find What You Want
A Formal Model for Constructing Semantic Expansions of the Search Requests about the Achievements and Failures
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm
Some Aspects of the Integration between Logic Programming and Fiunctional Programming
Personalizing and Improving Tag-Based Search in Folksonomies
Formalizing Belief Reports - The Approach and a Case Study
Computer Vision and Stochastic Geometry
Learning Obstacle Avoidance Behavior Using Multi-agent Learning with Fuzzy States
Discrepancy-Based Sliced Neighborhood Search
A Boolean Encoding Including SAT and n-ary CSPs
Use-Based Discovery of Pervasive Services
Heuristic Hill-Climbing as a Markov Process
Efficient Relational Learning from Sparse Data
Grammar Representation and Parsing in a Data-Driven Logic Programming Environment
Learning Teamwork Behaviors Approach: Learning by Observation Meets Case-Based Planning
The Semantic Web: A Killer App for AI?
Swarm Capability of Finding Eigenvalues
FCA Analyst Session and Data Access Tools in FCART
Knowledge, Belief and User Modelling
Direct Adaptive Neural Control with Integral-Plus-State Action
Solving Program Configuration Task through a Knowledge Based System
Using Machine Learning to Prescribe Warfarin
Modeling Smart Home Using the Paradigm of Nets within Nets
Logic Programming with Worlds
Adapting a Robust Multi-genre NE System for Automatic Content Extraction
Action Structures with Implicit Coordination
Processing Acoustic and Phonetic Knowledge in Prolog
Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990
Knowledge-Based Simulation: Some Issues and a Case Study
Flexible Decision Making in Web Services Negotiation
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving
Semi-supervised Image Segmentation
Plasma Pattern Compilation: a Formal Model and Some Examples
Possible Bribery in k-Approval and k-Veto Under Partial Information
Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System
General Shape Analysis Applied to Stamps Retrieval from Scanned Documents
Decomposing and Distributing Configuration Problems
Is Logic Programming "Real" Programming?
Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System
Identity Judgments, Situations, and Semantic Web Representations
Knowledge Assimilation and Proof Restoration Through the Addition of Goals
Semantic Meta-search Using Cohesion Network Analysis
Rule Based Neural Networks Construction for Handwritten Arabic City-Names Recognition
Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP
Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings
Enhancing Question Answering in Lecture Videos with a Multimodal Retrieval-Augmented Generation Framework
Evolutionary Approach to Multiobjective Optimization of Portfolios That Reflect the Behaviour of Investment Funds
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis
Neural Model of Osmotic Dehydration Kinetics of Fruits Cubes
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages
Expert Logics
Applying Fast Optimization Methods for Supervised Learning in Freeforward Neural Networks
The Impact of Valence Shifters on Mining Implicit Economic Opinions
Digital Right Management in Internet Communication and Information Transfer
Towards a Fully Cooperative Multi-Agent Reinforcement Learning based Media Access Control Protocol for Underwater Acoustic Wireless Sensor Networks
Implementation of Cross-platform Language between SQL and NoSQL Database Systems
A Study of SOM Clustering Software Implementations
A Remedial Pre-Quarantine Perspective to Worm Propagation Defense Modeling for Wireless Sensor Networks Using a Combination of Differential Equation and Agent-Based Approaches
Towards Efficient Model for Automatic Text Summarization
YorCALL: Improving and Sustaining Yoruba Language through a Practical Iterative Learning Approach
"Were We Ready in the First Place?": An Analysis of Cashless Policy Implementation in Nigeria
Developing Smart Car Parking System Using Wireless Sensor Networks
A Space-Diversity Technique for Mitigating Signal Fading in Radio Transmission
A Fundamental Approach to Oil and Gas Leaks Detection
Career Advisor Expert System Based on Myers Briggs Personality Assessment
Framework for a Cloud Based Health Monitoring System
Anti-Phishing Research: The Journey so Far
Mind Analysis Game Using Android Mobile Technology
Result Computation for University of Ibadan Statistics Department Using Anonymous Threshold Scheme
Proceedings of the 2nd International Conference on Computing Research and Innovations, Ibadan, Nigeria, September 7-9, 2016
Assessment of the Impact of Social Networking Media on Students' Academic Performance in Higher Institutions: A case Study of Federal Polytechnic, Ilaro
Development of a Modified Local Binary Pattern-Gabor Wavelet Transform Aging Invariant Face Recognition System
A Model for Prediction of Kidney Cancer Using Data Analytic Technique
Evaluation of Computer and Network Security Strategies: A Case Study of Nigerian Banks
Diagnostic and Therapeutic Model for Real Time Management of Diabetes
Massive Open Online Courses: A Success of Cloud Computing in Education
Investigating the Effect of Uniform Random Distribution of Nodes in Wireless Sensor Networks Using an Epidemic Worm Model
Likelihood Asymptotics for Changepoint Problem
Redundant Residue Number System Based Fault Tolerant Architecture over Wireless Network
Modelling the Multi-Layer Artificial Neural Network for Internet Traffic Forecasting: The Model Selection Design Issues
A Design Comparison: Data Warehouse Schema versus Conventional Relational Database Schema
E-Commerce in Nigeria: A Survey of Security Awareness of Customers and Factors that Influence Acceptance
Implementation of Audio Compression Using Wavelet
Comparing Research outputs of Nigeria Federal Universities Based on the Scopus Database
Performance Evaluation of 3G Internet Access
Impact of Passive Cell (PC) and Active Distributive Network Cell (ADNC) on Power System Oscillation
Optimizing Authorship Profiling of Online Messages
Analytic Study of Fuzzy-based Model for Software Cost Estimation
Modeling an Enhanced Intrusion Detection System Using Mobile Agent: A Methodological Framework
Classification of Human Brain Signal for Diagnosis of Stroke Disease Using Artificial Neural Network
Consumer Verification System for Authentic Product: Case Study of Manufactured Product
Privacy Preserving Association Rule Mining Using Perturbation Technique
AnonyTrust: An Anonymous Trust Authentication System for Pervasive Social Networking
A Multi-data Collaborative Encryption in Concealed Data Aggregation for WSNs
Making Privacy Protection Investment Decisions in Social Networks: An Interdependent Security Game Approach
Enhancing Adversarial Examples with Flip-Invariance and Brightness-Invariance
Behavior Prediction and Its Design for Safe Departure Intervals Based on Huang Yan-Pei Thought
Variational Autoencoder Based Enhanced Behavior Characteristics Classification for Social Robot Detection
CVNNs-IDS: Complex-Valued Neural Network Based In-Vehicle Intrusion Detection System
Improvements Based on JWT and RBAC for Spring Security Framework
Steganalysis of Adaptive Steganography Under the Known Cover Image
Robust, Imperceptible and End-to-End Audio Steganography Based on CNN
Detecting Advanced Persistent Threat in Edge Computing via Federated Learning
CSKB: A Cyber Security Knowledge Base Based on Knowledge Graph
Transaction Deanonymization in Large-Scale Bitcoin Systems via Propagation Pattern Analysis
A Personalized Preservation Mechanism Satisfying Local Differential Privacy in Location-Based Services
A Decentralized Weighted Vote Traffic Congestion Detection Framework for ITS
Security and Privacy in Digital Economy - First International Conference, SPDE 2020, Quzhou, China, October 30 - November 1, 2020, Proceedings
User Privacy-Preserving Scheme Based on Anonymous Authentication in Smart Grid
Intrusion Detection Scheme for Autonomous Driving Vehicles
Rational Delegation of Computation Based on Reputation and Contract Theory in the UC Framework
Adversarial Examples Attack and Countermeasure for Speech Recognition System: A Survey
Analysis Toward RLWE-Based Key Exchange Protocol Based on Automatic Learning Structure
User Grouping Privacy-Preserving Strategy Based on Edge Computing for Mobile Crowdsensing
Detection of Various Speech Forgery Operations Based on Recurrent Neural Network
Post-processing for Enhancing Audio Steganographic Undetectability
A PBFT Consensus Scheme with Reputation Value Voting Based on Dynamic Clustering
PLFG: A Privacy Attack Method Based on Gradients for Federated Learning