yusuke1997/dblp-id-title huggingface dataset:
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
Learning Using Unselected Features (LUFe)
Applying machine learning to anaphora resolution
Efficient Resource Allocation for Protecting Coral Reef Ecosystems
Fair Allocation of Indivisible Goods and Chores
Federated Multi-view Graph Clustering with Incomplete Attribute Imputation
Import-by-Query: Ontology Reasoning under Access Limitations
Heterogeneous Graph Matching Networks for Unknown Malware Detection
A Knowledge-Based System for Automatic Program Construction
Accurate Integration of Crowdsourced Labels Using Workers' Self-reported Confidence Scores
State Variable Effects in Graphical Event Models
Summation of Decision Trees
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
General Incomplete Time Series Analysis via Patch Dropping Without Imputation
Reinforced In-Context Black-Box Optimization
Generalized Connectionist Associative Memory
A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications
Commitment Strategies in Planning: A Comparative Analysis
Displaying Justifications for Collective Decisions
Brain-Controlled Robotic Arm Based on Adaptive FBCCA
Grammars as User Models
Cap-and-Trade Emissions Regulation: A Strategic Analysis
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
Representing Space for Practical Reasoning
Optimal Anonymous Independent Reward Scheme Design
Artificial Intelligence for Knowledge Management - 5th IFIP WG 12.6 International Workshop, AI4KM 2017, Held at IJCAI 2017, Melbourne, VIC, Australia, August 20, 2017, Revised Selected Papers
An Automatically Compilable Recognition Network For Structured Patterns
Harnessing Neighborhood Modeling and Asymmetry Preservation for Digraph Representation Learning
A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees
Extending Classical Planning to Real-World Execution with Machine Learning
Hierarchical Instance Feature Alignment for 2D Image-Based 3D Shape Retrieval
Modeling The Interplay of People's Location, Interactions, and Social Ties
A Random Access Picture Digitizer, Display, and Memory System
Learning Neural Jump Stochastic Differential Equations with Latent Graph for Multivariate Temporal Point Processes
Implementing feedback in creative systems: a workshop approach
Going Far, Logically
On Optimal Strategies for Wordle and General Guessing Games
Joint Learning of Character and Word Embeddings
Repairing Incorrect Knowledge with Model Formulation and Metareasoning
A Machine Learning Approach for Statistical Software Testing
Posistive-Unlabeled Learning via Optimal Transport and Margin Distribution
Monitoring of a Dynamic System Based on Autoencoders
Algorithms for Learning Logical Formulas
Context-aware Cross-level Fusion Network for Camouflaged Object Detection
Salient Object Detection via Augmented Hypotheses
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
Verbalization: Narration of Autonomous Robot Experience
Learnability of Competitive Threshold Models
Finite Model Reasoning in Hybrid Classes of Existential Rules
Continual Semantic Segmentation Leveraging Image-level Labels and Rehearsal
Layer-Assisted Neural Topic Modeling over Document Networks
Reactive Integrated Motion Planning and Execution
Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms
Kernel-Based Selective Ensemble Learning for Streams of Trees
Validating Concepts from Automated Acquisition Systems
A Network-Based Knowledge Representation and Its Natural Deduction System
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models
Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income
Strategy-Architecture Synergy: A Multi-View Graph Contrastive Paradigm for Consistent Representations
Use of Off-line Dynamic Programming for Efficient Image Interpretation
Player Movement Models for Video Game Level Generation
Pseudo-spherical Knowledge Distillation
Learning Sound Events from Webly Labeled Data
GarmentDiffusion: 3D Garment Sewing Pattern Generation with Multimodal Diffusion Transformers
A^3NCF: An Adaptive Aspect Attention Model for Rating Prediction
Acceptability Semantics for Weighted Argumentation Frameworks
Deep Reinforcement Learning for Efficient and Fair Allocation of Healthcare Resources
Plain Talk about Neurodevelopmental Epistemology
A Degeneracy Framework for Graph Similarity
A Computer Model of Child Language Acquisition
Equilibria Under the Probabilistic Serial Rule
A Streaming End-to-End Framework For Spoken Language Understanding
Successor Options: An Option Discovery Framework for Reinforcement Learning
Mask Does Not Matter: A Unified Latent Diffusion-Enhanced Framework for Mask-Free Virtual Try-On
Model Predictive Control with Reach-avoid Analysis
Transactional Blackboards
GreenPLM: Cross-Lingual Transfer of Monolingual Pre-Trained Language Models at Almost No Cost
Efficiency and Equilibrium in Task Allocation Economies with Hierarchical Dependencies
Relation-enhanced DETR for Component Detection in Graphic Design Reverse Engineering
A Coarse-to-Fine Fusion Network for Event-Based Image Deblurring
Normative Practical Reasoning: An Argumentation-Based Approach
Exploring Life Sciences Data Sources
Efficient Budgeted Graph Search
Fuzzy Dynamic Systems
Semi-Markov Reinforcement Learning for Stochastic Resource Collection
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract)
Solving Strong-Fault Diagnostic Models by Model Relaxation
Extending Sliding-Step Importance Weighting from Supervised Learning to Reinforcement Learning
PCVAE: Generating Prior Context for Dialogue Response Generation
An Abductive Framework for General Logic Programs and other Nonmonotonic Systems
Opinion Maximization in Social Trust Networks
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract)
Parallel Inference Machines (Panel)
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending
Proceedings of the Ninth International Workshop on Agents in Traffic and Transportation (ATT 2016) co-located with the 25th International Joint Conference On Artificial Intelligence (IJCAI 2016), New York, USA, July 10, 2016
Context Aware Knowledge Zoning: Traceability and Business Emails
Fast Network Embedding Enhancement via High Order Proximity Approximation
Ordering Concepts Based on Common Attribute Intensity
Fault-Tolerant Planning under Uncertainty
A Structural Method of Scene Analysis
MaskDGNN: Self-Supervised Dynamic Graph Neural Networks with Activeness-aware Temporal Masking
Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods
A Case for Validation Buffer in Pessimistic Actor-Critic
Adversarial Task Assignment
Grounding the Meaning of Words through Vision and Interactive Gameplay
Theoretical Basis for a Knowledge Representation System
Relational Learning for NLP using Linear Threshold Elements
A Linguistics Oriented Programming Language
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection
Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization
Spectral Kernel Learning for Semi-Supervised Classification
Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search
Celebrity Recommendation with Collaborative Social Topic Regression
MESH-Based Active Monte Carlo Recognition (MESH-AMCR)
A Formal Theory of Optimal Learning with Experimental Results
Sparse Constraint Graphs and Exceptionally Hard Problems
Hierarchical Description of Textures
Exploration by Distributional Reinforcement Learning
Logarithmic Approximations for Fair k-Set Selection
Context-Driven Predictions
DGL: Dynamic Global-Local Information Aggregation for Scalable VRP Generalization with Self-Improvement Learning
Metareasoning for Planning Under Uncertainty
A Maximal Tractable Class of Soft Constraints
Flaws of Termination and Optimality in ADOPT-based Algorithms
Oversearching and Layered Search in Empirical Learning
DropNAS: Grouped Operation Dropout for Differentiable Architecture Search
Bridging the Gap: Learning Pace Synchronization for Open-World Semi-Supervised Learning
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols
Computer Simulation of Articulatory Activity in Speech Production
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks
Neutral Utterances are Also Causes: Enhancing Conversational Causal Emotion Entailment with Social Commonsense Knowledge
An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods
Learning Multiple Maps from Conditional Ordinal Triplets
A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs
Knowing More - From Global to Local Correspondence
LSGNN: Towards General Graph Neural Network in Node Classification by Local Similarity
Dynamic SAT with Decision Change Costs: Formalization and Solutions
Artificial Intelligence for Knowledge Management - 4th IFIP WG 12.6 International Workshop, AI4KM 2016, Held at IJCAI 2016, New York, NY, USA, July 9, 2016, Revised Selected Papers
Expanding the Utility of Semantic Networks Through Partitioning
A Model for Control Structures for Artificial Intelligence Programming Languages
Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration
Improving Search Using Indexing: A Study with Temporal CSPs
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks
Scalable Gaussian Process Regression Networks
Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information
Graph-Based Semi-Supervised Learning as a Generative Model
Statistical Relational Learning - A Logical Approach (Abstract of Invited Talk)
Constraint Reasoning Based on Interval Arithmetic
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
A Structural Approach to Activity Selection
On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling
CoDiCast: Conditional Diffusion Model for Global Weather Forecasting with Uncertainty Quantification
Decentralized Anomaly Detection in Cooperative Multi-Agent Reinforcement Learning
Backdoors To Typical Case Complexity
An Introduction to String Re-Writing Kernel
Congestion Games with Polytopal Strategy Spaces
Ex-post IR Dynamic Auctions with Cost-per-Action Payments
Intelligent Agent for Assessing and Guiding Rehabilitation Exercises
Model Expert System MES
Smoothing Method for Approximate Extensive-Form Perfect Equilibrium
Planning with Qualitative Action-Trajectory Constraints in PDDL
Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments
Gaussianity Measures for Detecting the Direction of Causal Time Series
Bipartite Graph for Topic Extraction
Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual Queues
Incorporating Generalization Heuristics into Verification of Prolog Programs
Multi-Organizational Scheduling: Individual Rationality, Optimality, and Complexity
Refinement of Utterance Database and Concatenation of Utterances for Enhancing System Utterances in Chat-oriented Dialogue System
Did You Know? - Mining Interesting Trivia for Entities from Wikipedia
Evolvable Hardware for Generalized Neural Networks
Multi-Directional Heuristic Search
Transformers in Time Series: A Survey
The Role Of Hypothesis in Medical Diagnosis
Finite-Time Analysis of Heterogeneous Federated Temporal Difference Learning
An Approach to Quantify Plans Robustness in Real-world Applications
Attributed Graph Clustering: A Deep Attentional Embedding Approach
Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies
Generality and Computational Cost
Quantifying information and contradiction in propositional logic through test actions
An Augmented State Transition Network Analysis Procedure
Learning Portable Symbolic Representations
Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering
Exploiting Mutual Information for Substructure-aware Graph Representation Learning
Universal Backdoor Defense via Label Consistency in Vertical Federated Learning
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base
Multiresolution Instance-Based Learning
Learning Qualitative Spatial Relations for Robotic Navigation
AdvGrasp: Adversarial Attacks on Robotic Grasping from a Physical Perspective
Revisiting Proportional Allocation with Subsidy: Simplification and Improvements
Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature
The Logic of Inheritance in Frame Systems
Exchanging OWL 2 QL Knowledge Bases
Multi-View Visual Semantic Embedding
Explaining Preferences by Multiple Patterns in Voters' Behavior
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games
Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data
Learning Large Logic Programs By Going Beyond Entailment
Fast Unpaired Multi-view Clustering
Interpretable Recommendation via Attraction Modeling: Learning Multilevel Attractiveness over Multimodal Movie Contents
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
Backdoors to Tractable Answer-Set Programming
Asynchronous Multi-grained Graph Network For Interpretable Multi-hop Reading Comprehension
A Fast Dual Projected Newton Method for l 1 -Regularized Least Squares
The Effect of Noise on Visual Pattern Recognition
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions
Semi-supervised Domain Adaptation via Prototype-based Multi-level Learning
Fact Checking via Evidence Patterns
Collaboration and Shared Plans in the Open World: Studies of Ridesharing
Engineering Graph Features via Network Functional Blocks
Epistemic Extension of Propositional Preference Logics
ContextCare: Incorporating Contextual Information Networks to Representation Learning on Medical Forum Data
Temporal Network Creation Games
Reachability Analysis of Deep Neural Networks with Provable Guarantees
A Simple Formalization of Actions Using Circumscription
Improving Topic Evaluation Using Conceptual Knowledge
A Logic of General Attention Using Edge-Conditioned Event Models
Secure Routing in Wireless Sensor Networks via POMDPs
Multiple Representations of Knowledge in a Mechanics Problem-Solver
Comixify: turning videos into comics
ETHER - A Parallel Problem Solving System
ID-RemovalNet: Identity Removal Network for EEG Privacy Protection with Enhancing Decoding Tasks
Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks
Tree-of-AdEditor: Heuristic Tree Reasoning for Automated Video Advertisement Editing with Large Language Model
Revenue Maximization Envy-Free Pricing for Homogeneous Resources
Global Structure and Local Semantics-Preserved Embeddings for Entity Alignment
EAB-FL: Exacerbating Algorithmic Bias through Model Poisoning Attacks in Federated Learning
Chinese Poetry Generation with a Working Memory Model
Measuring Data Leakage in Machine-Learning Models with Fisher Information (Extended Abstract)
A BCI Speller with 120 Commands Encoded by Hybrid P300 and SSVEP Features
Heterogeneous Causal Metapath Graph Neural Network for Gene-Microbe-Disease Association Prediction
Self-weighted Multiple Kernel Learning for Graph-based Clustering and Semi-supervised Classification
Heterogeneous Temporal Hypergraph Neural Network
Qualitative Map Learning Based on Co-visibility of Objects
An Introduction to Non-Monotonic Logic
Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning
SwiftThief: Enhancing Query Efficiency of Model Stealing by Contrastive Learning
Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning
On Reading Sketch Maps
Generalized Majorization-Minimization for Non-Convex Optimization
Improving Question Retrieval in Community Question Answering Using World Knowledge
Pareto-Based Multiobjective AI Planning
Applying Max-Sum to Asymmetric Distributed Constraint Optimization
Grammar Induction as Automated Transformation between Constraint Solving Models of Language
Agent Failures in All-Pay Auctions
Verifying Normative Behaviour via Normative Mechanism Design
An Environment Model for the Integration of Logic and Functional Programming
Intuitively estimating the healthiness of meals from their images: image-based meal rating system to encourage self-management of diabetes
Generating Person Images with Appearance-aware Pose Stylizer
CARD: Semi-supervised Semantic Segmentation via Class-agnostic Relation based Denoising
Extracting Action Sequences from Texts Based on Deep Reinforcement Learning
Self-Promoted Clustering-based Contrastive Learning for Brain Networks Pretraining
Brute Force Works Best Against Bullying
Path Integral Control by Reproducing Kernel Hilbert Space Embedding
Unifying the Stochastic and the Adversarial Bandits with Knapsack
Beyond the Map: Learning to Navigate Unseen Urban Dynamics Using Diffusion-Guided Deep Reinforcement Learning
Combining Eye Movements and EEG to Enhance Emotion Recognition
Sound2Synth: Interpreting Sound via FM Synthesizer Parameters Estimation
Pairwise Decomposition for Combinatorial Optimization in Graphical Models
A Framework for Representing Tutorial Discourse
Automated Essay Scoring Using Discourse External Knowledge
Focus of Control Through Goal Relationships
Semi-Supervised Structuring of Complex Data
Stochastic Planning in Large Search Spaces
Uncovering the Largest Community in Social Networks at Scale
The Challenge of Neural Darwinism
A Note on Knowledge Management Education: Towards Implementing Active Learning Methods
Human Brain and Artificial Intelligence - Third International Workshop, HBAI 2022, Held in Conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022, Revised Selected Papers
What If We Could Not See? Counterfactual Analysis for Egocentric Action Anticipation
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants
Control Globally, Understand Locally: A Global-to-Local Hierarchical Graph Network for Emotional Support Conversation
Proportion-based Sensitivity Analysis of Uncontrolled Confounding Bias in Causal Inference
Within the Letter of the Law: Open-Textured Planning
Specifying and Testing k-Safety Properties for Machine-Learning Models
Boosting for Comparison-Based Learning
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems
OI-implication: Soundness and Refutation Completeness
Learning HTN Method Preconditions and Action Models from Partial Observations
Salient Object Detection with Semantic Priors
Simultaneous Segmentation and Recognition of Gestures for Human-Machine Interaction
Learning Deep Decentralized Policy Network by Collective Rewards for Real-Time Combat Game
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback
Inference of Human Spatiotemporal Mobility in Greater Maputo by Mobile Phone Big Data Mining
CD^2: Constrained Dataset Distillation for Few-Shot Class-Incremental Learning
Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study
Multiagent Coordination by Stochastic Cellular Automata
On the Impact of Belief State Representation in Planning under Uncertainty
Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges
Problem Structure And Problem Solving Behavior
Neural Executive Attentional Control in Robots
Detecting Changes in Unlabeled Data Streams Using Martingale
Characterizing Belief with Minimum Commitment
An Improved Di-Directional Heuristic Search Algorithm
Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique
A Comprehensive Survey on Graph Reduction: Sparsification, Coarsening, and Condensation
Amalgams of Constraint Satisfaction Problems
Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation
Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR
Disentangled Face Attribute Editing via Instance-Aware Latent Space Search
Diversity-Aware Reinforcement Learning for de novo Drug Design
Generalizing Envy-Freeness toward Group of Agents
Non-Negative Multiple Matrix Factorization
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving
Extending a Knowledge-Based System to Deal with Ad Hoc Constraints
Multi-Modal Point Cloud Completion with Interleaved Attention Enhanced Transformer
A Semantically Guided Deductive System for Automatic Theorem-Proving
Local Consistency for Ternary Numeric Constraints
VCformer: Variable Correlation Transformer with Inherent Lagged Correlation for Multivariate Time Series Forecasting
Learning to Walk through Imitation
Unsupervised Anomaly Detection
Experimental Japanese Language Question Answering System MSSS78 - Using Case Patterns with Procedures
Deexaggeration
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems
Vivid Knowledge and Tractable Reasoning
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size
LLM-enhanced Score Function Evolution for Causal Structure Learning
Continuous Time Planning for Multiagent Teams with Temporal Constraints
AWA* - A Window Constrained Anytime Heuristic Search Algorithm
Exploring Urban Semantics: A Multimodal Model for POI Semantic Annotation with Street View Images and Place Names
Reasoning about Typicality in Low Complexity DLs: The Logics EL ⊥ T min and DL-Lite c T min
A Joint Learning Approach to Intelligent Job Interview Assessment
High-resource Language-specific Training for Multilingual Neural Machine Translation
Enhancing Crowdworkers' Vigilance
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions
Strategyproof and Fair Matching Mechanism for Union of Symmetric M-convex Constraints
Hierarchical Multi-Scale Gaussian Transformer for Stock Movement Prediction
Are Logistic Models Really Interpretable?
Online Bayesian Max-Margin Subspace Multi-View Learning
Exemplar Guided Neural Dialogue Generation
Combining Classification and Transduction for Value Prediction in Speculative Plan Execution
Reconstructive Explanation: Explanation as Complex Problem Solving
From Pink and Blue to a Rainbow Hue! Defying Gender Bias through Gender Neutralizing Text Transformations
Joint Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments and Workshop on Semantic Cities, AIIP/Semantic Cities@IJCAI 2013, Beijing, China, August 4-5, 2013
Multi-Task Clustering with Model Relation Learning
SCOUT: Semi-supervised Camouflaged Object Detection by Utilizing Text and Adaptive Data Selection
High-Resolution and Arbitrary-Sized Chinese Landscape Painting Creation Based on Generative Adversarial Networks
Experience with KRL-0: One Cycle of a Knowledge Representation Language
Rating AI Models for Robustness Through a Causal Lens
Constraints in a Hybrid Knowledge Representation System
Qualitative Outline Theory
Fuzzy Reinforcement Learning and Dynamic Programming
Bidirectional Human-AI Collaboration for Equitable Student Performance Prediction via Deep Uncertainty Learning
Deep Linear Coding for Fast Graph Clustering
Non-smooth Optimization over Stiefel Manifolds with Applications to Dimensionality Reduction and Graph Clustering
What's in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions
Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis
Search Strategies for the Task of Organic Chemical Synthesis
OSS: A Semantic Similarity Function based on Hierarchical Ontologies