yusuke1997/dblp-id-title huggingface dataset:
Semiotic Models in Artificial Intelligence Problems
Conversational Inequality Through the Lens of Political Interruption
A Parallel Blackboard System for Robot Control
Degradation Accordant Plug-and-Play for Low-Rank Tensor Completion
GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints
A Concept of Self-Supervised Logical Rule Inference in Symbolic Classifications
An Epistemic Halpern-Shoham Logic
Acquisition Of Moving Objects And Hand-Eye Coordination
Fast and Differentially Private Fair Clustering
Measuring the Likelihood of Numerical Constraints
Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model
CMACE: CMAES-based Counterfactual Explanations for Black-box Models
Time-Constrained Participatory Budgeting Under Uncertain Project Costs
Few-shot Visual Learning with Contextual Memory and Fine-grained Calibration
An Information Theoretic Approach for Ontology-based Interest Matching
Semi-Universal Portfolios with Transaction Costs
On Learning Sets of Symmetric Elements (Extended Abstract)
A multi-task learning approach for meal assessment
User-initiated context switching using NFC
Strengthening Layer Interaction via Dynamic Layer Attention
Memory-Based Heuristics for Explicit State Spaces
Improvements to the Generate-and-Complete Approach to Conformant Planning
A Comparison of ATMS and CSP Techniques
c-TPE: Tree-structured Parzen Estimator with Inequality Constraints for Expensive Hyperparameter Optimization
Enhancing Sampling Protocol for Point Cloud Classification Against Corruptions
Replanning in Domains with Partial Information and Sensing Actions
Keeping Your Friends Close: Land Allocation with Friends
Stochastic Online Anomaly Analysis for Streaming Time Series
Advances and Challenges in Privacy Preserving Planning
GCTAM: Global and Contextual Truncated Affinity Combined Maximization Model For Unsupervised Graph Anomaly Detection
A Formal Approach to Learning From Examples
On Random Quotas and Proportional Representation in Weighted Voting Games
Semantic Linking Maps for Active Visual Object Search (Extended Abstract)
Nonmyopic Adaptive Informative Path Planning for Multiple Robots
Analysing the Heterogeneity of Rule-Based EHR Phenotyping Algorithms in CALIBER and the UK Biobank
On 3D Reconstruction from Two Perspective Views
Some Might Say All You Need Is Sum
Positive and Unlabeled Learning with Label Disambiguation
Proceedings of the Linguistic and Cognitive Approaches To Dialog Agents Workshop co-located with the 26th International Joint Conference on Artificial Intelligence, LaCATODA@IJCAI 2017, Melbourne, Australia, August 21, 2017
The Logic Behind Weighted CSP
Counterplanning using Goal Recognition and Landmarks
Robust Norm Emergence by Revealing and Reasoning about Context: Socially Intelligent Agents for Enhancing Privacy
Interpretable Multimodal Learning for Intelligent Regulation in Online Payment Systems
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract)
Diffusion Mask-Driven Visual-language Tracking
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
Data Mining a Trillion Time Series Subsequences Under Dynamic Time Warping
Counterexample-Guided Data Augmentation
What Does the Evidence Say? Models to Help Make Sense of the Biomedical Literature
Structure-Preserving Physics-Informed Neural Networks with Energy or Lyapunov Structure
Implementing a Model of Human Plausible Reasoning
Knowledge Hypergraphs: Prediction Beyond Binary Relations
Expressive Reasoning about Action in Nondeterministic Polynomial Time
Short-Term Wind Power Forecasting Using Gaussian Processes
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
Mixture-of-Queries Transformer: Camouflaged Instance Segmentation via Queries Cooperation and Frequency Enhancement
Controlling Inference in Story Understanding
The Parameterized Complexity of Motion Planning for Snake-Like Robots
Towards Understanding the Invertibility of Convolutional Neural Networks
Revisiting Output Coding for Sequential Supervised Learning
RLTM: An Efficient Neural IR Framework for Long Documents
Learning from Partial Observations
Possibilistic Logic Underlies Abstract Dialectical Frameworks
Towards Controlling the Transmission of Diseases: Continuous Exposure Discovery over Massive-Scale Moving Objects
The Role of Chess in Artificial Intelligence Research
Knowledge Compilation Properties of Trees-of-BDDs, Revisited
Sketched Iterative Algorithms for Structured Generalized Linear Models
RoLocMe: A Robust Multi-agent Source Localization System with Learning-based Map Estimation
Bi-level Probabilistic Feature Learning for Deformable Image Registration
Bicluster phenotyping of healthcare providers, procedures, and prescriptions at scale with deep learning
MVP-CBM: Multi-layer Visual Preference-enhanced Concept Bottleneck Model for Explainable Medical Image Classification
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
Soft Threshold Ternary Networks
CSRL: A Language for Expert Systems for Diagnosis
Incomplete Multi-View Weak-Label Learning
A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs
Formalisation and Evaluation of Properties for Consequentialist Machine Ethics
An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines
Learning CNF Theories Using MDL and Predicate Invention
Semantics for a useful fragment of the situation calculus
DARec: Deep Domain Adaptation for Cross-Domain Recommendation via Transferring Rating Patterns
Iterative Entity Alignment via Joint Knowledge Embeddings
Modal Consistency based Pre-Trained Multi-Model Reuse
Hardware-Aware Neural Architecture Search: Survey and Taxonomy
Automated Reasoning: Real Uses and Potential Uses
Individual Causal Structure Learning from Population Data
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover
Multivariate Times Series Classification Using Multichannel CNN
Semantic Networks as Abstract Data Types
Deep Optical Flow Estimation Via Multi-Scale Correspondence Structure Learning
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985
ACE: An Expert System for Telephone Cable Maintenance
Possibility Theory, Belief Revision and Nonmonotonic Logic
Relational Decomposition for Program Synthesis
Monotone-Value Neural Networks: Exploiting Preference Monotonicity in Combinatorial Assignment
Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, Held on July 31, 1999 in conjunction with the Sixteenth International Joint Conference on Artificial Intelligence City Conference Center, Stockholm, Sweden
Federated Model Distillation with Noise-Free Differential Privacy
UltraModel: A Modeling Paradigm for Industrial Objects
Story Ending Prediction by Transferable BERT
Constraint-Based Symmetry Detection in General Game Playing
Dynamic Graph Learning Based on Hierarchical Memory for Origin-Destination Demand Prediction
A Perspective on Knowledge Compilation
Towards a Science of Image Understanding
Re-Ranking Voting-Based Answers by Discarding User Behavior Biases
Intelligent Multimodal Stream Processing
Russian Doll Search with Tree Decomposition
Learning Domain Differences Automatically for Dependency Parsing Adaptation
NovPhy: A Physical Reasoning Benchmark for Open-World AI Systems Author Links Open Overlay Panel (Abstract Reprint)
Deep Hashing-based Dynamic Stock Correlation Estimation via Normalizing Flow
Debate Outcome Prediction using Automatic Persuasiveness Evaluation and Counterargument Relations
Bayesian Probabilities for Constraint-Based Causal Discovery
Network Schema Preserving Heterogeneous Information Network Embedding
Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems
From Optimization to Generalization: Fair Federated Learning against Quality Shift via Inter-Client Sharpness Matching
Responsible Computers?
Dynamic Group Transformer: A General Vision Transformer Backbone with Dynamic Group Attention
Two Perspectives on Change and Institutions
Differentially Private Pairwise Learning Revisited
Causes and Explanations: A Structural-Model Approach - Part II: Explanations
Learning and Inference over Constrained Output
Using and Re-Using Partial Plans
DiffAR: Adaptive Conditional Diffusion Model for Temporal-augmented Human Activity Recognition
Common Architectures for Databases and Knowledge-Based Systems
Active Multimodal Distillation for Few-shot Action Recognition
Densely Connected Attention Flow for Visual Question Answering
The Automatic Synthesis of Systems of Recursive Programs
Reconstruction Enhanced Multi-View Contrastive Learning for Anomaly Detection on Attributed Networks
Space-Efficient Inference in Dynamic Probabilistic Networks
Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems
Combinatorial Pure Exploration with Continuous and Separable Reward Functions and Its Applications
Imperfect Querying through Womb Grammars plus Ontologies
Learning SMT(LRA) Constraints using SMT Solvers
Robust Misinformation Detection by Visiting Potential Commonsense Conflict
Interpreting Pictures of Polyhedral Scenes
Self-Knowledge and Self-Representation
Dite-HRNet: Dynamic Lightweight High-Resolution Network for Human Pose Estimation
Logic Modelling of Cognitive Reasoning
HGEN: Heterogeneous Graph Ensemble Networks
Hierarchical Attention Based Spatial-Temporal Graph-to-Sequence Learning for Grounded Video Description
Neural Networks for Predicting Algorithm Runtime Distributions
Computer Game Playing
KoGuN: Accelerating Deep Reinforcement Learning via Integrating Human Suboptimal Knowledge
Talking with a Robot in English
Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks
Revealing Concept Shift in Spatio-Temporal Graphs via State Learning
Visible Thermal Person Re-Identification via Dual-Constrained Top-Ranking
Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri
Metapath and Hypergraph Structure-based Multi-Channel Graph Contrastive Learning for Student Performance Prediction
Active Mobile Robot Localization
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination
Domain-Hierarchy Adaptation via Chain of Iterative Reasoning for Few-shot Hierarchical Text Classification
Heuristics In The Alloy Designing
MAT: A Multimodal Attentive Translator for Image Captioning
Envy-Free Sponsored Search Auctions with Budgets
Hashtag2Vec: Learning Hashtag Representation with Relational Hierarchical Embedding Model
Constrained Preferential Bayesian Optimization and Its Application in Banner Ad Design
Reliable and Diverse Hierarchical Adapter for Zero-shot Video Classification
Local Search Topology in Planning Benchmarks: An Empirical Analysis
Bounded Memory Adversarial Bandits with Composite Anonymous Delayed Feedback
An Approach to Cooperation in General-Sum Normal Form Games
Picking Sequences and Monotonicity in Weighted Fair Division
Artificial Intelligence Conferences Closeness
Negative Human Rights as a Basis for Long-term AI Safety and Regulation (Abstract Reprint)
IKUM: An Integrated Web Personalization Platform Based on Content Structures and User Behavior
Distributed Autoepistemic Logic and its Application to Access Control
Obtaining High-Quality Label by Distinguishing between Easy and Hard Items in Crowdsourcing
Stochastic Density Ratio Estimation and Its Application to Feature Selection
Linear-Time Optimal Deadlock Detection for Efficient Scheduling in Multi-Track Railway Networks
GIDnets: Generative Neural Networks for Solving Inverse Design Problems via Latent Space Exploration
LLM-based Multi-Level Knowledge Generation for Few-shot Knowledge Graph Completion
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions
Modeling Multi-Purpose Sessions for Next-Item Recommendations via Mixture-Channel Purpose Routing Networks
Human-Robot Alignment through Interactivity and Interpretability: Don't Assume a "Spherical Human"
On Solution Correspondences in Answer-Set Programming
Dealing with Perception Errors in Multi-Robot System Coordination
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, MA, USA, August 22-25, 1977
SAFE: Structured Argumentation for Fact-checking with Explanations
Use of Procedural Knowledge for Automatic Speech Recognition
Semantic Single Video Segmentation with Robust Graph Representation
Boundary Conditions in Multiple Intrinsic Images
Neural Fictitious Self-Play in Imperfect Information Games with Many Players
Cumulative Stay-time Representation for Electronic Health Records in Medical Event Time Prediction
DECASTE: Unveiling Caste Stereotypes in Large Language Models Through Multi-Dimensional Bias Analysis
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data
BAMBOO: A Multi-instance Multi-label Approach Towards VDI User Logon Behavior Modeling
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning
TGNN: A Joint Semi-supervised Framework for Graph-level Classification
Knowledge-enhanced Hierarchical Attention for Community Question Answering with Multi-task and Adaptive Learning
Sequential Recommender System based on Hierarchical Attention Networks
A Variable Capacitance Touch Sensor
Automatic Abstracting of Textual Material
Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019
Explainable Recommendation via Interpretable Feature Mapping and Evaluation of Explainability
AI and Legal Reasoning
ProbAnch: a Modular Probabilistic Anchoring Framework
Visualizing Emotional States: A Method Based on Human Brain Activity
Economic Causal-Chain Search Using Text Mining Technology
Resolution in a New Modal Logic
Learning Coated Adversarial Camouflages for Object Detectors
Inductive Learning of Categories from Examples Using Minimum Cost Representations
A Formal Description for Two-Dimensional Patterns
Control Issues in Classificatory Diagnosis
Priority Guided Explanation for Knowledge Tracing with Dual Ranking and Similarity Consistency
Fast Multi-label Learning
Computationally Efficient Optimization of Plackett-Luce Ranking Models for Relevance and Fairness (Extended Abstract)
Learning Feature Engineering for Classification
Non-I.I.D. Multi-Instance Learning for Predicting Instance and Bag Labels with Variational Auto-Encoder
Rainy WCity: A Real Rainfall Dataset with Diverse Conditions for Semantic Driving Scene Understanding
3-D Inference From the Motion Parallax of a Conic Arc and a Point in Two Perspective Views
Understanding Spoken Natural Language with Omni-Directional Information Flow
Cognitive Modelling for Predicting Examinee Performance
Interpretable Network Visualizations: A Human-in-the-Loop Approach for Post-hoc Explainability of CNN-based Image Classification
Heterogeneous Graph Transformer with Poly-Tokenization
The ACRONYM Model-Based Vision System
Weakly Learning to Match Experts in Online Community
Copula Graphical Models for Wind Resource Estimation
Dynamic Ontology Supporting Local Government
Exploratory Interaction with a Bayesian Argumentation System
An Axiomatic View of the Parimutuel Consensus Mechanism
Penalized Proximal Policy Optimization for Safe Reinforcement Learning
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Using Neural Network Models to Model Cerebral Hemispheric Differences in Processing Ambiguous Words
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem
DivSwapper: Towards Diversified Patch-based Arbitrary Style Transfer
Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences
Learning Prototype via Placeholder for Zero-shot Recognition
Relating Default Logic and Circumscription
Toward Job Recommendation for All
Conference Organizers and Sponsors
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
Independent Skill Transfer for Deep Reinforcement Learning
Flexible Social Laws
Fair and Efficient Social Choice in Dynamic Settings
A Complete Unification Algorithm for Associative-Commutative Functions
Model-informed LIME Extension for Business Process Explainability
Individual Fairness Guarantees for Neural Networks
Predicting Glycemia in Type 1 Diabetes Patients: Experiments with XG-Boost
SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL
POWL: Partially Ordered Workflow Language (Extended Abstract)
Reifying Concepts in Description Logics
An On-line Decision-Theoretic Golog Interpreter
Employing Batch Reinforcement Learning to Control Gene Regulation Without Explicitly Constructing Gene Regulatory Networks
Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality (Extended Abstract)
Forward Search Value Iteration for POMDPs
Convolutional 2D LDA for Nonlinear Dimensionality Reduction
Improvements to the Evaluation of Quantified Boolean Formulae
RDFKB: A Semantic Web Knowledge Base
Value Ordering for Finding All Solutions
Machines Develop Consciousness Through Autonomous Programming for General Purposes (APFGP)
Abstraction via Approximate Symmetry
Prescriptive Process Monitoring in Intelligent Process Automation with Chatbot Orchestration
Game Theory with Simulation of Other Players
Lifted Hybrid Variational Inference
A Critique of the Valiant Model
High-Order Co-Clustering via Strictly Orthogonal and Symmetric L1-Norm Nonnegative Matrix Tri-Factorization
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction
Unlocking the Potential of Lightweight Quantized Models for Deepfake Detection
A Framework for Cooperative Adaptable Information Systems
Sample Efficient Decentralized Stochastic Frank-Wolfe Methods for Continuous DR-Submodular Maximization
A Multi-Agent Computational Linguistic Approach to Speech Recognition
The Competence of Sub-Optimal Theories of STructure Mapping on Hard Analogies
Toward Flexible Intelligence: MITI's New Program of Real World Computing
On Inheritance in Knowledge Representation
Pushing the EL Envelope
Normality and Faults in Logic-Based Diagnosis
Increasing the Efficiency of Packet Classifiers with Closed Descriptions
Approximating Word Ranking and Negative Sampling for Word Embedding
Clustering Financial Time Series: How Long Is Enough?
Learning to Extrapolate and Adjust: Two-Stage Meta-Learning for Concept Drift in Online Time Series Forecasting
An Adversarial Attacker for Neural Networks in Regression Problems
Beyond Symmetry in Repeated Games with Restarts
Hiding Numerical Vectors in Local Private and Shuffled Messages
Align, Perturb and Decouple: Toward Better Leverage of Difference Information for RSI Change Detection
Inverting 43-step MD4 via Cube-and-Conquer
Learning Cause Identifiers from Annotator Rationales
Can LLMs solve generative visual analogies?
XFormer: Fast and Accurate Monocular 3D Body Capture
Adaptive User Modeling with Long and Short-Term Preferences for Personalized Recommendation
Cross-Domain Feature Augmentation for Domain Generalization
Task-Based Learning via Task-Oriented Prediction Network with Applications in Finance
Representing Urban Functions through Zone Embedding with Human Mobility Patterns
Five Years of Argument Mining: a Data-driven Analysis
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images
Loopy SAM
PEBM: A Probabilistic Exemplar Based Model
Description Logics with Pointwise Circumscription
A Unified Strategy for Multilingual Grammatical Error Correction with Pre-trained Cross-Lingual Language Model
Get Out of the BAG! Silos in AI Ethics Education: Unsupervised Topic Modeling Analysis of Global AI Curricula (Extended Abstract)
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Interaction-Data-guided Conditional Instrumental Variables for Debiasing Recommender Systems
On The System Of Concepts Relations And Outline Of The Natural Language System
Extracting Latent Beliefs and using Epistemic Reasoning to Tailor a Chatbot
Distributed Patient Scheduling in Hospitals
Tactics of Adversarial Attack on Deep Reinforcement Learning Agents
Bid Selection Strategies for Multi-agent Contracting in the Presence of Scheduling Constraints
A Rule-Based Model of Emotion Appraisal for Narratives
Robust Translation of Spontaneous Speech: A Multi-Engine Approach
Learning to Rank under Multiple Annotators
Stochastic Second-Order Method for Large-Scale Nonconvex Sparse Learning Models
Lookahead Pathologies for Single Agent Search
Phase Transitions of the Asymmetric Traveling Salesman
Multi-View Learning with Limited and Noisy Tagging
Concentrate on Weakness: Mining Hard Prototypes for Few-Shot Medical Image Segmentation
Change, Change, Change: Three Approaches
Robotic Perception of Material
Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems
A Four-Valued Fuzzy Propositional Logic
Automated Synthesis of Timed Failure Propagation Graphs
Streamlining Attacks on CAPTCHAs with a Computer Game
Higher-order Logical Knowledge Representation Learning
A Message Passing Algorithm for Plan Recognition
Language-Based Games
Network Embedding with Dual Generation Tasks
Detecting Robust Co-Saliency with Recurrent Co-Attention Neural Network
Generalized Kings and Single-Elimination Winners in Random Tournaments
Exploiting Image Contents in Web Search
Learning Linear and Kernel Predictors with the 0-1 Loss Function
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems
On Multi-Level Machines for Continuous Speech Recognition
Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions
Towards a Real-time Mitigation of High Temperature while Drilling using a Multi-agent System
Autonomous Guidance and Control of a Roving Robot
An Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question Answering
Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation
Semi-Supervised Classification Using Sparse Gaussian Process Regression
High Performance Gesture Recognition via Effective and Efficient Temporal Modeling
Boosting Few-Shot Open-Set Recognition with Multi-Relation Margin Loss
Deep Context: A Neural Language Model for Large-scale Networked Documents
Human Consensus-Oriented Image Captioning
Brain Network Analysis of Hand Motor Execution and Imagery Based on Conditional Granger Causality
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour
A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning
On the Role of Domain Knowledge in Analogy-Based Story Generation
A New Method for Impossible Differential Cryptanalysis of 8-Round AES-128
The Chaotic Cipher Based on CNNs and Its Application in Network
Research of SCM System Based on the Internet of Things on EPC
Research and Implementation of Packet Classification Based on NDIS Intermediate Layer under Windows Platform
Some Remarks on Convergence in Credibility Measure and Convergence in Credibility Distribution of Fuzzy Variable
A Feature-Based Robust Digital Image Watermarking Scheme Using Image Normalization and Quantization
Multi-feature Method: An Integrated Content Based Image Retrieval System
Secure Digital Library Technology Research Based on VPN
Multitemporal Images Change Detection Using Nonsubsampled Contourlet Transform and Kernel Fuzzy C-Means Clustering
A Comprehensive Prediction Method of Visit Priority for Focused Crawler
Study on QoS Protection Mechanism of VoIP Systems