yusuke1997/dblp-id-title huggingface dataset:
Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries
Is Performance Fairness Achievable in Presence of Attackers Under Federated Learning?
Problems impacting the quality of automatically built ontologies
On the Interpretation of Convolutional Neural Networks for Text Classification
Co-Adaptation and the Development of Cognitive Structures
On the use of Argumentation in Multi-Agent Planning
Ideal Agents Sharing (some!) Knowledge
SCRAPS: Speech Contrastive Representations of Acoustic and Phonetic Spaces
TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking
Bottlenecked Backpropagation to Train Differentially Private Deep Neural Networks
Acquisition of Inference Structure
Inter-Slice Image Augmentation Based on Frame Interpolation for Boosting Medical Image Segmentation Accuracy
A Practical System for Human-like Parsing
Integrating Abduction and Constraint Optimization in Constraint Handling Rules
A Rank Based Description Language for Qualitative Preferences
Bridging the Gap Between Training and Inference for Spatio-Temporal Forecasting
Artwork Protection Against Neural Style Transfer Using Locally Adaptive Adversarial Color Attack
Powering Hidden Markov Model by Neural Network Based Generative Models
Enhancing Fairness through Reweighting: A Path to Attain the Sufficiency Rule
Automated Deduction for Logics of Default Reasoning
A LTAG Grammar for Parsing Oral and Incomplete Utterances
Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing
FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis
Detect Closer Surfaces That Can be Seen: New Modeling and Evaluation in Cross-Domain 3D Object Detection
MASFIT: Multi-Agent System for Flsh Trading
Declaratively Capturing Local Label Correlations with Multi-Label Trees
Hybrid Multi-Agent System for Metalearning in Data Mining
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems
Semantic Activity Recognition
Language Classification of Hierarchical Planning Problems
Disentangling Interaction Using Maximum Entropy Reinforcement Learning in Multi-Agent Systems
FAITH in Process Control Expert Systems
Hypothetical Reasoning for Automatic Recognition of Continuous Speech
Coherent Social Action
Defining Argumentation Semantics under a Claim-centric View
Regognition of Peanuts Cartoons
Leveraging Error Patterns to Correct Prediction Intervals
A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy Classifications
Informed Deep Learning for Epidemics Forecasting
Robust Multi-Instance Learning with Stable Instances
Tracking and Motion Estimation in a Sequence of Stereo Frames
Towards a Logical Analysis of Biochemical Reactions
Model and Heuristics for the Shortest Road Layout Problem
Similarity Between Queries in a Mediator
Pruning Regression Trees with MDL
Laner-GNN: Adapting to Long-Tail Degree Distribution with Latent Neighborhood Restorers
A Neural Topical Expansion Framework for Unstructured Persona-Oriented Dialogue Generation
Adaptive Interaction Fusion Networks for Fake News Detection
An Application of DATR: The TIC Lexicon
Quality Extensions and Uncertainty Handling for Context Ontologies
Computational Analogy
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
Counterfactual Thinking in Stochastic Dynamics of Cooperation
Constructing Hierarchical Task Models Using Invariance Analysis
Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks
Hierarchical Strategy Synthesis for Pursuit-Evasion Problems
New Insights on the Intuitionistic Interpretation of Default Logic
SouthamptonTAC: Designing a Successful Trading Agent
Reference-Dependent Qualitative Models for Decision Making Under Uncertainty
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency
FairUS - UpSampling Optimized Method for Boosting Fairness
Failing First: An Update
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
A Qualitative Representation of Route Networks
Likely-Admissible and Sub-Symbolic Heuristics
DCTAN: Densely Convolved Transformer Aggregation Networks for Monocular Dense Depth Prediction in Robotic Endoscopy
On Explaining with Attention Matrices
Computational Models of Multimodal Communication
Adaptive Context-Based Term (Re)Weighting: An Experiment on Single-Word Question Answering
From Belief Change to Obligation Change in the Situation Calculus
Symbolic Classification of General Multi-Player Games
Learning context-free grammars to extract relations from text
Knowledge-Based Recommendation: Technologies and Experiences from Projects
Augmenting Logic-based Knowledge Graphs: The Case of Company Graphs
Possibilistic-Based Bidding Strategies in Electronic Auctions
On Parallel External-Memory Bidirectional Search
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
Using Relaxation to find a Puppet
A Protocol Based on a Game-Theoretic Dilemma to Prevent Malicious Coalitions in Reputation Systems
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs
A Fuzzy Inference System for a Visually Grounded Robot State of Mind
Distilling the Effects of Language Model Contamination
Acquisition of Information to Determine a User's Plan
Novelty Accommodating Multi-Agent Planning in High Fidelity Simulated Open World
Detecting Fake Content with Relative Entropy Scoring
Efficient Parsing for Information Extraction
UCCIX: Irish-eXcellence Large Language Model
Engineering Optimizations Using the Structured Genetic Aigorithm
Extending Clause Learning DPLL with Parity Reasoning
A Skeptical Semantics for Truth Maintenance
Tailored-LLaMA: Optimizing Few-Shot Learning in Pruned LLaMA Models with Task-Specific Prompts
Socially-Aware Multiagent Learning: Towards Socially Optimal Outcomes
Normative and Epistemic Aspects in Causality
Flexible Graphplan
Predicting Respiratory Failure in Patients with COVID-19 pneumonia: a case study from Northern Italy
FairCognizer: A Model for Accurate Predictions with Inherent Fairness Evaluation
Coopetition in Heterogeneous Cross-Silo Federated Learning
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning
OntoTag: A Semantic Web Page Linguistic Annotation Model
Strong Refinements for Hard Problems in Argumentation Dynamics
Improved Analysis of Greedy Algorithm on k-Submodular Knapsack
Implicit Learning of Compiled Macro-Actions for Planning
Multi-Source Domain Adaptation Through Dataset Dictionary Learning in Wasserstein Space
Well Behaved and Multiple Belief Revision
Leader-Follower MDP Models with Factored State Space and Many Followers - Followers Abstraction, Structured Dynamics and State Aggregation
Learning Contextualized Sentence Representations for Document-Level Neural Machine Translation
Linked Data Querying through FCA-based Schema Indexing
Landmarks in Hierarchical Planning
Semantic Point Completion Network for 3D Semantic Scene Completion
Intuitive Classification Based on Affinity
Reassessing Non-Autoregressive Neural Machine Translation with a Fine-Grained Error Taxonomy
Continuous Attributes for FCA-based Machine Learning
How good is the Shapley value-based approach to the influence maximization problem?
Multimodal Matching Transformer for Live Commenting
Learning an Optimally Accurate Representation System
Environment-Driven Skeletal Plan Execution for the Medical Domain
Semantics for Default Logic based on Specific Branching Time Models
Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary Analysis
TwinDiffusion: Enhancing Coherence and Efficiency in Panoramic Image Generation with Diffusion Models
Teaching the old dog new tricks: supervised learning with constraints
Causally Disentangled Generative Variational AutoEncoder
On the Learning Dynamics of Attention Networks
Transfer of Reinforcement Learning Negotiation Policies: From Bilateral to Multilateral Scenarios
Differentiable Logic Programming for Distant Supervision
About Flexible Matching and its Use in Analogical Reasoning
Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning
Human-Computer Negotiation in Three-Player Market Settings
Representing Natural Kinds by Spatial Inclusion and Containment
An Empirical Study of Retrieval-Enhanced Graph Neural Networks
Reasoning about spatio-temporal relations at different levels of granularity
The Production of Explanations, Seen as a Design Task: A Case Study
Hierarchies over Relational Structures
An Animation-Based Augmentation Approach for Action Recognition from Discontinuous Video
TransFeat-TPP: An Interpretable Deep Covariate Temporal Point Processes
Crafting Lifelike Avatars: Model Compression and Advanced Rendering Techniques
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks
Approximate Data Deletion in Generative Models
Constraints with Variables' Annotations
Goal Specification in Presence of Non-Deterministic Actions
Asking About Posibilities - Revision and Update Semantics for Subjunctive Queries
Providing Advice Through Dialogue
Iconic-Declarative Programming and Adaptation Rules
Cross-Domain Error Correction in Personality Prediction
Adaptive Local Neighbors for Transfer Discriminative Feature Learning
Common and Discriminative Semantic Pursuit for Multi-Modal Multi-Label Learning
QFMTS: Generating Query-Focused Summaries over Multi-Table Inputs
Using Crowdsourcing and Active Learning to Track Sentiment in Online Media
Socially Intelligent Robots
Diagnosis as Semiring-Based Constraint Optimization
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types
Robust Deep Hawkes Process Under Label Noise of Both Event and Occurrence
A Syntactical Approach to Revision
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
Algebraic Topology for Knowledge Representation in Analogy Solving
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
"Pause Units" and Analysis of Spontaneous Japanese Dialogues: Preliminary Studies
On the Logic of Theory Change: Relations Between Incision and Selection Functions
Reason Maintenance Systems for Multiagent Planning
Formaiizing the Repair Process
Orthographic similarity search for dictionary lookup of Japanese words
Effective and Efficient Community Search with Graph Embeddings
Learning Chordal Markov Networks via Stochastic Local Search
Interaction and Collaboration in Multi-agent Systems
Ace: Associating Language with Meaning
Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic
Learning Coordinated Behavior in a Continuous Environment
Using Backdoors to Generate Learnt Information in SAT Solving
Extending the Basic ATMS
Generalization, Segmentation and Classification of Qualitative Motion Data
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge
A New Kernelized Associative Memory and Some of Its Applications
Reasoning About Motion Patterns
Opponent Modelling in Texas Hold'em Poker as the Key for Success
Search for Compromise Solutions in Multiobjective State Space Graphs
A Single-Agent Approach to Multiagent Planning
TabCGOK: Intra-Class Groups Retrieval and Inter-Class Ordinal Knowledge Augmented Network for Ordinal Tabular Data Prediction
Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning
Adaptive Self-Supervised Continual Learning
Understanding Autonomous Interaction
When Are Behaviour Networks Well-Behaved?
Model-Based Offline Policy Optimization with Adversarial Network
Automated Web Services Composition Using Extended Representation of Planning Domain
Using Description Logics for Ontology Extraction
Model-Based Failure Analysis with RODON
Improving Local Decisions in Adversarial Search
Mechanism Design for Extending the Accessibility of Facilities
Enhancing First-Pass Attachment Prediction
Memory-Based Learner Model and its Application to a Game Coach
Master Orientation Tool
Nonmonotonic Desires - A Possibility Theory Viewpoint
A Hierarchical Multi-Agent System for Natural Language Diagnosis
Identifying Critical Scenarios in Autonomous Driving During Operation
Inference in the FO(C) Modelling Language
Exploring Information Bottleneck for Weakly Supervised Semantic Segmentation
Intelligent Recommendation & Decision Technologies for Community-Driven Requirements Engineering
Defining a Subset of OCL for Expressing SWRL Rules
Graphical Abstraction - How to adapt the detail of graphics to limited resources
Decentralized Insertion Heuristic with Runtime Optimization for On-demand Transport Scheduling
PEACE: Providing Explanations and Analysis for Combating Hate Expressions
Mining maximal frequent itemsets by a boolean approach
Exact Particle Filter Modularization Improves Runtime Performance
Approximate structure preserving semantic matching
Adam Accumulation to Reduce Memory Footprints of Both Activations and Gradients for Large-Scale DNN Training
Qualitative Autonomous Navigation for Wheelchair Robots
Hybrid Regression-Classification Models for Algorithm Selection
Towards a Simulation of AmI Environments Integrating Social and Network Simulations
A Logic of Explicit and Implicit Distributed Belief
Representing Beliefs in a Situated Event Calculus
Description Logics with Concrete Domains and Aggregation
A Neuro-symbolic Approach for Faceted Search in Digital Libraries
Efficient Algorithms for Monroe and CC Rules in Multi-Winner Elections with (Nearly) Structured Preferences
Generalized Widening
What's a Head Without a Body?
A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts
Extending Semantic Sensor Networks for Automatically Tackling Smart Building Problems
Interpretable Image Classification Through an Argumentative Dialog Between Encoders
Representation of Knowledge Using Different Structures of Concepts
Crowd Counting via Hierarchical Scale Recalibration Network
Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space
Is there a Constaintness Knife-edge?
Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models
Robust Assignment of Labels for Active Learning with Sparse and Noisy Annotations
A Model of Representation and Communication of Music and Multimedia Knowledge
Learning A Closed-Loop Bidirectional Scale-Recurrent Network for Image Deraining
An Analysis of a Simple Learning System
From Descriptions to Images: What Reasoning in between?
A New Data-Structure for Type Trees
Checking the Conformance of Requirements in Agent Designs Using ATL
Local context is not enough! Towards Query Semantic and Knowledge Guided Multi-Span Medical Question Answering
Exploiting Epistemic Uncertainty at Inference Time for Early-Exit Power Saving
Comparing Topic-Aware Neural Networks for Bias Detection of News
'Royal-Road' Landscapes for a Dual Genetic Algorithm
Multi-Domain Learning from Insufficient Annotations
Goal Revision for a Rational Agent
Efficiently Computing Smallest Agreeable Sets
A Knowledge-Based Decision Support System for Selection Psychologists
Exploiting Expert Knowledge in Factored POMDPs
Enhanced Foraging in Robot Swarms Using Collective Lévy Walks
A Siamese Based System for City Verification
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions
CLLMFS: A Contrastive Learning Enhanced Large Language Model Framework for Few-Shot Named Entity Recognition
The WITAS Unmanned Aerial Vehicle Project
Improving the Evolutionary Coding for Machine Learning Tasks
One-Class Classification Approach to Variational Learning from Biased Positive Unlabeled Data
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning
Approximate Mechanism Design for Facility Location with Multiple Objectives
Active Concept Learning For Ontology Evolution
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination
Parameterized Algorithms for Optimal Refugee Resettlement
Strategies for Privacy Negotiation in Online Social Networks
The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Simple Epistemic Planning: Generalised Gossiping
Sequencing, Combining and Sampling Classifiers to Help Find Needles in Haystacks
The EternalS Roadmap - Defining a Research Agenda for Eternal Systems
TrojBits: A Hardware Aware Inference-Time Attack on Transformer-Based Language Models
Generating Natural Speech from Text
Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception
Modal Logics for Conceptual Graphs III
A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets
FlowLearn: Evaluating Large Vision-Language Models on Flowchart Understanding
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning
Recognizing and Revising Unconvincing Explanations
Towards an Ontology Dealing with Periodic Events
A Model for Hypothetical Reasoning Applied to Speech Recognition
Geographic Information Revision Based on Constraints
Channel Randomisation Methods for Zero-Shot Communication
QCCDM: A Q-Augmented Causal Cognitive Diagnosis Model for Student Learning
Generative LLMs for Multilingual Temporal Expression Normalization
Knowledge and Gossip
Improving Unsupervised Domain Adaptation with Variational Information Bottleneck
An Algorithm for Knowledge Base Extraction
An All-Pay Auction Approach to Reallocation
Estimating the Hardness of Optimisation
A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach
Automated Synthesis of Certified Neural Networks
Do Not Trust Me: Explainability Against Text Classification
STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems
Aggregating Correlated Estimations with (Almost) no Training
Probabilistic Two-Level Anomaly Detection for Correlated Systems
A System for Knowledge Discovery in Big Dynamical Text Collections
A Profit-Aware Negotiation Mechanism for On-Demand Transport Services
Conceptual Clustering in a First Order Logic Representation
SCHEMATA: A Language for Deduction
Collection and Integration of Concept Systems for Semantic Web Computing - Plan and A Preliminary Consideration
Compilation of Tight ASP Programs
On Procedural Learning and its Relation to Memory and Attention
Control of a Hydroforming Press with Bayesian Networks
Upper and Lower Time and Space Bounds for Planning
Collective Rationality in Graph Aggregation
Meta-Clustering Gene Expression Data with Positive Tensor Factorizations
Dynamic Workload-Aware Bike Rebalancing for Bike-Sharing Systems
Boosting Systematic Search by Weighting Constraints
Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation
Abduction and Concurrent Logic Languages
Neural Network "Surgery": Transplantation of Hidden Units
Optimizing Decision Trees for Enhanced Human Comprehension
Towards Meta-learning over Data Streams
Model Provenance via Model DNA
Approximating Propositional Knowledge with Affine Formulas
One-Shot Collaborative Data Distillation
A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System
Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine
Structure Matters: Towards Generating Transferable Adversarial Images
Combining Similarity and Causality in Creative Analogy
Symmetry-Driven Decision Diagrams for Knowledge Compilation
An Argumentation-based Approach to Database Repair
The KING Natural Language Generator
FlexSSL : A Generic and Efficient Framework for Semi-Supervised Learning
Width and Serialization of Classical Planning Problems
A Framework for Rapid Development of Advanced Web-based Configurator Applications
On-Line Model Modification for Adaptive Object Recognition
Caveats and Solutions for Characterising General-Purpose AI
Proceedings of the 1st International Workshop on AI for Privacy and Security, PrAISe@ECAI 2016, The Hague, Netherlands, August 29-30, 2016
Planning with Numeric Varibles in Multiobjective Planning
Understanding Individual Behaviour: From Virtual to Physical Patterns
Designing KDD-Workflows via HTN-Planning
Markov Constraints for Generating Lyrics with Style
Improvements on Automatic Word Codification for Connectionist Machine Translation
Fast Set Bounds Propagation using BDDs
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction
Concept Logics with Function Symbols
Multi-Agent Planning Using Visual Language Models
How to Establish Arc-Consistency by Reactive Agents
Toward an Automatically Generated Theory of Coordination - Empirical Explorations
BRECS: Enhanced Binary Representation of Word Embeddings via Cosine Similarity
Stock Movement Prediction via Attention-Aware Multi-Order Relation Graph Neural Network
Explanations for Ontology-Mediated Query Answering in Description Logics
Distributed Specification
Anytime Index-Based Search Method for Large-Scale Simultaneous Coalition Structure Generation and Assignment
Logic as a Computer Language for Children
Focusing Reasoning Through Emotional Mechanisms
Compact Representation of Sets of Binary Constraints
Rationale-Guided Few-Shot Classification to Detect Abusive Language
Observation of Communicative Behaviour when Learning a Movement Sequence: Prequel to a Case Study
Rectifying Binary Classifiers
Anchoring Action Representation to Perception in a Mobile Robot
Proceedings of the 2nd International Workshop on Contexts and Ontologies: Theory, Practice and Applications ( C&O-2006 ) Collocated with the 17th European Conference on Artificial Intelligence ( ECAI-2006 ) Riva del Garda, Italy, August 28, 2006
Justification-Based Non-Clausal Local Search for SAT
PAGE: Parametric Generative Explainer for Graph Neural Network
Audience Persona Knowledge-Aligned Prompt Tuning Method for Online Debate
Extraction of Places Related to Flickr Tags
Violated Obligations in a Defeasible Deontic Logic
Integrated Private Data Trading Systems for Data Marketplaces
Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata
Altruistic Cooporation Between Self-Interested Agents
Grouped Multi-Task Learning with Hidden Tasks Enhancement
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
Adaptive Active Learning as a Multi-armed Bandit Problem
Exemplar-Free Incremental Deepfake Detection
SUMMaR: Combining Linguistics and Statistics for Text Summarization
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property
Multi-Unit Auction over a Social Network
Equal Pay for Equal Competences: A Statistical Approach to Address Equal Pay Gap
Morphisms Between Pattern Structures and Their Impact on Concept Lattices
Towards the Automatic Acquisition of Plan Libraries
False-Name-Proof Mechanisms for Path Auctions in Social Networks
Intelligent Route Finding: Combining Knowledge and Cases and an Efficient Search Algorithm
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Exploration in Design Space
Cautious Calibration in Binary Classification
Computing Minimal Conflicts for Rich Constraint Languages
Simultaneous Tracking and Activity Recognition (STAR) using Advanced Agent-Based Behavioral Simulations
The Dynamics of Multi-Agent Reinforcement Learning
Word Sense Induction Using Graphs of Collocations
Models of Expertise
Lifted Probabilistic Inference
An ASP Semantics for Constraints Involving Conditional Aggregates
What You See Is What You Meant: direct knowledge editing with natural language feedback
Pretraining the Vision Transformer Using Self-Supervised Methods for Vision Based Deep Reinforcement Learning
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies
Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams
Algebraic Circuits for Decision Theoretic Inference and Learning