yusuke1997/dblp-id-title huggingface dataset:
ACLAnalyser: A Tool for Debugging Multi-Agent Systems
Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging
Interval-Based Relaxation for General Numeric Planning
Sound and Complete Landmarks for And/Or Graphs
Using Coreference in Object-Oriented Representations
Local Search for Heuristic Guidance in Tree Search
An Analysis of Chaining in Multi-Label Classification
Relaxed Per-Stage Requirements for Training Cascades of Classifiers
Better Debugging Through More Abstract Observations
Causal Diffusion Autoencoders: Toward Counterfactual Generation via Diffusion Probabilistic Models
Pixel-based Behavior Learning
A Biologically Based Algorithm for Rapid Scene Analysis
A Deep Learning Approach for Blood Glucose Prediction and Monitoring of Type 1 Diabetes Patients
Validation Model for Discovered Web User Navigation Patterns
A Coin Has Two Sides: A Novel Detector-Corrector Framework for Chinese Spelling Correction
A Theoretical Analysis of Recurrence Goals
What Makes a Better Companion? Towards Social & Engaging Peer Learning
Large Language Model Prompting with Episodic Memory
A Theorem Prover Dating a Semantic Network
AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data
Best-First Interpretation of Imperfect Object Contours
Extending a Lexicon Ontology for Intelligent Information Integration
A Semantic Account of Iterated Belief Revision in the Situation Calculus
Lean Modeling : The Intelligent Use of Geometrical Abstraction in 3D Animations
Towards Meta-Reasoning for Ontologies: A Roadmap
h-Index Manipulation by Undoing Merges
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]
Necessary and Sufficient Conditions for Actual Root Causes
Improving VAE Generations of Multimodal Data Through Data-Dependent Conditional Priors
On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT
Describing Problem Solving Methods using Anytime Performance Profiles
Active Vision: A Survey
On Negation and Three-Valued Logic in Interactive Concept-Learning
Understanding the Image Forming Process
Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
Hybrid Temporal Reasoning
EthiX: A Dataset for Argument Scheme Classification in Ethical Debates
Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility
Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency
A Parallel Algorithm for Consistency Maintenance in Knowledge Representation
Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants
Instance-Based Learning Techniques of Unsupervised Feature Weighting Do not Perform So Badly!
Refining the Notion of Effort
Analogical Classifier as a Surrogate for Explanations
A probabilistic analysis of diagnosability in discrete event systems
Link Prediction by Analyzing Common Neighbors Based Subgraphs Using Convolutional Neural Network
Modelling Iterated Strategies: A Case Study
Maximally Permissive Reward Machines
CryptoSPN: Privacy-Preserving Sum-Product Network Inference
Student Modeling Techniques in Foreign Language Tutoring
Can URML Model Successfully Drools Rules?
Unveiling Learner Dynamics: The ECLIPSE Dataset and NeuralGaze Framework for Prolonged Engagement Assessment in Online Learning
Partial Order Temporal Plan Merging for Mobile Robot Tasks
Learning Stiffness Control for Compliant Motion
The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery
A Modal Proof Method for Doxastic Reasoning in Incomplete Theories
From Document to Program Embeddings: Can Distributional Hypothesis Really Be Used on Programming Languages?
Addressee Learning and Message Interception for Communication Load Reduction in Multiple Robot Environments
Algorithms for Distributed Exploration
Big-Thick Data Generation via Reference and Personal Context Unification
Towards Answer Extraction: An application to Technical Domains
Introducing Reactivity in Adaptive Hypertext Generation
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing
Intelligent adaptive monitoring for cardiac surveillance
Prompt-Based Data Augmentation Using Contrastive Learning Under Scarcity of Annotated Data
Causal Entropy and Information Gain for Measuring Causal Control
Revision Transformers: Instructing Language Models to Change Their Values
Deductive/Abductvie Diagnosis: The DA-Principles
Visual Learning by Set Covering Machine with Efficient Feature Selection
A finite-valued solver for disjunctive fuzzy answer set programs
Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem
Preprocessing in Incomplete MaxSAT Solving
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes
Point of Interest Category Prediction with Under-Specified Hierarchical Labels
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework
Integrating ARIMA and Spatiotemporal Bayesian Networks for High Resolution Malaria Prediction
Night-to-Day: Unpaired Image-to-Image Translation for Nighttime Pedestrian Detection
Advancing ConvNet Architectures: A Novel XGB-based Pruning Algorithm for Transfer Learning Efficiency
FedCoop: Cooperative Federated Learning for Noisy Labels
A NEAT Way for Evolving Echo State Networks
Social Recommendation with Interpersonal Influence
Macros, Reactive Plans and Compact Representations
Counseling Responses for Mental Health Forum Questions with Early Maladaptive Schema Prediction
Class-Aware Sample Weight Learning for Cross-Modal Unsupervised Domain Adaptation in Cross-User Wearable Human Activity Recognition
A Semantics-Driven Methodology for High-Quality Image Annotation
Automating Rule Strengths in Expert Systems
Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving
A Convolutional Neural Network Approach to General Game Playing
Spatial Cognition: An AI Perspective
Acquisition and Formalization of Tacit Knowledge for Value Chain Generation in Local Production Networks
The i-Walker: an intelligent pedestrian mobility aid
Symmetry Breaking Using Value Precedence
Objective-Informed Diversity for Multi-Objective Multiagent Coordination
Online Friends Partitioning Under Uncertainty
An Efficient Agreement Mechanism in CapsNets by Pairwise Product
Unsupervised Ranking of Knowledge Bases for Named Entity Recognition
Tree Subsumption: Reasoning with Outlines
Local Image Descriptor Inspired by Visual Cortex
Capturing Word Order in Averaging Based Sentence Embeddings
Reasoning about Hand Prinited FORTRAN Programs
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect Information
Modal Logics for Communicating Rule-Based Agents
Artificial Agents - Personhood in Law and Philosophy
Turning Yahoo to Automatic Web-Page Classifier
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
Data Mining for Biodiversity Prediction in Forests
TAOTF: A Two-Stage Approximately Orthogonal Training Framework in Deep Neural Networks
Controlling Candidate-Sequential Elections
Hierarchical and Overlapping Co-Clustering of mRNA: miRNA Interactions
Collaborative Planning for Discourse (Abstract)
Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate Interdependence
On the revision of planning tasks
Prioritized Conflict Resolution for Default Reasoning
Circumscription by Inference Rules with Priority
Lexical Choice and the Organization of Lexical Resources in Text Generation
Foundations of Simulative Theorizing
MFC: A Multishot Approach to Federated Data Clustering
Fact Probability Vector Based Goal Recognition
Personal Experience Acquisition Support from Blogs using Event-Depicting Images
CEC: Comparative Analysis by Envisionment Construction
Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning
DITO: a CSP-based diagnostic engine
Connection Relations in Mereotopology
An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus
When Do Rule Changes Count - As Legal Rule Changes?
Non-elementary speed up for model checking synchronous perfect recall
A Troubleshooting Approach with Dependent Actions
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
Protocols for Consistency Checking in Expert System Knowledge Bases
Preserving the Privacy of Reward Functions in MDPs through Deception
Dramatization Meets Narrative Presentations
Managing Diversity in Knowledge
Continual Egocentric Object Recognition
Metaprogramming Forced Moves
Multiwinner Temporal Voting with Aversion to Change
Human Activity Recognition from Wearable Sensor Data Using Self-Attention
Inconsistency Handling in Datalog+/- Ontologies
Some Concepts on Analogic Planning in Assembly Tasks
Sequence Prediction Model for Aspect-Level Sentiment Classification
On Connected Strongly-Proportional Cake-Cutting
Designing Clustering Methods for Ontology Building - The Mo'K Workbench
A Critical-Shaking Neighbourhood Search for the Yard Allocation Problem
Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks
Symmetric Multi-Aspect Evaluation of Comments - Extended Abstract
Merge-and-Shrink Heuristics for SSPs with Prune Transformations
Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation
Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets
Robust Multi-Output Learning with Highly Incomplete Data via Restricted Boltzmann Machines
On Logical Foundations of the ATMS
Evaluating Explanation Methods for Vision-and-Language Navigation
Explaining Taxi Demand Prediction Models Based on Feature Importance
Self-Organizing Multiagent Approach to Optimization in Positioning Problems
A Conditional Logic for Iterated Belief Revision
Dialogue Games: A Process Model of Natural Language Interaction
Logics of Mental Attitudes in AI
Analysing Novices Programs in a Prolog Intelligent Teaching System
Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning
Preprocessing Hierarchical Planning Knowledge for Efficient Planning
ParkinsonCheck Smart Phone App
Compromises in Dialogical Argumentation: Aggregated Policies for Biparty Decision Theory
Collective Future Orientation and Stock Markets
Personalized Machine Learning Algorithm based on Shallow Network and Error Imputation Module for an Improved Blood Glucose Prediction
A New Algorithm For Generating Referential Descriptions
Deriving Textual Descriptions of Road Traffic Queues from Video Sequences
3D Solutions to the Aperture Problem
Adapting a Resolution Calculus for Inductive Proofs
Automatic Understanding with a Linguistically Based Knowledge Representation
A Joint Model for Sentiment-Aware Topic Detection on Social Media
TreeFlow: Going Beyond Tree-Based Parametric Probabilistic Regression
Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems
Collective Sensor Configuration in Uncharted Environments
Modeling Action, Knowledge and Control
Robust Monocular Depth Estimation in Adverse Weather Conditions by Unsupervised Domain Adaptation
Single-peaked consistency and its complexity
Game-Theoretic Agent Programming in Golog
Temporal Constraint Networks in Action
On the Computation of Contrastive Explanations for Boosted Regression Trees
Online Voter Control in Sequential Elections
Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice
Timed Automata Model to Improve the Classification of a Sequence of Images
Tests as Epistemic Updates
Natural Mitigation of Catastrophic Interference: Continual Learning in Power-Law Learning Environments
How Many Objects?: Determining the Number of Clusters with a Skewed Distribution
On the Role of Topology for Neural Network Interpretation
A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care Units
Computational Creativity: The Final Frontier?
What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability
Fixed-Parameter Tractable Optimization Under DNNF Constraints
Global Optimisation of Black-Box Functions with Generative Models in the Wasserstein Space
Concept Lattice and Soft Sets. Application to the Medical Image Analysis
New Measures of Inclusion Between Fuzzy Sets in Terms of the φ-Index of Inclusion
Job Shop Scheduling with Probabilistic Durations
The OhioT1DM Dataset for Blood Glucose Level Prediction: Update 2020
On Computing Explanations in Abstract Argumentation
Linguistic and Temporal Processing for Discovering Hospital Acquired Infection from Patient Records
GENEMASK: Fast Pretraining of Gene Sequences to Enable Few-Shot Learning
Representation and Control in Vision
Toward a Mathematical Theory of Analogical Reasoning
Multi-Agent Path Finding with Real Robot Dynamics and Interdependent Tasks for Automated Warehouses
SF-SER: An Efficient Speech-Only Model with Semantic Funnel for Speech Emotion Recognition
Strategic Path Planning Allowing on-the-Fly Updates
Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies
Towards the Standardization of Intelligent Design Assistants
Blame Attribution for Multi-Agent Path Finding Execution Failures
Parsing of Spoken Language under Time Constraints
Some Thoughts on the Present and Future of Explanation-Based Learning
On the Use of Target Sets for Move Selection in Multi-Agent Debates
A Comprehensive Sustainable Framework for Machine Learning and Artificial Intelligence
ArvandHerd: Parallel Planning with a Portfolio
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
Cross-Stage Transfer in Multi-Stage Cascade Ranking and Filtering Systems
An Ontology Based Visual Tool for Query Formulation Support
Knowledge Based Learning: Reducing the Description Space for Rule Learning
Online Evaluation of Tail Project Boosting in Citizen Science
Theoretical Proportion Label Perturbation for Learning from Label Proportions in Large Bags
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages
How Time Changes Assumptions
A Personalized and Interpretable Deep Learning Based Approach to Predict Blood Glucose Concentration in Type 1 Diabetes
STPDN: Spatio-Temporal Pattern Decomposition Network with Fluctuation Awareness for Robust Traffic Flow Forecasting
A Production Rule Account of Errors in Children's Subtraction
Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning
Identifying the Defective: Detecting Damaged Grains for Cereal Appearance Inspection
Story Ending Generation Using Commonsense Casual Reasoning and Graph Convolutional Networks
Quater-GCN: Enhancing 3D Human Pose Estimation with Orientation and Semi-Supervised Training
Budgeted Multi-Armed Bandit in Continuous Action Space
A High Performance Scheduler for an Automated Chemistry Workstation
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems
Default Logic for Action Rule-Based Systems
Multi-lag Stacking for Blood Glucose Level Prediction
A Refined Semantics for Disjunctive Logic Programs
Statistical Significance in Inductive Learning
Program Synthesis by Inductive Inference
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes
Attention U-Net Based Adversarial Architectures for Chest X-ray Lung Segmentation information
Neuro-Symbolic Procedural Semantics for Reasoning-Intensive Visual Dialogue Tasks
A Simple Algorithm for Learning Stable Machines
The Frame Shift Mechanism in Natural Language
Improving Bi-Objective Shortest Path Search with Early Pruning
Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms
Landmark-Based Plan Recognition
PA*: Optimal Path Planning for Perception Tasks
A constructive conditional logic for access control: a preliminary report
Revisiting Graph Contrastive Learning for Anomaly Detection
FMViT: A Multiple-Frequency Mixing Vision Transformer
Few-Shot Question Generation for Personalized Feedback in Intelligent Tutoring Systems
Advances in Class Noise Detection
Combining Bootstrapping and Feature Selection for Improving a Distributional Thesaurus
Robust Federated Learning Method Against Data and Model Poisoning Attacks with Heterogeneous Data Distribution
Using the Sugeno Integral in Optimal Assignment Problems with Qualitative Utilities
Dynamics in Abstract Argumentation Frameworks with Recursive Attack and Support Relations
Inferring (Mal) Rules from Pupil's Protocols
Explaining the Result of a Decision Tree to the End-User
Efficient Model-Stealing Attacks Against Inductive Graph Neural Networks
The Incompleteness of Planning with Volatile External Information
Propositional Abduction with Implicit Hitting Sets
On the Modeling of Context-Rules with WSML
Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Leveraging Human Prior Knowledge to Learn Sense Representations
Discovering Missing Background Knowledge in Ontology Matching
CAKE: A Computer-Aided Knowledge Engineering Technique
Dual Rejection Sampling for Wasserstein Auto-Encoders
An Abductive Characterization of the TMS
Mask-Encoded Sparsification: Mitigating Biased Gradients in Communication-Efficient Split Learning
Robot Free Will
Uncertainty-Guided Dual Task Framework for Semi-Supervised Segmentation of Thyroid Nodules
Few-Shot Object Detection with Instance Feature Generation and Hybrid Contrastive Learning
LRTA
Applying Artificial Intelligence to Data Analysis
Completeness and Soundness of the Connection Graph Proof
8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings
The Form and the Content: Non-Monotonic Reasoning with Syntactic Contextual Filtering
A Decomposition Technique for Max-CSP
Semantic Knowledge Model and Architecture for Agents in Discrete Environments
RPN: A Residual Pooling Network for Efficient Federated Learning
Institutionalised Paxos Consensus
A Graphical Approach to Qualitative Reasoning on Dynamic Systems
Emotional Trends in Social Media - A State Space Approach
Abstract Disjunctive Answer Set Solvers
Adaptive Symbiotic Collaboration for Targeted Complex Manipulation Tasks
On Decomposability and Interaction Functions
A Hybrid Genetic Algorithm for a Logic Problem
Temporal Reasoning with Abductive Logic Programming
Probabilistic Analysis of Local Search on Random Instances of Constraint Satisfaction
Aspect-Based Relational Sentiment Analysis Using a Stacked Neural Network Architecture
Boolean Negotiation Games
Propagation of Multiple Observations in QPNs Revisited
Enhancing Hybrid CP-SAT Search for Disjunctive Scheduling
Preference Extraction From Negotiation Dialogues
Learning Deterministic Automata on Infinite Words
Abstract Argumentation with Markov Networks
Parsing Languages with a Configurator
ANTIDOTE: ArgumeNtaTIon-Driven explainable artificial intelligence fOr digiTal mEdicine
Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver
CAPJA - A Connector Architecture for Prolog and Java
Bridging the Transparency Gap: What Can Explainable AI Learn from the AI Act?
Distributed Log-Based Reconciliation
How Hard is Control in Single-Crossing Elections?
An Experiment Towards More Efficient Automatic Translation
Ontology Verification Using Contexts
Heuristics for Link Prediction in Multiplex Networks
Evolutionary Reinforcement Learning via Cooperative Coevolution
Planning to be Healthy: Towards Personalized Medication Planning
Type Checking in Open-Domain Question Answering
Multi-Agent Reinforcement Learning for Alternating-Time Logic
Explicit Negation in Linear-Dynamic Equilibrium Logic
Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression Data
Exploration and Exploitation in Hierarchical Reinforcement Learning with Adaptive Scheduling
Well Founded Semantics for Logic Programs with Explicit Negation
Induction and Revision of Terminologies
A Fault-model-based Debugging Aid for Data Warehouse Applications
Cheating Is Not Playing: Methodological Issues of Computational Game Theory
Design Choices for a World-Modelling System
Harmonic Recurrent Process for Time Series Forecasting
Sentinel: An Aggregation Function to Secure Decentralized Federated Learning
Security Oracle Based on Tree Kernel Methods
Diagnosis of Simple Temporal Networks
VANER: Leveraging Large Language Model for Versatile and Adaptive Biomedical Named Entity Recognition
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 Go
An Analysis of Bayesian Network Model-Approximation Techniques
Approximate Estimation of High-Dimension Execution Skill for Dynamic Agents in Continuous Domains
What Model Does MuZero Learn?
Conflict Solving in a Frame-Like Multiple Inheritance System
Approximate Model-Based Shielding for Safe Reinforcement Learning
A Logic for Representing Grammatical Knowledge
Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems
A Bayesian Optimization Framework for Finding Local Optima in Expensive Multimodal Functions
Classifying the Classifier: Dissecting the Weight Space of Neural Networks
Piecewise-Stationary Combinatorial Semi-Bandit with Causally Related Rewards
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
Using Self-Supervised Dual Constraint Contrastive Learning for Cross-Modal Retrieval
On Observability Analysis in Multiagent Systems
An Empirical Study of Grounding PPDDL Plans for AI-Driven Robots in Social Environment
Inconsistency resolution and global conflicts
Systems of Communicating Agents
What Wikipedia Misses About Yuriko Nakamura? Predicting Missing Biography Content by Learning Latent Life Patterns
CAFIN: Centrality Aware Fairness Inducing IN-Processing for Unsupervised Representation Learning on Graphs
Notions of Attack and Justified Arguments for Extended Logic Programs
Representing Relative Direction as a Binary Relation of Oriented Points
A Hybrid and Connectionist Architecture for a Scanning Understanding
Step-Wise Explanations of Constraint Satisfaction Problems
Spatially Constrained Transformer with Efficient Global Relation Modelling for Spatio-Temporal Prediction
Data Set Editing by Ordered Projection
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Characterizations of Network Auctions and Generalizations of VCG
Abductive Logic Programming in the Clinical Management of HIV/AIDS
Optimizing the Presentation of Modal Natural Deduction Proofs
Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
Mean Field Approximation of the Policy Iteration Algorithm for Graph-Based Markov Decision Processes
A Default Logic Based Framework for Argumentation
A Demonstration of AI Personalized Interactive Fiction for Young Children
Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment
Estimation of Errors Rates for FCA-based Knowledge Discovery
Neural Networks in Evolutionary Dynamic Constrained Optimization: Computational Cost and Benefits
Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures
Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability
Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic
TransSketchNet: Attention-Based Sketch Recognition Using Transformers
Transmission Expansion Planning Based on Tabu Search Algorithm
The Importance of Eco-Commerce in the Context of Sustainable Development: A Case Study Analysis
A New MDL-Based Function for Feature Selection for Bayesian Network Classifiers
Adversarial Attack for Explanation Robustness of Rationalization Models
On Labelling Statements in Multi-Labelling Argumentation
Uncorrelated Multilinear Nearest Feature Line Analysis