yusuke1997/dblp-id-title huggingface dataset:
Detecting Compromised Nodes in a Wireless Sensor Network using Trust
An ad-hoc Wireless Sensor Networks with Application to Air Pollution Detection
Data Fusion via Nonlinear Space Transformations
Observation-based Cooperation in Mobile Sensor Networks
Distributed Resource Management and Parallel Routing for Data Acquisition in Heterogeneous Sensor Networks
MODALYS - A System for the Semantic-Pragmatic Analysis of Modal Verbs
Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors
Neural Methods for Cross-Lingual Sentence Compression
A Logic of Inequalities
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework
Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings
Knoweldge-Based Interpretation of Biophysical Images
A Qualitative Spatio-Temporal Framework Based on Point Algebra
Abstraction as a Form of Elaboration Tolerance
Description of Structure and Behavior of Systems with Concurrency- A Rule-Based Approach
Handling Diphtong and Triphone Sysmbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document
Identification of the Compound Subjective Rule Interestingness Measure for Rule-Based Functional Description of Genes
Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings
User-Level Opinion Propagation Analysis in Discussion Forum Threads
Nonmonotonic Reasoning under Uncertain Evidence
The Emergence of Cultural Hierarchical Social Networks in Complex Environments
Towards a Theory of Knowledge Representation Systems
Modeling Actions Based on a Situative Space Model for Recognizing Human Activities
Modelling Uncertainty with Kripke's Semantics
Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications
Identification of Communities of Peers by Trust and Reputation
A Social and Emotional Model for Obtaining Believable Emergent Behaviors
Coding Patterns
XRL: An Evolutionary Multi-Paradigm Environment for AI Programming
Occam Based Neural Network Description Language
Signal Classification with Self-organizing Mixture Networks
Agent-Based Simulation Leveraging Declarative Modeling for Efficient Resource Allocation in Emergency Scenarios
A Weighted Feature Selection Method for Instance-Based Classification
BERGSON - toward a Knowledge Modelling Tool
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information
Computing Speech Acts
Constructing a BDI Agent to Deploy in an Interactive Computer Game Environment
A Blackboard Architecture for Guiding Interactive Proofs
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs
An Approach to Building a Linguistic Processor for Bulgarian Texts
Collision-Free Movement Planning for Robot Manipulators
Artificial Intelligence in Data Science
Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems
An Agent Based Approach for Migrating Web Services to Semantic Web Services
How to Detect and Analyze Atherosclerotic Plaques in B-MODE Ultrasound Images: A Pilot Study of Reproducibility of Computer Analysis
Expressing Sentiments in Game Reviews
Artificial Intelligence II: Methodology, Systems, Applications - Proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1986, Varna, Bulgaria, September 16-19, 1986
Meta Theory as a Tool for Integration and Control
Nonlinear H infinity State Feedback Control of Rigid Robot Manipulators
A Novel Study on Modelling and Adaptive Optimal Control of a Tubular Reactor Based on Gaussian Processes
On the Expression of Government and Binding Principles by Contextual Discontinuous Grammars
An Approach to Structuring and Formalizing Knowledge for a Design Support System
About Redundant Inequalities Generated by Fourier's Algorithm
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Restricted Delta-Trees in Multiple-Valued Logics
OCOA: An Open, Modular, Ontology Based Autonomous Robotic Agent Architecture
ARCHIMEDES: An Intelligent Geometry Tutoring System
Experiments with Filtered Detection of Similar Academic Papers
A Knowledge Based System for Automatic 3D Scene
Formalizing Non-Monotonic Truth Maintenance Systems
Analyzing Emotional States Induced by News Articles with Latent Semantic Analysis
N-Gram Feature Selection for Authorship Identification
Training Datasets Collection and Evaluation of Feature Selection Methods for Web Content Filtering
Multi-agent Task Division Learning in Hide-and-Seek Games
Improving WWW Access-from Single-Purpose Systems to Agent Architectures?
Algorithm Selection Using Performance and Run Time Behavior
Bulgarian Noun - Definite Article in DATR
Incorporating Privacy Concerns in Data Mining on Distributed Data
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks
Views and Synthesis of Cognitive Maps
Analysis of Strategies in American Football Using Nash Equilibrium
Multimodal Sentiment Analysis: Recognizing Sentiment in Memes
Reasoning Mechanism for Cardinal Direction Relations
Classification with Belief Decision Trees
Logical Inference in a Network Environment
Artificial Intelligence: Methodology, Systems, and Applications - 19th International Conference, AIMSA 2024, Varna, Bulgaria, September 18-20, 2024, Proceedings
Logic Programming and Automatization of Software Test Strategies
Associate Memory-Based Reasoning: How to Represent and Retrieve Cases
Towards an Application if Intelligent Image Analysis System to Robotic Fettling of Castings
Towards Effective Recommendation of Social Data across Social Networking Sites
Evaluation of Automatic Tag Sense Disambiguation Using the MIRFLICKR Image Collection
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
A Practicable Approach to Functional Logic Programming
EVTIMA: A System for IE from Hospital Patient Records in Bulgarian
Number Generalization in Learning from Examples
Architecture and Applications of Parallel Computer for Artificial Intelligence
Exploiting Large-Scale Semantics on the Web
A Framework for Time-Series Analysis
Towards Automatic Structure Analysis of Digital Musical Content
A Systems-Based Framework for Knowledge Representation
Indirect Association Rules Mining in Clinical Texts
Dynamic Sound Fields Clusterization Using Neuro-Fuzzy Approach
Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System
Focussing- A Meeting Point Linguistics and Artificial Intelligence
Comparative Analysis of Distributed, Default, IC, and Fuzzy ARTMAP Neural Networks for Classification of Malignant and Benign Lesions
Investigating the Regularization of Deep Neural Networks for Affect Recognition with Relevance-Guided Local Explanations
Selection of Foundational Ontology for Collaborative Knowledge Modeling in Healthcare Domain
A Legal Model for Business Processes
Handling Uncertain Attribute Values in Decision Tree Classifier Using the Belief Function Theory
A System for Text Temporal Information Retrieval
Learning Multiple Predicates
An Expert System for Quality Control in Paper Production
Version Space Retraction with Instance-Based Boundary Sets
From Logic to Logic Programming
Extracting Patterns from Educational Traces via Clustering and Associated Quality Metrics
Equations over Trees and Lists with Constraints
Diagnosing Grammatical Faults - A Deep-Modelled Approach
Management of Urban Parking: An Agent-Based Approach
Compilation of Recursive Two-Literal Clauses into Unification Algorithms
Adoption of the Classical Theory of Definition to Ontology Modeling
Towards Automated Customer Support
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Liposome Production and Protoplast Electrofusion Expert Systems
Object Semantics in INEX
The Complex Scientific Project Knowledge Processing Systems within the Context of Artificial Intelligence Theory and New Generation Computer Systems Projects
Test Case Prioritization for NUnit Based Test Plans in Agile Environment
Linking Tweets to News: Is All News of Interest?
Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning
Arabic Words Recognition with Classifiers Combination: An Application to Literal Amounts
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks
Mapping Data Driven and Upper Level Ontology
Towards Computer Aided Vision System Configuration
Converging Dimensions: Information Extraction and Summarization Through Multisource, Multimodal, and Multilingual Fusion
Kohonen Feature Maps: Toward Invariant Character Recognition
An Approach to Discovering, Tracking Over Time, and Summarizing Publicly Available Information on a Given Topic
Coverage-Based Semi-distance between Horn Clauses
An Approach to the Modelling of Natural Reasoning
A Study on the Utility of Parametric Uniform Crossover for Adaptation of Crossover Operator
An Agent for Intelligent Situation Assessment
Differentiation of the Script Using Adjacent Local Binary Patterns
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools
Parallelizing Recursive Programs
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web
ASAP- An Advanced System for Assessing Chat Participants
SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge Bases
A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog
On the Quantification of Knowledge
An Extension of SATPLAN for Planning with Constraints
An Experiment on Modelling Agents and Knowledge for the Semantic Web
An Expert System in Reliability- Structure and Knowledge Representation
Space Representation and Object Positioning in Natural Language Driven Image Generation
A Workbench for Temporal Event Information Extraction from Patient Records
A Logical Approach to Dynamic Role-Based Access Control
Towards a Better Understanding of the Language Content in the Semantic Web
On Experimental Linguistic Processors for Man-Computer Dialogue in Bulgarian
Data Sample Reduction for Classification of Interval Information Using Neural Network Sensitivity Analysis
Revisable Analysis and Design throughout Actors Interaction
A Classification Learning Algorithm Robust to Irrelevant Features
Single-Stacking Conformity Approach to Reliable Classification
The Agent Modeling Language (AMOLA)
Constraint Models for Reasoning on Unification in Inductive Logic Programming
Coalition Structure Generation with GRASP
Constructive Proofs for Concept Learning
Combining Horn Clause Logic with Rewrite Rules
Rule Quality Measure-Based Induction of Unordered Sets of Regression Rules
Posoh- The Instrumental Expert System of NL-Modules Design and Implementation
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning
Efficient Reasoning Using the Local Closed-World Assumption
Logical Analysis of Mappings between Medical Classification Systems
Overcoming Incomplete Information in NLP Systems - Verb Subcategorization
Integration of Ontology with Development of Personalized E-Learning Facilities for Dyslexics
Planning and Monitoring Web Service Composition
DIGS: A Domain Independent Expert System for Technical Diagnostics
Plan Schemes in PLANLOG
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing
Methodological Problems and Approaches in Artificial Intelligence
Reasoning with Co-variations
Time Optimized Algorithm for Web Document Presentation Adaptation
Coordinating Semantic Peers
Incrementally Building Partially Path Consistent Qualitative Constraint Networks
Parallelizing a Natural Deduction System
FP2: Functional Parallel Programming Based on Term Substitution
Combining Structured and Free Textual Data of Diabetic Patients' Smoking Status
Towards Management of OWL-S Effects by Means of a DL Action Formalism Combined with OWL Contexts
A Meta Learning Approach: Classification by Cluster Analysis
An Implemented Simulation of a Parallel Theorem Prover
WHAT: Web-Based Haskell Adaptive Tutor
Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many-Core GPU
Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style
GPU-Accelerated Flight Route Planning for Multi-UAV Systems Using Simulated Annealing
Influencing the Beliefs of a Dialogue Partner
INFRAWEBS Designer - A Graphical Tool for Designing Semantic Web Services
What's in a 'DET'? Steps towards Determiner-Dependent Inferencing
Systems-Based Knowledge Representation: Relations and Methods
Planning Diagonalization Proofs
Data Flow Computation Model and Analysis of its Asynchrony
Outlier Detecting in Fuzzy Switching Regression Models
Towards a Semantic Representation of Documents by Ontology-Document Mapping
A Relative Word-Frequency Based Method for Relevance Feedback
Artificial Intelligence in Europe
ACCORD: A Metamodel for the II Generation Expert Systems
Increasing the Classification Accuracy of Simple Bayesian Classifier
On an Implementation of the ATNL-Language
Daniela D'Aloisi, O. Stock, A. Tuozzi: Propositions in a Hybrid Knowledge Representation System
A General Architecture for Finding Structural Regularities on the Web
An Agent Model for NL Dialog Interfaces
Emergent behaviours based on episodic encoding and familiarity driven retrieval
The Object Oriented Expert System - URBANEX
Applying Language Technologies on Healthcare Patient Records for Better Treatment of Bulgarian Diabetic Patients
Corpus-Based Semantic Filtering in Discovering Derivational Relations
A Learning Approach to Early Bug Prediction in Deployed Software
Reasoning about Generalized Intervals
The Sharing of Partial Results in Nondeterministic Computations
A Constructive Hybrid Algorithm for Crew Pairing Optimization
New Model Distances and Uncertainty Measures for Multivalued Logic
A Machine Learning Approach to Automatic Production of Compiler Heuristics
A Broker Approach for Multi-agent Scheduling
Semantic-Aware Expert Partitioning
Rule-Based Mechanism for Constraint Checking in Logic Programs
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs
How to Schedule a Job Shop Problem through Agent Cooperation
Reconstruction of Battery Level Curves Based on User Data Collected from a Smartphone
Multimodal Speech Synthesis: Improving Information Flow in Dialogue Systems Using 3D Talking Heads
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing
The Definite Article of Bulgarian Adjectives and Numerals in DATR
The Web as an Autobiographical Agent
Feed Rate Profiles Synthesis Using Genetic Algorithms
Clustering a Very Large Number of Textual Unstructured Customers' Reviews in English
Intent Detection System Based on Word Embeddings
How to Deal Intelligently with Unexpected?
Multilingual Plagiarism Detection
Computer Aided Design of Expert Systems- An Instrumental Approach
Feature Selection Based on Logistic Regression for 2-Class Classification of Multidimensional Molecular Data
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks
Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings
An Improved Method of Action Recognition Based on Sparse Spatio-temporal Features
Space Fragmenting - A Method of Disjunctive Concept Acquisition
Artificial Intelligence and Computer Simulation of Scientific Discoveries
INTEXP- A Domain-Independent Expert System
Applications of Assertions as Elementary Tactics in Proof Planning
Towards Translation of Tags in Large Annotated Image Collections
A Neural Network Tool to Organize Large Document Sets
An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning
Semantic Annotation Modelling for Protein Functions Prediction
Towards Ontological Blending
The Nesy Prolog
A Proposal for Annotation, Semantic Similarity and Classification of Textual Documents
Applying Preference Biases to Conjunctive and Disjunctive Version Spaces
Learning Patterns in Multidimensional Space Using Interval Algebra
Boolean Matrix Factorisation for Collaborative Filtering: An FCA-Based Approach
Reinforcement Learning Control of Cart Pole System with Spike Timing Neural Network Actor-Critic Architecture
Constrained Permutations for Computing Textual Similarity
Educational Data Mining for Analysis of Students' Solutions
Individualized Virtual Humans for Social Skills Training
A Multiprocessor Architecture for Inference Systems: Design and Evaluation
An Approach to Evaluate Existing Ontologies for Indexing a Document Corpus
Advances in Profile Assisted Voicemail Management
An Ontology of All of Computing: An Update on Challenges and Approaches
Towards Agent-Oriented Relevant Information
Propositional Contexts
A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge
A Heuristic for Planning Based on Action Evaluation
Abstract Argumentation Scheme Frameworks
A Data Tracing System for Prolog Novices
Some Experiments with a Stochastic Production System for Supervised Inductive Learning
Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings
User Authentication via Neural Network
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations
PubMiner: Machine Learning-Based Text Mining System for Biomedical Information Mining
Deep Learning Architecture for Part-of-Speech Tagging with Word and Suffix Embeddings
Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems
Parallelism vs Knowledge Processing
Strategies for Reducing the Complexity of Symbolic Models for Activity Recognition
Acquiring and Sharing Knowledge in Large Organizations: Issues, Requirements and Methodologies
Using Bayesian Networks for Technical Diagnosis
Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text
Multiagent Approach for the Representation of Information in a Decision Support System
Methodology for a New Agent Architecture Based on the MVC Pattern
Remote Sensing Data for Predicting Crop Growth
Deep Learning for Multi-class Diagnosis of Thyroid Disorders Using Selective Features
Analysis of Classification With Two Classifiers
Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992
Supervised Classification for the Triple Parity Strings
A Formal Treatment of Non-Monotonic Reasoning
An Intelligent Information System or the Cooperation of a Natural Language Full Text Retrieval System and a Decision Support System
Left Corner Parser for Tree Insertion Grammars
System Architecture of a Distributed Expert System for the Management of a National Data Network
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments
Developing a Knowledge Based System
Complexity Issues in the Davis and Putnam Scheme
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process
Knowledge Granularity and Action Selection
Methodology for Bootstrapping Relation Extraction for the Semantic Web
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments
BEATCA: Map-Based Intelligent Navigation in WWW
Parallel Inferencing in First Order Logic Based on the Connection Method
Estimation Method for Path Planning Parameter Based on a Modified QPSO Algorithm
Cross-Lingual Style Transfer TTS for High-Quality Machine Dubbing
Schema Matching in GIS
Improvement of Pattern-Matching Net Efficiency through working Memory Organization and Join Nodes
Lexical Activation Area Attachment Algorithm for Wordnet Expansion
A Proof-Theoretic Account of Model-Preference Default Reasoning
Using Machine Learning to Generate Predictions Based on the Information Extracted from Automobile Ads
Simulation of the Autonomous Agent Behavior by Autoregressive Models
Simulation and Multi-agent Environment for Aircraft Learning
Defeasible Reasoning by Using Analogies
A Strategy for Producing Cooperative nl Reactions in a Database Interface
A Formal General Setting for Dialogue Protocols
A Logic for Truth Maintenance Reasoning
Solving Constraints Between Lines in Euclidean Geometry
Context Model for Multi-Agent System Reconfiguration
Analysis of Rumor Spreading in Communities Based on Modified SIR Model in Microblog
Inconsistent Information Processing in Knowledge Based Systems
New Technology Trends Watch: An Approach and Case Study
Exploring the Usability of the Dice CAPTCHA by Advanced Statistical Analysis
Multicriteria Optimization in CSPs : Foundations and Distributed Solving Approach
Modelling and Recognition of Signed Expressions Using Subunits Obtained by Data-Driven Approach
Trilateration Analysis for Movement Planning in a Group of Mobile Robots
Combining Ontologies and IFML Models Regarding the GUIs of Rich Internet Applications
Clustering Approach Using Belief Function Theory
Sculptor-2: Representing, Generating and Editing Smooth Planar Shapes
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
Property Based Coordination
An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover
IURES: A Human Engineering Approach to Natuarl Language
Maintaining a Jointly Constructed Student Model
An Implementation of a Theorem Prover Based on the Connection Method
Advanced CNN-SVM Machine Learning Techniques for Facial Skin Ultrasound Image Analysis
A Prolog-Compiled Higher-Order Functional and Logic Language
Estimating the Accuracy of Spectral Learning for HMMs
Tractable Classes in Exactly-One-SAT
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics
Plans as Planning Objects
Program Synthesis by Hierarchical Planning
Collective Lévy Walk for Efficient Exploration in Unknown Environments
An Alternative Approach to Dependeny-Recording Engines in Consistency-Based Diagnosis
Automatic Design of Hierarchical TS-FS Model Using Ant Programming and PSO Algorithm
On a Unified Framework for Sampling With and Without Replacement in Decision Tree Ensembles
Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest
A BLAST-Based Algorithm to Find Evenly Distributed Unique Subsequences
Artificial Intelligence: Methodology, Systems, and Applications - 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings
Modeling a Theory of Human Plausible Reasoning
Reducing Design Complexity, or: Why Does AI Work?
Incorporating Learning in Grid-Based Randomized SAT Solving
ReadME - Enhancing Automated Writing Evaluation
Forming Student Groups with Student Preferences Using Constraint Logic Programming
Belief Reconstruction in Cooperative Dialogues
In Search of Credible News
Exploiting the Constrainedness in Constraint Satisfaction Problems
Classifying Written Texts Through Rhythmic Features
Non-Monotonic Logics: A Valuations-Based Approach
Approaches for Enumerating All the Essential Prime Implicants
A Cooperative Control System for Virtual Train Crossing
Querying an Inconstistent Database
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing
Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings
A Temporal Many-Valued Logic for Real Time Control Systems
Clinical and Acquisition Data for Optimizing MGMT Methylation Status Prediction: A Comprehensive Ensemble Strategy Emphasizing Non-invasive Approaches
Steps towards C+C: A Language for Interactions
Logical Approaches to Structured Knowledge Bases
COPE - A Flexible Constraint-Based Programming System for Knowledge Processing
Cross-Language Personalization through a Semantic Content-Based Recommender System