yusuke1997/dblp-id-title huggingface dataset:
Hierarchical CBR for Multiple Aircraft Conflict Resolution
Min-based causal possibilistic networks: Handling interventions and analyzing the possibilistic counterpart of Jeffrey's rule of conditioning
Careful Generalization for Concept Learning
Higher-Order Coalition Logic
Randomized Kernel Multi-View Discriminant Analysis
Structure and Reduction of MCTS for Explainable-AI
Adaptive Discriminative Generative Model for Object Tracking
Predictions in Deterministic Parsing: a Framework for Lexical Correction
Planning with OWL-DL Ontologies
Machine Learning for Gas and Oil Exploration
Rational Deployment of Multiple Heuristics in IDA
Preference-Based Argumentation Framework with Varied-Preference Intensity
Groovy Neural Networks
Music Performer Recognition Using an Ensemble of Simple Classifiers
Perception Strategy for a Surveillance System
Taylor Expansion in Neural Networks: How Higher Orders Yield Better Predictions
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework
Path Planning and Environment Learning in a Mobile Robot System
A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation
Mid-Weight Image Super-Resolution with Bypass Connection Attention Network
On Attributed Relational Graph Matching Using Hopfield Network
Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm
Foreground Detection by Probabilistic Mixture Models Using Semantic Information from Deep Networks
An Infrastructure for Human Inclusion in MAS
Mixed Strategy Extraction from UCT Tree in Security Games
Hyperparameter Importance Analysis for Multi-Objective AutoML
Dissecting Scorpion: Ablation Study of an Optimal Classical Planner
Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity
A Model-Based Approach to Sequence Clustering
Explaining Text Classifiers with Counterfactual Representations
Automatic Bridge Bidding Using Deep Reinforcement Learning
Strong, Fuzzy and Smooth Hierarchical Classification for Case-Based Problem Solving
Introspection in Knowledge Representation
Robustness Testing for Multi-Agent Reinforcement Learning: State Perturbations on Critical Agents
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision
ChatZero: Zero-Shot Cross-Lingual Dialogue Generation via Pseudo-Target Language
DCNet: Weakly Supervised Saliency Guided Dual Coding Network for Visual Sentiment Recognition
Fairlearn Parity Constraints for Mitigating Gender Bias in Binary Classification Models - Comparative Analysis
Formalizing Soft Constraints by Interpretation Ordering
Partially Observable Markov Decision Process for Closed-Loop Anesthesia Control
On Redundancy in Simple Temporal Networks
Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints
Integrating Qualitative Reasoning Approaches
Iteratively Calibrating Prompts for Unsupervised Diverse Opinion Summarization
Detection of unsolvable temporal planning problems through the use of landmarks
Polynomial algorithms for clearing multi-unit single-item and multi-unit combinatorial reverse auctions
EPNE: Evolutionary Pattern Preserving Network Embedding
Building Trading Agents: Challenges and Strategies
Solving the Inverse Representation Problem
Using Argument Graphs to Generate Arguments
Learning Style-Aware Symbolic Music Representations by Adversarial Autoencoders
A Local Non-Additive Framework for Explaining Black-Box Predictive Models
Time-Slice Density Estimation for Semantic-Based Tourist Destination Suggestion
Inheritance and Hypothetical Reasoning in Logic Programming
A Case Study in Reasoning about Actions and Continuous Change
Symbiotic Coevolution for Epistatic Problems
Adaptive Gaussian Process for Short-Term Wind Speed Forecasting
Detecting Hidden Triggers: Mapping Non-Markov Reward Functions to Markov
Non-linear Modelling of a Production Process by Hybrid Bayesian Networks
Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks And its Application
Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
Privacy-Preserving Query Answering in Logic-based Information Systems
An Algorithm for Multi-Criteria Optimization in CSPs
Saliency Detection with Deformable Convolution and Feature Attention
Opportunistic Branched Plans to Maximise Utility in the Presence of Resource Uncertainty
The Use of Artificial Intelligence in Activities Aimed at Sustainable Development - Good Practices
Predicting Responsiveness of BDI Agent
A Very Fast Method for Clustering Big Text Datasets
The Inductive Inference of Cyclic Synchronized Interleaving
Semantic Querying of Data Guided by Formal Concept Analysis
On Probing and Multi-Threading in Platypus
Count-As Conditionals, Classification and Context
Foundations of Tree-like Local Model Updates
A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value
Modelling Belief-Revision Functions at Extended Languages
Causal Query in Observational Data with Hidden Variables
Planning for Human-Robot Collaboration Scenarios with Heterogeneous Costs and Durations
Today, how was your ability to move about?
Fair Rent Division on a Budget Revisited
A Bit Table for Message Passing in Multiple Inheritance Hierarchies
Software Design As Framework Reuse: A Knowledge-Based Approach
Integrating Models of the Correct Behavior into Abductive Diagnosis
Faustian Dynamics in Sarkar's Social Cycle
Adaptive Graph Reasoning Network for Fashion Landmark Detection
Ludii - The Ludemic General Game System
Interpretable Identification of Mild Cognitive Impairment Progression Using Stereotactic Surface Projections
An Evolutionary Algorithm for Rule Learning over Knowledge Graphs
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning
Decision Support Software for Melanoma Skin Cancer Detection (DECIME)
A Multi-Agent Reinforcement Learning Algorithm Embedded with Opponent Modeling
Prediction of Blood Glucose Levels for People with Type 1 Diabetes using Latent-Variable-based Model
Bounded Intention Planning Revisited
Identifying the Best Arm in the Presence of Global Environment Shifts
Escape Sensing Games: Detection-vs-Evasion in Security Applications
Visual Patterns in an Interactive App for Analysis Based on Control Charts and SHAP Values
A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting
Efficient Data Clustering by Local Density Approximation
Cooperative Case-Based Reasoning
Analogical Representations for Mechanism Synthesis
Elimination of Spurious Explanations
Problem Reduction and the Two-Dimensional Trim-Loss Problem
Addressing Temporal Aspects of Privacy-Related Norms
A Formalization of Interval-Based Temporal Subsumption in First Order Logic
Pixel-wise Reclassification with Prototypes for Enhancing Weakly Supervised Semantic Segmentation
Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting Games
Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis
Multi-unit Double Auction under Group Buying
Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases
Near Fairness in Matroids
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games
Explanation-Based Generalisation of Failures
Reconciling OWL and Non-monotonic Rules for the Semantic Web
On the Collaborative Object Search Team: A Formulation
An argumentation system for reasoning with LPm
Efficient Reasoning in Multiagent Epistemic Logics
Using Functional Structure forProbabilistic Semantic Disambiguation
Learning Invariant Representation for Malicious Network Traffic Detection
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity
Automating Accreditation of Medical Web Content
On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements
Learning Qualitative Metabolic Models
Enhancing Manufacturing Knowledge Access with LLMs and Context-Aware Prompting
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
A Framework To Decompose And Develop Metafeatures
Converting Texts of Road Accidents into 3D Scenes
Computer-Aided Configuration of Gantry-Robots
Abstraction, Taxonomies, Connectivity: From AI to FCA and Back
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
Classifier Combination Using a Class-indifferent Method
ET-GAN: Cross-Language Emotion Transfer Based on Cycle-Consistent Generative Adversarial Networks
Online Rule Learning via Weighted Model Counting
ANTIPA: an agent architecture for intelligent information assistance
MIDE: A Model-Based and Incremental Knowledge Acquisition Methodology
Simplifying Graph Attention Networks with Source-Target Separation
Optimal Alignment of Temporal Knowledge Bases
Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness Guarantees
Executable Logic for Dialogical Argumentation
Variational Objectives for Markovian Dynamics with Backward Simulation
From Margins to Probabilities in Multiclass Learning Problems
An Application of Lexicalized Grammars in English-Persian Translation
Domain Modeling for Monitoring Systems
Progression in Maximum Satisfiability
A Privacy-preserving Model for the Multi-agent Propositional Planning Problem
User Modelling in Anaphora Generation: Ellipsis and Definite Description
Towards Abstractive Timeline Summarisation Using Preference-Based Reinforcement Learning
A Lagrangian Approach to Information Propagation in Graph Neural Networks
Belief Revision in Multi-Agent Systems
Incremental Verification of Rule-Based Expert Systems
An Argumentation-Theoretic Characterization of Defeasible Logic
A Simple Account of Multi-Agent Epistemic Planning
The Semantic Grid: Myth Busting and Bridge Building
Rhetorical Relations in a Model of Information-Seeking Dialogues
SENA: Similarity-Based Error-Checking of Neural Activations
Regression Learning with Multiple Noisy Oracles
Distributed Reasoning in a Peer-to-Peer Setting
A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems
Using Memory in Text Understanding
Aligning XAI with EU Regulations for Smart Biomedical Devices: A Methodology for Compliance Analysis
Knowledge Assimilation and Abduction
Selfishly Cancelling Debts Can Reduce Systemic Risk
Management of Hypotheses in an Integrated Speech-Language Architecture
Neural Network-Based Rule Models with Truth Tables
Classical Planning with Communicative Actions
Explainable Inference in the FRANK Query Answering System
Fingerprint Attack: Client De-Anonymization in Federated Learning
A Method for Computing Heuristics in Problem-Solving
Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space
AI Paradigms and AI Safety: Mapping Artefacts and Techniques to Safety Issues
A Study of Organizational Learning in Multi-Agent Systems
Modeling Collaborative Similarity with the Signed Resistance Distance Kernel
Arguments, Dialogue, and Negotiation
How to Incorporate Collaborative Discourse in Cultural Digital Libraries
A Lightweight Recurrent Attention Network for Real-Time Guidewire Segmentation and Tracking in Interventional X-Ray Fluoroscopy
Culture, Mysticism & Social Structure and the Calculation of Behavior
Motivated Agent with Semantic Memory
Learning Model Free Motor Control
Dual Attention Encoder with Joint Preservation for Medical Image Segmentation
Alarm Correlation in Traffic Monitoring and Control Systems: A Knowledge-Based Approach
Infection-Based Norm Emergence in Multi-Agent Complex Networks
A BDD Approach to the Feature Subscription Problem
Span-Based Joint Entity and Relation Extraction with Transformer Pre-Training
Dynamic Multimodal Prompt Tuning: Boost Few-Shot Learning with VLM-Guided Point Cloud Models
Monte-Carlo Tree Search: To MC or to DP?
A Resolution Calculus for Presuppositions
Development of an Interpretable Uni-Null Neuron-Based Evolving Fuzzy Neural Network for Age Group Identification in Respondents with Diabetes
Interactive Authoring Tool for Extensible MPEG-4 Textual Format (XMT)
Identifying and Rewarding Subcrowds in Crowdsourcing
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps
H2T-FAST: Head-to-Tail Feature Augmentation by Style Transfer for Long-Tailed Recognition
An Intelligent Pipeline for Localization of Industrial Components in Robotic Manufacturing Applications
From Multiple Objects Motion Analysis To Behavior-Based Object Recognition
Data-Driven Self-Supervised Graph Representation Learning
Plan-Based Narrative Generation with Coordinated Subplots
From Probabilistic Programming to Complexity-Based Programming
On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements
Evaluation of Analogical Arguments by Choquet Integral
An Ant Colony Genetic Algorithm
FenGe-An Interactive Framework for Improving the Utility of Deep Dune Segmentation in Geographical Tasks
On Distances Between KD45n Kripke Models and Their Use for Belief Revision
An approach to multi-agent planning with incomplete information
A Computational Study of a Period of Infant Development
SUBER: An RL Environment with Simulated Human Behavior for Recommender Systems
TrustFed: Navigating Trade-offs Between Performance, Fairness, and Privacy in Federated Learning
Computing the Data Semantics of WSDL Specifications via Gradient Boosting
Web-Based Tools for Codification with Medical Ontologies in Switzerland
Sparse Convolutional Neural Network for Localization and Orientation Prediction and Application to Drone Control
Instruction Following with Goal-Conditioned Reinforcement Learning in Virtual Environments
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29, 2016
Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models
Reified Temporal Logics: Semantical and Ontological Considerations
Rethinking Domain Generalization from Perspective of Gradient Granularity
A Computationai Model for Processing Coordinate Structures: Parsing Coordination will-out Grammatical Specification
Knowledge-Based Selection of Association Rules for Text Mining
Enhancing Reinforcement Learning Through Guided Search
A Computational Approach to Consensus-Finding
Integrating Spatio-Temporal Knowledge: A Hybrid Approach
Improving robustness in consistency-based diagnosis using possible conflicts
DeCoRTAD: Diffusion Based Conditional Representation Learning for Online Trajectory Anomaly Detection
Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics
The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language
On Efficiency of Learning: A Framework and Justification
New Results for Horn Cores and Envelopes of Horn Disjunctions
A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks
WikiTalk and WikiListen: Towards Listening Robots That Can Join in Conversations with Topically Relevant Contributions
Segmentation-Driven Image Enhancement Based on Deep Reinforcement Learning
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty
Reader's Guide
Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment
Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use
Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th - 14 July 1976
A Neural Rewriting System to Solve Algorithmic Problems
An Update Semantics for Prima Facie Obligations
Selective Learning for Sample-Efficient Training in Multi-Agent Sparse Reward Tasks
An Empirical Analysis of the Complexity of Model-Based Diagnosis
Data-driven Induction of Functional Programs
Detecting Communities Using Coordination Games: A Short Paper
Kleenks: Linked Data with Applications in Research and Ambient Assisted Living
Synthetically Augmented Self-Supervised Fine-Tuning for Diverse Text OCR Correction
The Successive SA * Search and its Computational Complexity
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors
Version Space Support Vector Machines
Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning
Knowledge Management Applied to Electronic Public Procurement
Formal Verification of Ethical Properties in Multiagent Systems
A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval
EarSaver: A Device to Detect Dangerous Audio Noises
Finite Sample Guarantees of Differentially Private Expectation Maximization Algorithm
Good Old Discrete Relaxation
On Contrastive Explanations for Tree-Based Classifiers
Parameterised Model Checking for Alternating-Time Temporal Logic
Local to Global Learning of a Latent Dynamic Bayesian Network
Acquiring and Complementing the Model for Diagnostic Tasks
A Blackboard Shell in Prolog
Complexity of Possible and Necessary Existence Problems in Abstract Argumentation
Trying Harder to Fail First
Probabilistic Preference Logic Networks
A Conceptual Supervision Model in Computer Integrated Manufacturing
The Role of Depth, Width, and Tree Size in Expressiveness of Deep Forest
Decision Making in Large-Scale Domains: A Case Study
Data interlinking through robust linkkey extraction
Structural Onomatologic for Username Generation: A Partial Account
One Step in the Counter-Representationalist Direction
Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques
Statistical Constraints
A Comparison of Architectures for Autonomous Multi-Agent Communication
A Single Online Agent Can Efficiently Learn Mean Field Games
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Fairness Auditing with Multi-Agent Collaboration
Plan-Based Configuration of a Group of Robots
Feature-Level Ensemble Knowledge Distillation for Aggregating Knowledge from Multiple Networks
Automatically Synthesising Domain Constraints from Operator Descriptions
Geometrical Feature Extraction for Cuneiforms
Utterance Units in Spoken Dialogue
Boolean Propagation Based on Literals for Quantified Boolean Formulae
Detecting Signatures of Early-stage Dementia with Behavioural Models Derived from Sensor Data
The Role of Goals in Dialog Control
The Expertise of Novice Problem Solvers
Chaotic Time Series Prediction with Neural Networks - Comparison of Several Architectures
Multi-Class Probabilistic Active Learning
Personalized Fully Multimodal Journey Planner
Towards a general record linkage framework for statistical disclosure control
Discovering Bayesian Networks when Few Variables Matter
Phonetic Spelling and Heuristic Search
OntoRefiner, a user query refinement interface usable for Semantic Web Portals
MixCon: A Hybrid Architecture for Efficient and Adaptive Sequence Modeling
Unifying Cycles
Canonical Decision Diagrams Modulo Theories
Agent Abstraction via Forgetting in the Situation Calculus
Magic Agents: Using Information Relevance to Control Autonomy
Iterative Model Construction with Regression
On Computing Backbones of Propositional Theories
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
CICERO: A GPT2-Based Writing Assistant to Investigate the Effectiveness of Specialized LLMs' Applications in e-Justice
Embedding Knowledge Graphs in Degenerate Clifford Algebras
A Formal Model of Affordances for Flexible Robotic Task Execution
Reinforcement Learning with Classifier Selection for Focused Crawling
Using 3D simulators for the ambient assisted living
An Incremental Algorithm for Tree-shaped Bayesian Network Learning
Classtering: Joint Classification and Clustering with Mixture of Factor Analysers
Generative Knowledge for Computer Troubleshooting
PMAA: A Progressive Multi-Scale Attention Autoencoder Model for High-Performance Cloud Removal from Multi-Temporal Satellite Imagery
Time Series Imputation with Multivariate Radial Basis Function Neural Network
Intuitionistic Non-Monotonic Reasoning - Further Results
Empirical Research on Ensuring Ethical AI in Fraud Detection of Insurance Claims: A Field Study of Dutch Insurers
Remote Learning Technologies in Achieving the Fourth Sustainable Development Goal
XFed: Improving Explainability in Federated Learning by Intersection Over Union Ratio Extended Client Selection
Lakatos-Style Automated Theorem Modification
NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows
Recovering Implicit Physics Model Under Real-World Constraints
Competitive Hypothesis Resolution in TWIG, a Blackboard-Driven Text Understanding System
Adcuctive Reasoning with Abstraction Axioms
Generating SROI - Ontologies via Knowledge Graph Query Embedding Learning
AI-Powered Immersive Assistance for Interactive Task Execution in Industrial Environments
FATRER: Full-Attention Topic Regularizer for Accurate and Robust Conversational Emotion Recognition
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups
Reducing Oversmoothing in Graph Neural Networks by Changing the Activation Function
Dynamic Skeleton Based Wayfinding
Unsupervised Layer-Wise Model Selection in Deep Neural Networks
A General Neural Architecture for Carbohydrate and Bolus Recommendations in Type 1 Diabetes Management
Mapping a Knowledge Level Analysis onto a Computational Framework
Modality-Aware and Shift Mixer for Multi-Modal Brain Tumor Segmentation
Towards Legal Judgment Summarization: A Structure-Enhanced Approach
Finding Time Optimal Routes for Trains Using Basic Kinematics and A
Comparing Conceptual, Divise and Agglomerative Clustering for Learning Taxonomies from Text
Chronological Minimization of Abnormality: Simple Theories of Action
Specializing Small Language Models Towards Complex Style Transfer via Latent Attribute Pre-Training
iSee: Advancing Multi-Shot Explainable AI Using Case-Based Recommendations
Dynamic Unification in Lexically Based Parsing
Learning Logic Programs by Combining Programs
Family and Prejudice: A Behavioural Taxonomy of Machine Learning Techniques
Semantical Information Graph Model toward Fast Information Valuation in Large Teamwork
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Integrating Qualitative Reasoning for Numerical Data Fusion Tasks
Entity Matching Across Small Networks Using Node Attributes
Computing e-Optimal Strategies in Bridge and Other Games of Sequential Outcome
Novice Physics Problem Solving Behaviour
A Comparative Analysis of Extracted Grammars
Analysis of Swarm Communication Models
Abduction as Satisfiability
An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem
Stability in Minimization-Based Altruistic Hedonic Games
Weighting in Information Retrieval Using Genetic Programming: A Three Stage Process
Graph Neural Networks for Object Localization
Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis
Lifted Marginal Filtering for Asymmetric Models by Clustering-Based Merging
Avoiding Resource Conflicts in Intelligent Agents
Feature Integration as an Operation of Theory Change
Toward Computational Models of Emotion
Pragmatic Reasoning in Model-Based Diagnosis
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs
Agent Planning, Negotiation and Control of Operation
Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning
Simple Synchrony Networks: Learning Generalisations across Syntactic Constituents
Parametrized Region Extraction for the Description of Moving Objects
Robust Constraint Acquisition by Sequential Analysis
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus