yusuke1997/dblp-id-title huggingface dataset:
Data Structures and Typed Logic Programs
Matching Questions and Answers in Dialogues from Online Forums
Extending FF to Numerical State Variables
Cognitive Situated Agents Learn to Name Actions
Cooperative Thresholded Lasso for Sparse Linear Bandit
Routing for Continuous Monitoring by Multiple Micro AVs in Disaster Scenarios
An Embedding of ConGolog in 3APL
AI in Accelerating the Creation of Renewable Energy Sources. Bibliometric Analysis
Quantifying a Causal Effect from a CPDAG with Targeted Exogenous Causal Knowledge
Decision-theoretic Optimal Sampling in Hidden Markov Random Fields
The Use of a Genetic Algorithm in the Calibration of Estuary Models
Community Detection based on a Naming Game
Knowledge Representation for Health-Care - ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers
Unsupervised Zero-Shot Learning for Achieve Cross-Modal Alignment with Counterfactuals
GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
Nonparametric Bayesian Multi-Task Large-margin Classification
Temporal Prolog
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management
Situated Abstraction Planning by Abductive Temporal Reasoning
Qualitative Astrophysics
The Truth About Defaults
Cluster Exploration Using Informative Manifold Projections
Extending Defeasible Logic and Defeasible Prolog
Context in Discrete Constraint Satisfaction Problems
Analogical Classifiers: A Theoretical Perspective
Reinforcement Learning Integrated with a Non-Markovian Controller
Cube-Based Isomorph-Free Finite Model Finding
Factors of Collective Intelligence: How Smart Are Agent Collectives?
SpArX: Sparse Argumentative Explanations for Neural Networks
Metamodeling of Bayesian networks for decision-support systems development
Bargaining for Coalition Structure Formation
Induction and Dialogue in Specification Formalisation: An Object-Based Approach
Toward Metrics for Differentiating Out-of-Distribution Sets
Ontology-Based Knowledge Modeling to Provide Decision Support for Comorbid Diseases
Verifying Interlevel Relations Within Multi-Agent Systems
A Cultural Community Portal for Publishing Museum Collections on the Semantic Web
Domain-Independent, Task-Oriented Chatbot Creation and Conversation Policy Management Framework
Robust Reservation-Based Multi-Agent Routing
Relational Neural Machines
A Hybrid Approach to Preference Learning with Interaction Terms
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions
The Complexity of Manipulation of k-Coalitional Games on Graphs
Personalising On-Line Configuration of Products and Services
Learning Process Steps as Dynamical Systems for a Sub-Symbolic Approach of Process Planning in Cyber-Physical Production Systems
Proceedings of the Workshop on Applied Deep Generative Networks co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, August 29th, 2020
Time-Series Data Imputation via Realistic Masking-Guided Tri-Attention Bi-GRU
Learning Rules of Simplified Boardgames by Observing
How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules?
Towards Flexible Time-to-Event Modeling: Optimizing Neural Networks via Rank Regression
Using GDE in Educational Systems
Incorporating Dynamic Control into the Model Generative Reasoning System
A Critical Survey of Rule Learning Programs
Inference and Optimization Methods for Manufacturing Process Planning
Arc Consistency in SAT
Graph-Based Abstractive Summarization of Extracted Essential Knowledge for Low-Resource Scenarios
Classifying Aircraft Categories from Magnetometry Data Using a Hypotheses-Based Multi-Task Framework
SaGess: A Sampling Graph Denoising Diffusion Model for Scalable Graph Generation
A Simple Debiasing Framework for Out-of-Distribution Detection in Human Action Recognition
Combining Ontology Alignment Metrics Using the Data Mining Techniques
Many-Objective Problems Are Not Always Difficult for Pareto Dominance-Based Evolutionary Algorithms
Combining binary constraint networks in qualitative reasoning
Constructing Teleo-reactive Robot Programs
Extending Acyclicity Notions for Existential Rules
Multi Agent Learning of Relational Action Models
Default Reasoning in Anaphora Resolution
Strategic Foresighted Learning in Competitive Multi-Agent Games
The semantics of behavior
Towards an Axiomatic Theory of Artificial Perception
On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines
Nonmonotonic Reasoning in Probabilistics
Building Bayesian Networks through Ontologies
Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar
Current and Future Trends for Community Research and Development in Artificial intelligence
Generalization-Based Retrieval
BOB-YOLO: Balancing Optimization Binarized YOLO via Module-Wise Latency
A Compositional Mathematical Model of Machines Transporting Rigid Objects
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
A Framework for Actionable Clustering Using Constraint Programming
PRCA - A Parallel Relational Concept Analysis Framework
Trustworthy Advice
Repairing Queries in a Mediator Approach
FedStale: leveraging Stale Updates in Federated Learning
Can FCA-based Recommender System Suggest a Proper Classifier?
Revision vs. Update: Taking a Closer Look
SaccadeMOT: Enhancing Object Detection and Tracking in Gigapixel Images via Scale-Aware Density Estimation
Computability and Complexity Issues of Extended RDF
A Conditional Perspective for Iterated Belief Contraction
Discovering Temporal Knowledge from a Crisscross of Timed Observations
INDE: A System for Heuristic Knowledge Refinement
SFDFusion: An Efficient Spatial-Frequency Domain Fusion Network for Infrared and Visible Image Fusion
Concept Acquisition in an Integrated EBL and SBL Environment
Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining
Automating the Resolution of Flight Conflicts: Deep Reinforcement Learning in Service of Air Traffic Controllers
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
False-name-proof Combinatorial Auction Design via Single-minded Decomposition
Ani: An Example of Computational Creativity
Tackling Selfish Clients in Federated Learning
Task-Sensitive Discriminative Mutual Attention Network for Few-Shot Learning
Dynamic Multi-Armed Bandit with Covariates
Guiding a Theorem Prover with Soft Constraints
MDE: Multiple Distance Embeddings for Link Prediction in Knowledge Graphs
Leveraging Graph Embedding for Opinion Leader Detection in Dynamic Social Networks
Expressing Independence in a Possibilistic Framework and its Application to Default Reasoning
Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis
Analyzing Flexible Timeline-based Plans
Engineering Efficient Planners with SAT
Verifying the Selected Completely at Random Assumption in Positive-Unlabeled Learning
Planning Using Actions with Control Parameters
Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval
Developmental Mechanisms for Autonomous Life-Long Learning in Robots
Learning Classifier Chains Using Matrix Regularization: Application to Multimorbidity Prediction
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)
Secure Multi-Agent Planning
Lazy Adaptive Multicriteria Planning
Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality
Hierarchical Planning for Resource-Constrained Long-Term Monitoring Missions in Time-Varying Environments
Zero-Waste Machine Learning
A Combined Calculus on Orientation with Composition Based on Geometric Properties
Using Constraint Satisfaction for View Update Translation
Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems
Dynamic Graph Convolutional Network with Attention Fusion for Traffic Flow Prediction
Cost Partitioning for Multiple Sequence Alignment
Knowledge Representation and Reasoning: The Theoretical Side of AI
Quantum Weighted Model Counting
Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving
Cognitive Vision and Perception
Languages for Negotiation
Patterns via Clustering as a Data Mining Tool
On computing correct processes and repairs sing partial behavioral models
Situation Calculus Game Structures and GDL
Micro-Expression Spotting Method Based on AU Prototype
The Consistency of Majority Rule
Scalable Exact MAP Inference in Graphical Models
Context Enhancement with Reconstruction as Sequence for Unified Unsupervised Anomaly Detection
A Qualitative Theory for Shape Representation and Matching for Design
A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs
A Data-Driven Approach Supporting Location Decisions for Docking Stations in Bike-Sharing Systems
Training Crisis Managers with PANDORA
The Automated Inspection of Opaque Liquid Vaccines
Analogical Representation of Spatial Events for Understanding Traffic Behaviour
Bipolar Preference Problems
Metaheuristic Aided Software Features Assembly
BridgeHand2Vec Bridge Hand Representation
Contribution to the Classification of Web of Data Based on Formal Concept Analysis
On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds
Subsumption Algorithms for Concept Description Languages
Split Manipulations in Cost Sharing of Minimum Cost Spanning Tree
Diagnosis of Active Systems
KBS Validation: A Knowledge Acquisition Perspective
On the Reasons Behind Decisions
Getting Robots to Know Exactly What They Are Doing
Tuning in to Neural Encoding: Linking Human Brain and Artificial Supervised Representations of Language
Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans
Interruptible Task Execution with Resumption in Golog
Guiding User Choice During Discussion by Silence, Examples and Justifications
Enhancing OOD Generalization in Offline Reinforcement Learning with Energy-Based Policy Optimization
A Graph-based Approach for POCL Planning
An Intelligent Help System for Idpac
Repetitive Branch-and-Bound Using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering
Online Social and Business Networking Communities
Individual Fairness with Group Constraints in Graph Neural Networks
Entity Embeddings with Conceptual Subspaces as a Basis for Plausible Reasoning
Mediating joint intention with a dialogue management system
A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations
Determinig the Orientation of Surfaces from Optical Flow
ATL* With Truly Perfect Recall: Expressivity and Validities
Parsing Features in Solid Geometric Models
Target-driven Attack for Large Language Models
An Intelligent System for Personalized Conference Event Recommendation and Scheduling
Bayesian Network Modelling by Qualitative Patterns
Evaluating Multimodal Representations on Visual Semantic Textual Similarity
Corpus-Driven Contextualized Categorization
Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary
Detecting the Behavioral Relationships of Malware Connections
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms
Automatic Animation Generation of a Teleoperated Robot Arm
INTELLIREQ: Intelligent Techniques for Software Requirements Engineering
Molecular Topological Profile (MOLTOP) - Simple and Strong Baseline for Molecular Graph Classification
Introducing Personality into Team Dynamics
Mind the Model, Not the Agent: The Primacy Bias in Model-Based RL
Complexity and Approximation Schemes for Social Welfare Maximization in the High-Multiplicity Setting
Operationalizing Domain Ontologies: A Method and a Tool
Expectation Reasoning Using Regret and Disappointment
A Video Indexing Method using Natural Language Memo for TV Program Production
Business Event Oriented Information Systems Based on Meta Programming
Production Planning Using a Temoral Planning Component
Towards Latent Space Exploration for Classifier Improvement
A Fuzzy Inference Framework For Induced Decision Trees
Search for Better Students to Learn Distilled Knowledge
Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier
Compressing Binary Decision Diagrams
Attentional Scanning
Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability
Topological Visual Localization Using Decentralized Galois Lattices
On the Logic of Exceptions
Progressive Artistic Aesthetic Enhancement For Chinese Ink Painting Style Transfer
Strategy Representation and Reasoning in the Situation Calculus
Combining Diverse Information for Coordinated Action: Stochastic Bandit Algorithms for Heterogeneous Agents
Building up Inductive Generalizations from Facts
Bidirectional Scene Text Recognition with a Single Decoder
Personalized Automated Machine Learning
Evaluation Evaluation
Fred meets Tweety
A Framework for Automatic Debugging of Functional and Degradation Failures
The Use of Semantic Networks for the Categorization of Prosumers
CLIME: Lessons Learned in Legal Information Serving
Synthesizing Minimal Programs from Traces of Observable Behaviour
Towards the Development of Societal Twins
Online Adaptation of Deep Architectures with Reinforcement Learning
Negotiation to Execute Continuous Long-Term Tasks
Person Re-Identification via Multiple Coarse-to-Fine Deep Metrics
Explicit Ordering of Defaults in ATMS
An Assessment Study of Features and Meta-Level Features in Twitter Sentiment Analysis
Bayesian Modelling of Colour's Usage Impact to Web Credibility
Situation Assessment for Sensor-Based Recovery Planning
Selection of Perturbation Experiments for Model Discrimination
Shallow Neural Models for Top-N Recommendation
QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems
Crowdsourced Referral Auctions
SPAT: Semantic-Preserving Adversarial Transformation for Perceptually Similar Adversarial Examples
Selecting Information based on Artificial Forms of Selective Attention
A Generalized Quadratic Loss for Support Vector Machines
SVM-based CBIR of breast masses on mammograms
A Tabulation Proof Procedure for Residuated Logic Programming
Multilingual Evidence Improves Clustering-based Taxonomy Extraction
Manipulating picking sequences
Reasoning About Quality and Fuzziness of Strategic Behaviours
Cliff: Leveraging Ambiguous Samples for Enhanced Test-Time Adaptation
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?", FCA4AI@ECAI 2012, Montpellier, France, August 28, 2012
Solving Raven's IQ-tests: An AI and Cognitive Modeling Approach
Surrogate-Agent Modeling for Improved Training
The Machine as Concept-Learner
MobiSenseUs: Inferring Aggregate Objective and Subjective Well-Being from Mobile Data
A Risk-Based Bidding Strategy for Continuous Double Auctions
Minimal Perturbance in Dynamic Scheduling
Lifting Queries for Lifted Inference
Adversarial Erasing with Pruned Elements: Towards Better Graph Lottery Tickets
Metalanguage and Reasoning Across Viewpoints
An Approach to Fuzzy Modal Logic of Time Intervals
Balancing Fairness and Efficiency in 3D Repeated Matching in Ridesharing
Definability in Logic and Rough Set Theory
Scheduling Meetings Using Distributed Valued Constraint Satisfaction Algorithm
Representing and Reducing Uncertainty for Enumerating the Belief Space to Improve Endgame Play in Skat
Vanilla Gradient Descent for Oblique Decision Trees
A New Approach to the Intended Meaning of Negative Information
Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric Layer
An Efficient Method for Hybrid Deduction
The Role of Extensible Deductive Systems in Mathematical Reasoning
AI-Powered Virtual Reality System for Training Wrist Amputees to Use Advanced Prosthetic Solutions
Dynamic Control of Intention Priorities of Human-Like Agents
Ensemble Methods for Object Detection
Video2Reward: Generating Reward Function from Videos for Legged Robot Behavior Learning
An Intelligent Threat Prevention Framework with Heterogeneous Information
Weak Supervision Helps Emergence of Word-Object Alignment and Improves Vision-Language Tasks
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams
Logics of Justified Belief
Bayesian Optimization for More Automatic Machine Learning
Unsupervised Graph Structure-Assisted Personalized Federated Learning
From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
Domain Generalised Cell Nuclei Segmentation in Histopathology Images Using Domain-Aware Curriculum Learning and Colour-Perceived Meta Learning
Causal Discovery and Knowledge Injection for Contestable Neural Networks
Simplicity in Solving the Frame Problem
Ontological Proxies to Augment the Expressiveness of Discourse Analysis
The Ubiquitous Dialectic
An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information
A Specialisation Calculus to Improve Expert Systems Communication
Fleet Control Using Coregionalized Gaussian Process Policy Iteration
Failure Mode and Effect Analysis for Abductive Diagnosis
UNIMEM, a General Learning System: An Overview
Planning with Concurrency under Resources and Time Uncertainty
Why Generalize? Hybrid Representations and Instance-Based Learning
StyleMamba: State Space Model for Efficient Text-Driven Image Style Transfer
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics
Revisiting the Efficiency-Accuracy Tradeoff in Adapting Transformer Models via Adversarial Fine-Tuning
Learning Class-Based Graph Representation for Object Detection
On the Complexity of General Game Playing
Experiences in Modelling Statistical Process Control Knowledge
RHALE: Robust and Heterogeneity-Aware Accumulated Local Effects
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
A Logical View of Probability
An Argumentation-Based Dialog for Social Evaluations Exchange
Uncertain Temporal Observations in Diagnosis
A Sales Assistant for Chemical Measurement Equipment: SEARCHEM
Sensing and revision in a modal logic of belief and action
Reverse Engineering of Vinyl Acetate Polymerizations by Genetic Algorithm-Based Multi-Objective Optimization
Iterative Oversubscription Planning with Goal-Conflict Explanations: Scaling Up Through Policy-Guidance Approximation
All-Transfer Learning for Deep Neural Networks and Its Application to Sepsis Classification
Soft Nearest Convex Hull Classifier
An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System
A Multi-Task Learning Neural Network for Emotion-Cause Pair Extraction
MedGraph: Structural and Temporal Representation Learning of Electronic Medical Records
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization
Conservativity in Structured Ontologies
Efficient Algorithms for Qualitative Spatial Reasoning
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
Delayed Effects of Actions
On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind
A Solver for QBFs in Nonprenex Form
The Propensity for Density in Feed-Forward Models
A Generic Tutoring Environment
A Concise Horn Theory for RCC8
Giving a Computer Gestalt Experiences
What isn't Computation? (Panel Statement)
Online optimization for variable selection in data streams
Knowledge Compilation Using Interval Automata and Applications to Planning
Learning Path Constraints for UAV Autonomous Navigation Under Uncertain GNSS Availability
Synonymus Theories in Answer Set Programming and Equilibrium Logic
Artificial Intelligence Techniques for Diabetes Management: the T-IDDM Project
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Reusing Proofs
Delayed Rewards in the Context of Reinforcement Learning based Recommender Systems
Computer Games - Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
Green Hardware Infrastructure for Algorithmic Trading
Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk
Benchmarking Adversarial Robustness in Speech Emotion Recognition: Insights into Low-Resource Romanian and German Languages
Contextually Adaptive Algorithms for Gaussian Process Bandit Optimization Under Heavy-Tailed Noise
ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting
DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems
Pessimistic Off-Policy Optimization for Learning to Rank
Multi-Modal Fusion with Semantic Supervision for Radiology Report Generation
Heteroscedastic Causal Structure Learning
Comparing Lossless Compression Methods for Chess Endgame Data
Experience Sharing in a Traffic Scenario
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
EVIDENT: Enhanced Visualization and Design Integration from Textual Edits and Prompts
Edge Detection for Semantically Based Early Visual Processing
Classical, General Frameworks for Recovery
A Knowledge-based Approach for Lifelike Gesture Animation
Behavior Based Dynamic Summarization on Product Aspects via Reinforcement Neighbour Selection
LoginMEA: Local-to-Global Interaction Network for Multi-Modal Entity Alignment
Parallel Model Checking for Temporal Epistemic Logic
Exploring Parallel Tractability of Ontology Materialization
Strategic Argumentation is NP-Complete
Contribution of V1 Receptive Field Properties to Corruption Robustness in CNNs
Representing Knowledge about Norms
Parsing Natural Language using Guided Local Search
Application of a Self-Organizing Method Based on Cooperation to Information Retrieval
Towards Polynomial Subgroup Discovery by Means of FCA
EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
Inverse Resolution in an Integrated Inductive-Deductive Learning System
Sanitizing Hidden Information with Diffusion Models
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic
Open-Set Multivariate Time-Series Anomaly Detection
Active Head Movements Help Solve Stereo Correspondence
A Learning Classifier Approach to Tomography
Structure-Aware Group Discrimination with Adaptive-View Graph Encoder: A Fast Graph Contrastive Learning Framework
Determining the Direction of Causal Influence in Large Probabilistic Networks: A Constraint-Based Approach
An Interactive System for Hiring and Managing Graduate Teaching Assistants
Deep Reinforcement Learning of Autonomous Control Actions to Improve Bus-Service Regularity
Graph partitioning techniques for Markov Decision Processes decomposition
Reasoning about Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic
A Platform for Cross-Lingual, Domain and User Adaptive Web Information Extraction
Is Contrasting All You Need? Contrastive Learning for the Detection and Attribution of AI-generated Text
Extending the Description Logic with Acyclic TBoxes
Semantics-Reinforced Networks for Question Generation
Practical Reformulations With Table Constraints
Blood Glucose Prediction for Type 1 Diabetes Using Generative Adversarial Networks
Analytic Goal Regression: Problems, Solutions and Enhancements
B2MAPO: A Batch-by-Batch Multi-Agent Policy Optimization to Balance Performance and Efficiency
Variants of A* for Planning
Latent Weights Generating for Few Shot Learning Using Information Theory
Sample-Based Policy Iteration for Constrained DEC-POMDPs
Knowledge-Based Dialog Structuring for Graphics Interaction
Reinforcement Learning by Guided Safe Exploration
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates
Belief Erasure in Propositional Logic