yusuke1997/dblp-id-title huggingface dataset:
A Novel Framework with Information Fusion and Neighborhood Enhancement for User Identity Linkage
Reasoning with a Bounded Number of Resources in ATL+
Transformer-Based Argument Mining for Healthcare Applications
Bidding in Spades
Minimizing Simple and Cumulative Regret in Monte-Carlo Tree Search
Combining Two Heuristics to Solve a Supply Chain Optimization Problem
Dynamic Choice of State Abstraction in Q-Learning
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs
A Big Data Approach for Sequences Indexing on the Cloud via Burrows Wheeler Transform
NASS: Optimizing Secure Inference via Neural Architecture Search
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge
GRAPPA: A Semantical Framework for Graph-Based Argument Processing
Contouring of Knowledge for Intelligent Searching for Arguments
Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems
Overview of AI Research History in USSR and Ukraine: Up-to-Date Just-In-Time Knowledge Concept
Spatial and Frequency-Based Feature Reconstruction for Cross-Database Micro-Expression Recognition
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
How Hard Is Bribery with Distance Restrictions?
Building a Multi-Domain Neural Machine Translation Model Using Knowledge Distillation
Large-scale Interactive Ontology Matching: Algorithms and Implementation
Combining Voting Rules Together
Contrastive Learning with Diverse Samples
General Supervision via Probabilistic Transformations
Propositional Planning as Optimization
Estimating the Time of Arrival of a Shipment with Machine Learning
Deontic Counteridenticals and the Design of Ethically Correct Intelligent Agents: First Steps
Personalised Glucose Prediction via Deep Multitask Networks
AntTree: A Web Document Clustering Using Artificial Ants
Distributed Controllers for Norm Enforcement
Convolutional Bypasses Are Better Vision Transformer Adapters
Vertical Optimization of Resource Dependent Flight Paths
Joint handling of Rational and Behavioral reactions in Assistant Conversational Agents
Kalman-like Filtering in a possibilistic Setting
A Case Study of Revisiting Best-First vs. Depth-First Search
Privacy Preserving Landmark Detection
Evolutionary Clustering on CUDA
NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
Hybrid tractable CSPs which generalize tree structure
Quantitative Modal Logic and Possibilistic Reasoning
A Study of Local Minimum Avoidance Heuristics for SAT
A Domain Knowledge Manager for Dialogue Systems
Classification Reasoning as a Model of Human Commonsense Reasoning
Using a Deep Understanding of Network Activities for Network Vulnerability Assessment
The Use of Assertion-Time Inference in Logic-Based Knowledge Bases
Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation
Dynamic Domain Splitting for Numeric CSPs
A Reinforcement Approach to Schelduling
Complexity of Branching Temporal Description Logics
A Program which Recognizes Overlapping Objects
A Weighted GCN with Logical Adjacency Matrix for Relation Extraction
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce
Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters
Multi-Aspect Enhanced Convolutional Neural Networks for Knowledge Graph Completion
Domain-Specific Complexity Tradeoffs
CPNet: 3D Semantic Relation and Geometry Context Prior Network for Multi-Organ Segmentation
Learning Normative Behaviors Through Abstraction
Pricing Options with Portfolio-Holding Trading Agents in Direct Double Auction
An Architecture for Collaborative Ontology Library Development
Proportional Reasoning in a Boolean Setting
Lattice-Based View Access: A way to Create Views over SPARQL Query for Knowledge Discovery
On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer
Genetic Neural Networks for Financial Markets: Some Results
SelfBC: Self Behavior Cloning for Offline Reinforcement Learning
Voting Rules from Random Relations
Non-Monotone Submodular Maximization with Multiple Knapsacks in Static and Dynamic Settings
GRIF-DM: Generation of Rich Impression Fonts Using Diffusion Models
On Interfacing with an Ubiquitous Robotic System
A Task-Based Evaluation of the TRAINS-95 Dialogue System
ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)
Classification of Public Transport Information Dialogues Using an Information-Based Coding Scheme
On Multi-Agent Coordination of Agri-Robot Fleets
Generosity and the Emergence of Forgiveness in the Donation Game
Barely Decidable Fragments of Planning
Querying semistructured data using a rule-oriented XML query language
Aproximation Properties of Planning Benchmarks
Joint Multiple Intent Detection and Slot Filling with Supervised Contrastive Learning and Self-Distillation
An Architecture for Modeling and Validation. Application to Mobile Robotics
Predicting Long-Term Skeletal Motions by a Spatio-Temporal Hierarchical Recurrent Network
From analogical proportions in lattices to proportional analogies in formal concepts
An Algorithm for the Penalized Multiple Choice Knapsack Problem
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Quality of Learning
Parallel Processing of Natural Language
Contributions to a Proof Theory for Generic Defaults
A SAM Based Tool for Semi-Automatic Food Annotation
TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences
Orwellian Eye: Video Recommendation with Microsoft Kinect
Empirical Comparison of Probabilistic and Possibilistic Markov Decision Processes Algorithms
A Multiprocessor System for Knowledge Representation and Manipulation
Enhancing Sketch-Based Image Retrieval via Deep Discriminative Representation
A Probabilistic Semantics for abstract Argumentation
Sets of Contrasting Rules to Identify Trigger Factors
Interpretation Models and Problem Solving Methods
Neural ODEs with Stochastic Vector Field Mixtures
Arguments, Contradicitions and Practical Reasoning
Space Debris Removal: A Game Theoretic Analysis
Inductive Learning of Effective and Efficient Classification Rules
Learning Order Forest for Qualitative-Attribute Data Clustering
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic
Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract)
Omega-Regular Reward Machines
A Study on the Logic of Abduction
Exploring the Feasibility of Physical Adversarial Attacks: A Cybersecurity Study
Private Knowledge Transfer via Model Distillation with Generative Adversarial Networks
Tractability Results for Automatic Contracting
AI Programs and Cognitive Models: Models of Perceptual Processes
Time Constrained VRP: An Agent Environment-Perception Model
POINE 2 : Improving Poincaré Embeddings for Hierarchy-Aware Complex Query Reasoning over Knowledge Graphs
Adapt PointFormer: 3D Point Cloud Analysis via Adapting 2D Visual Transformers
Diagnosis of Temporal Faults in Discrete-Event Systems
An Agent-Based Model of Procrastination
Behavior-Oriented Commitment-based Protocols
Proactive Identification of a Physician's Information Needs
A Semantics for Abstraction
Polynomial Conditional Random Fields for Signal Processing
EquinorQA: Large Language Models for Question Answering Over Proprietary Data
Data-Empowered Argumentation for Dialectically Explainable Predictions
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Medical diagnostics based on combination of sensor and user-provided data
Rank-Envy-Freeness in Roommate Matchings
Good Things Come to Those Who Wait: The Power of Sensing in Social Laws
Applying Linguistic Engineering to Spatial Software Engineering: the Traceabiiity Problem
Existence of MMS Allocations of Mixed Manna
Tractable Sets of the Generalized Interval Algebra
Ontology Text Alignment: Aligning Textual Content to Terminological Axioms
AI Personalized Interactive Fiction for Young Children
Combining Image and Spatial Reasoning for Model Retrieval
A Formula Circumscriptively both Valid and Unprovable
A System for Pacemaker Treatment Advice
Nearness Rules and Scaled Proximity
Heuristics for Analogy Matching
POMDP-based online target detection and recognition for autonomous UAVs
FL-GNN: Efficient Fusion of Fuzzy Neural Network and Graph Neural Network
Detecting Objects as Cascade Corners
Learning Techniques for Automatic Algorithm Portfolio Selection
Bayesian Networks for Probabilistic Weather Prediction
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
A Stochastic Belief Change Framework with a Stream of Expiring Observations (Short Paper)
From Disjunctive to Normal Logic Programs via Unfolding and Shifting
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
A Developmental Approach to General Learning Processes
On-Time Delivery in Crowdshipping Systems: An Agent-Based Approach Using Streaming Data
Investigating the Learning Behaviour of In-Context Learning: A Comparison with Supervised Learning
ARC: An Extended ATMS Based on Directed CAT-Correct Resolution
Critiquing Knowledge Representation in Medical Image Interpretation Using Structure Learning
The KGP Model of Agency
Empirical Evaluation of the Effects of Concept Complexity on Generalization Error
A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples
Sensitivity Analysis for Dimensionality Reduction in Agent-Based Modeling
Chronicles for On-line Diagnosis of Distributed Systems
Confidence: Ubiquitous Care System to Support Independent Living
Reasoning with Inconsistent Information in a Possibilistic Setting
Game-theoretic Approach to Adversarial Plan Recognition
An Approximate Counting for Big Textual Data Streams
Semantic Accounts of Belief Revision
DRL: Terminologic and Relational Knowledge in Prolog
Logical Interpretations of Autoencoders
A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules
Elaborating Domain Descriptions
Towards Causal Knowledge Graphs - Position Paper
A Family of Defeasible Reasoning Logics and its Implementation
A Machine Learning Approach to Estimation for IC Design
A Logical Foundation for Verification
Language Models as Controlled Natural Language Semantic Parsers for Knowledge Graph Question Answering
False-Name-Proof Facility Location on Discrete Structures
CIDetector: Semi-Supervised Method for Multi-Topic Confidential Information Detection
XFLT: Exploring Techniques for Generating Cross Lingual Factually Grounded Long Text
The Role of Execution Errors in Populations of Ultimatum Bargaining Agents
Theoretically Guaranteed Policy Improvement Distilled from Model-Based Planning
Constant Time EXPected Similarity Estimation for Large-Scale Anomaly Detection
Engineering a Brokering Framework for Providing Semantic Services to Agents on Lightweight Devices
A Semantic Web Approach to Integrate Phenotype Descriptions and Clinical Data
Dialogues as Social Practices for Serious Games
Supporting Agile Software Development by Natural Language Processing
MPT4LM: Multi-Modal Prompt Tuning Makes Pre-Trained Large Language Models Better Vision-Language Learners
Identifying the "right" level of explanation in a given situation
Temporal Planning with Constants in Context
A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures
Empirical investigation of fast text classification over linguistic features
Anomaly Detection Forest
A Quasi-Parallel Contour Following Algorithm
Preference-Based Inconsistency Proving: When the Failure of the Best Is Sufficient
Top-Down Pruning in Relational Learning
Tractable Symmetry Breaking Using Restricted Search Trees
New Randomized Strategies for the Color Coding Algorithm
A Shared-Word Sensitive Sequence-to-Sequence Features Extractor for Sentences Matching
Using Formal Concept Analysis to Create Pathways through Museum Collections
Rapid Adaptation of Air Combat Behaviour
Monte-Carlo Tree Search and Minimax Hybrids with Heuristic Evaluation Functions
A Survey of the Expert System Tool ZDEST-2
On Partial Multi-Task Learning
Planning as Satisfiability
Meta-Typicalness Approach to Reliable Classification
Problem Solving with the NM-ATMS
Big Flood in the Blocks World or Non-Cumulative Learning
Hopfield Neural Network for Scheduling Non Pre-emptive Tasks
Towards a Framework for Detecting Opportunism in Multi-Agent Systems
On the Equivalence of Constraint Satisfaction Problems
A Faster Branching Algorithm for the Maximum k-Defective Clique Problem
Gaining Insights into Web Customers using Web Intelligence
Principled Explanations for Robust Redistributive Decisions
Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and action
Neural Networks and Logic Programming - a Hybrid Model and its Applicability to Building Expert Systems
In Defense of Programming Languages Design
Revocable Backdoor for Deep Model Trading
Oracle-Based Local Search for Pseudo-Boolean Optimization
Partial Label Learning via Generative Adversarial Nets
Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler
Subgroup Discovery with SD4Py
An Efficient Approach for the Generation of Allen Relations
Analytical Learning of Inductive Inference
Toward Addressing Collusion Among Human Adversaries in Security Games
Automatic Generation of Macro-Operators from Static Domain Analysis
A Multivalued Logic Model of Planning
Reference Choices in Mathematical Proofs
PLACO: A Multi-Stage Framework for Cost-Effective Performance in Human-AI Teams
Dynamic Case Memory Management
Data-Free Class-Incremental Learning with Implicit Representation of Prototypes
Cost-Sensitive Learning with Neural Networks
On Computing the Next Look Camera Parameters in Active Vision
Impact of Automated Action Labeling in Classification of Human Actions in RGB-D Videos
Learning to Author Text with textual CBR
Ontology-Based Retrospective and Prospective Diagnosis and Medical Knowledge Personalization
SLIDE: A Useful Special Case of the CARDPATH Constraint
PARIS: Planning Algorithms for Reconfiguring Independent Sets
IPERS: Individual Prioritized Experience Replay with Subgoals for Sparse Reward Multi-Agent Reinforcement Learning
A Distributed Activity Processing System for AI
Representing Actions by State Logic
Minimizing and Recovering from the Effect of Concept Drift via Feature Selection
Complying with the EU AI Act
On the Life-Cycle of BDI Agent Goals
Extending Set-based Dualization: Application to Pattern Mining
Multilateral Bargaining for Resource Division
Balancing Coordination and Synchronization Cost in Cooperative Situated Multi-Agent Systems with Imperfect Communication
Probabilistic Reinforcement Rules for Item-Based Recommender Systems
Semantic Augmentation on Motion Manifold for Single-Stream Unsupervised Action Recognition
Adversarial Discriminator to Mitigate Gender Bias in Abusive Language Detection
An Ontology Debugger for the Semantic Wiki KnowWE (Tool Presentation)
Speeding Up 2-way Number Partitioning
A Methodology Establishing Linear Convergence of Adaptive Gradient Methods under PL Inequality
Proceedings of the ECAI 2002 Workshop on Semantic Authoring, Annotation & Knowledge Markup, SAAKM@ECAI 2002, Lyon, France, July 22-26, 2002
Enhancing Node Representations for Real-World Complex Networks with Topological Augmentation
Prioritized Simple Contrapositive Assumption-Based Frameworks
A 3D Free Form Object Localization Using Skeletons: Application to Teleoperation
Mapping Clinical Guidelines Representation Primitives to Decision Theory Concepts
Semi-Supervised Group Sparse Representation: Model, Algorithm and Applications
Multi-Agent Path Finding with Task Assignment and Supporting Constraints
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
Graded Default Theories for Uncertainty
Generation of Relevant Spreadsheet Repair Candidates
A Global Theory of Inheritance
A Resolution Calculus with Dynamic Sort Structures and Partial Functions
An Expert System for Speech Decoding
MOOD: Massive Open Online Deliberation Platform - A Practical Application
Version Space Learning with Instance-Based Boundary Sets
Relational Data Exploration by Relational Concept Analysis
Alternating-Offers Bargaining Under One-Sided Uncertainty on Deadlines
The art painting style Classifier based on Logic Aggregators and qualitative colour Descriptors (C-LAD)
Frontier Search for Bicriterion Shortest Path Problems
Artificial Agents Facilitate Human Cooperation Through Indirect Reciprocity
TrustMIS: Trust-Enhanced Inference Framework for Medical Image Segmentation
A Model for the Automatic Processing of Argumentative Dialogues
Role Swapping in Multi-Agent Sensor Webs
Planning with Semantic Attachments: An Object-Oriented View
AlegAATr the Bandit
Employing Linear Regression in Regression Tree Leaves
Development Principles for Dialog-Based Interfaces
Adaptive Spectral-Heterophily for Node Classification
User-Controllable Recommendation via Counterfactual Retrospective and Prospective Explanations
Create and Find Flatness: Building Flat Training Spaces in Advance for Continual Learning
A New Approach to the Snake-In-The-Box Problem
Uncontroversial Default Logic
Architecture for Agent Programming Languages
A Real Generalization of Discrete AdaBoost
Modelling an Intelligent Tutoring System based on Supervised Behaviour Biometrics
Grafting Fine-Tuning and Reinforcement Learning for Empathetic Emotion Elicitation in Dialog Generation
AREX - Classification Rules Extracting Algorithm Based on Automatic Programming
Minimizing Cumulative Error in Discourse Context
Solving the Car-Sequencing Problem in Constraint Logic Programming
The Computational Impact of Partial Votes on Strategic Voting
Weight Scope Alignment: A Frustratingly Easy Method for Model Merging
Exploring Algorithms through Mutations
Recycling an Information Extraction System to Automatically Produce Semantic Annotations for the Web
Explaining Non-Acceptability in Abstract Argumentation
Cost-Optimal Algorithms for Planning with Procedural Control Knowledge
An Active Learning Method for Speaker Identity Annotation in Audio Recordings
Abstraction Tree Indexing for Terms
Abduction and Dialogical Proof in Argumentation and Logic Programming
Coalition Formation Strategies for Self-Interested Agents in Hedonic Games
Online Probabilistic Interval-Based Event Calculus
Transfer Learning Can Introduce Bias
Weighted Manipulation for Four-Candidate Llull Is Easy
MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution
Region-Specific Prototype Customization for Weakly Supervised Semantic Segmentation
Temporal and Resource Reasoning in Planning: the parcPLAN approach
PAIS 2022 - 11th Conference on Prestigious Applications of Artificial Intelligence, 25 July 2022, Vienna, Austria (co-located with IJCAI-ECAI 2022)
Disambiguating Road Names in Text Route Descriptions using Exact-All-Hop Shortest Path Algorithm
Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidates to Plurality Elections
Supporting the Diagnosis of Dysplastic Nevi Syndrome via Multiple Instance Learning approaches
Learning and Communication in Multi-Agent Systems
Social Intentions (Panel)
Computing Extensions of Terminological Default Theories
Mitigating Bias: Model Pruning for Enhanced Model Fairness and Efficiency
Salient Region Detection Based on the Global Contrast Combining Background Measure for Indoor Robots
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming
An agile framework for trustworthy AI
On human-AI collaboration in artistic performance
Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues
Processes as Components: On the Primitives of a Qualitative Scientific Physics
Summary Information for Reasoning About Hierarchical Plans
A contextual reading of conditional commitments
Constraint Based Planning with Composable Substate Graphs
Automatic Transformation of Abstract Data Types "FAIR" Presentations
Wind speed forecasting using spatio-temporal indicators
PushNet: Efficient and Adaptive Neural Message Passing
Multilevel Agent-Based Modelling for Assignment or Matching Problems
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
An Active, Ontology-driven Network Service for Internet Collaboration
FltLM: An Intergrated Long-Context Large Language Model for Effective Context Filtering and Understanding
A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning
Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis
A Dynamic Approach for Automatic Error Detection in Generation Grammars
Towards the Exploitation of Statistical Language Models for Plagiarism Detection with Reference
Detecting Out-of-Distribution Objects Using Neuron Activation Patterns
RADAR: Reasoning on ADA Rubbish
What's in a Social Action for U?
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization
Hierarchical Text Classification Using Contrastive Learning Informed Path Guided Hierarchy
Combining EBL from Success and EBL from Failure with Parameter Version Spaces
Polynomial-Time Implicit Learnability in SMT
Adaptive Self-Supervision Algorithms for Physics-Informed Neural Networks
On Sustainable Ride Pooling Through Conditional Expected Value Decomposition
Lattice-based biclustering using Partition Pattern Structures
Inference Structure as a Basis for Problem Solving
Abstraction for ASP Planning
LoCa: Logit Calibration for Knowledge Distillation
The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach
MEFusion: Unsupervised Mutual Enhancement for Multimodal Image Fusion
Using Constraints with Memory to Implement Variable Elimination
Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway
Deep Reinforcement Learning with Implicit Imitation for Lane-Free Autonomous Driving
Probabilistic Logic Programming
What is Computation? (Panel Introduction)
Local search algorithms on the Stable Marriage Problem: Experimental Studies
Large-scale Parallel Stratified Defeasible Reasoning
Contributions to the Journal Track
u-LLaVA: Unifying Multi-Modal Tasks via Large Language Model
Symbolic A * Search with Pattern Databases and the Merge-and-Shrink Abstraction
The World is a Multi-Objective Multi-Agent System: Now What?
LFAA: Crafting Transferable Targeted Adversarial Examples with Low-Frequency Perturbations
Resilient Distributed Constraint Optimization in Physical Multi-Agent Systems
An Autonomous Cooperative System for Material Handling Applications
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction
Efficient Grounding of Game Descriptions with Tabling
DrDiff: Drug Response Prediction Through Controllable Diffusion-GE and Graph Attention Network
Neural Multi-class Classification Approach to Blood Glucose Level Forecasting with Prediction Uncertainty Visualisation
Coordinating Dialogue Systems and Stories through Behavior Composition
Neighborhood-Based Pooling for Population-Level Label Distribution Learning
Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing
Stream-Based Reasoning Support for Autonomous Systems
Towards an Integrated Debugging Environment
Offline Model-Based Reinforcement Learning with Anti-Exploration
Temporal Inference with a Point Based Interval Algebra
Strategic planning in the game of Go using coupled non-linear oscillators
Extensions of Constraint Solving for Proof Planning
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions
Belief Contraction Within Fragments of Propositional Logic
Point Cloud Segmentation with Deep Reinforcement Learning
Reasoning for Agreement Technologies
Learning Domain-specific Sentiment Lexicon with Supervised Sentiment-aware LDA
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning