yusuke1997/dblp-id-title huggingface dataset:
To Quit or to Cruise? Modeling Parking Search Decisions Based on Serious Games
Learning Pruning Rules for Heuristic Search Planning
Influencing Social Networks: An Optimal Control Study
Improved Multi-Label Classification Using Inter-Dependence Structure via a Generative Mixture Model
Finding Blobs of Writing in the FORTRAN Coding-Sheets Project
Integration of Activity Modeller with Bayesian Network Based Recommender for Business Processes
Deciding Membership in a Class of Polyhedra
Description Logics with Symbolic Number Restrictions
Extending TALplanner with Concurrency and Resources
Group Activity Recognition in Basketball Tracking Data - Neural Embeddings in Team Sports (NETS)
ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations
Crossroad Diagnosis
Deviation-Proof Plans in Open Multiagent Environments
An Automatic Difference-List Transformation Algorithm for Prolog
Moral Systems of Agent Societies: Some Elements for their Analysis and Design
Alopex Network Algorithm Applied to Predict Gas Usage
Topic Segmentation of Educational Video Lectures Using Audio and Text
Optimizing Causal Link Based Web Service Composition
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Aplying LSTM Networks to Predict Multi-drug Resistance Using Binary Multivariate Clinical Sequences
The Use of Model-Based Diagnosis in Redesign
Dirichlet Logistic Gaussian Processes for Evaluation of Black-Box Stochastic Systems under Complex Requirements
The Possible Winner Problem with Uncertain Weights
Improving Heuristics Through Search
Temporal Feature Selection for Characterizing Antimicrobial Multidrug Resistance in the Intensive Care Unit
On the Use of Epistemic Entrenchment in Reasoning about Action
Skeptical and Credulous Event Calculi for Supporting Modal Queries
Network-based Truth Maintenance System
Multiple Perspectives and Classification Mechanism in Object-Oriented Representation
KNOWLEDGECHECKR: Intelligent Techniques for Counteracting Forgetting
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals
OmniCLIP: Adapting CLIP for Video Recognition with Spatial-Temporal Omni-Scale Feature Learning
MaxSAT-Based Inconsistency Measurement
In-Network Machine Learning for Real-Time Transaction Fraud Detection
Are Parallel BDI Agents Really Better?
13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings
Learning in Classifier Systems is Hard
Imegrating Domain and Paradigmatic Similarity for unsupervised Sense Tagging
Expectation Propositional Logics
Resolving Conflicts in Action Descriptions
Recovering and CAD/CAM Processing of Complex Surfaces
Environmentally-Aware Bundle Recommendation Using the Choquet Integral
Declarative Representation of Revision Strategies
Finding Diverse High-Quality Plans for Hypothesis Generation
Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance
On the Non-Existence of Knowledge Level Models
Learning in Multi-Objective Public Goods Games with Non-Linear Utilities
Neural Architecture Search for Explainable Networks
Hierarchical Planning: Definition and Implementation
Partial Consistency for Constraint-Satisfaction Problems
Assessing the Clinicians' Pathway to Embed Artificial Intelligence for Assisted Diagnostics of Fracture Detection
A First Comparison of Abstract Argumentation Reasoning-Tools
Abduction over Unbounded Domains via ASP
Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems
Emergence of Complex Networks through Local Optimization
Qualitative Representation of Planar Outlines
Neural Learning for Robot Control
Reasoning with Misperception in the Features and Fluents Framework
AGENTFLY: Multi-Agent Simulation of Air-Traffic Management
From bursty patterns to bursty facts: The effectiveness of temporal text mining for news
Supporting Natural Language Updates in Database Systems
Integrating Abduction and Induction
A Novel View of Analogical Proportion Between Formulas
Tracking the Lexical Zeitgeist with WordNet and Wikipedia
Multispecialist System for 3D Scene Analysis
Enhancing Computer Science Education by Automated Analysis of Students' Code Submissions
Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow
GABInsight: Exploring Gender-Activity Binding Bias in Vision-Language Models
Using Domain Knowledge to Guide Lattice-based Complex Data Exploration
Mitigating Long-Tail Language Representation Collapsing via Cross-Lingual Bootstrapped Unsupervised Fine-Tuning
Human-Computer Agent Negotiation Using Cross Culture Reliability Models
Search in AI: Escaping from the CSP Straightjacket
On Testing Answer-Set Programs
A Many Sorted PROLOG Based on Equational Unification
Truth Maintenance Systems and Belief Revision
Compiling Stratified Belief Bases
Uncertain Relational Hypergraph Attention Networks for Document-Level Event Factuality Identification
A Bilevel Formalism for the Peer-Reviewing Problem
A Framework for Teaching Qualitative Models
Enforcing Natural Properties of Choice Functions, with Application for Combination
Survival of the Fittest: Evolutionary Adaptation of Policies for Environmental Shifts
A Qualitative Reasoning Approach to Fault Avoidance
Learning After Learning: Positive Backward Transfer in Continual Learning
Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity
Emergence of Rules in Cell Assemblies of fLIF Neurons
Heuristic Bidding Strategies for Multiple Heterogeneous Auctions
Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses
Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs
The Leximin Approach for a Sequence of Collective Decisions
A Predictive Model for Risk Management of the Hospitalised Patient as a Clinical Decision Support System
Learning to Predict Charges for Legal Judgment via Self-Attentive Capsule Network
ProbLog Technology for Inference in a Probabilistic First Order Logic
The Quality of Content Publishing in the Digital Era
From Intermediate Representations to Explanations: Exploring Hierarchical Structures in NLP
Preserving Semantics in Textual Adversarial Attacks
Learning Conjunctive Information of Signals in Multi-Sensor Systems
SecPE: Secure Prompt Ensembling for Private and Robust Large Language Models
Creating Explainable Dynamic Checklists via Machine Learning to Ensure Decent Working Environment for All: A Field Study with Labour Inspections
Enforcing a Semantic Routing Mechanism based on Peer Context Matching
Leveraging Stratification in Twitter Sampling
Count-Based Novelty Exploration in Classical Planning
First experiences of using semantic knowledge learned by ASIUM for information extraction task using INTEX
Resource-Constrained Knowledge Diffusion Processes Inspired by Human Peer Learning
Incidental and State-Dependent Phenomena in Robot Problem Solving
The Computational Complexity of Multiple-Context Truth Maintenance Systems
Proceedings of the 2nd East European Workshop on Rule-Based Applications (RuleApps 2008) at the 18th European Conference on Artificial Intelligence, Patras, Greece, July 23, 2008
Towards Lossless Binary Convolutional Neural Networks Using Piecewise Approximation
Exploring Multi-Task Learning for Explainability
Constructive Default Logic and the Control of defeasible reasoning
Memory Adaptive and Spatially Specialized Model Ensembles for Industrial Anomaly Detection
Enhancing Document-Level Relation Extraction with Relation-Specific Entity Representation and Evidence Sentence Augmentation
Normalized Stochastic Heavy Ball with Adaptive Momentum
Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames
Schedule Generation Schemes for Job Shop Problems with Fuzziness
Using multiple contexts to distinguish standing from sitting with a single accelerometer
MindScope: Exploring Cognitive Biases in Large Language Models Through Multi-Agent Systems
Decision-making with Sugeno integrals: DMU vs. MCDM
SAIE Framework: Support Alone Isn't Enough - Advancing LLM Training with Adversarial Remarks
Activity Recognition from Video Sequences using Declarative Models
On Some Properties of Forgetting in ASP
On the Notion of Envy Among Groups of Agents in House Allocation Problems
Eliciting a Suitable Voting Rule via Examples
Semantics of an Anytime Family of Reasoners
Value-Based Reasoning and Norms
Multi-Modal Subjective Context Modelling and Recognition
An Efficient Modular Algorithm for Connected Multi-Agent Path Finding
Group Fairness with Individual and Censorship Constraints
Toward a Generic AutoML-Based Assistant for Contracts Negotiation
Rewrite or Not Rewrite? ML-Based Algorithm Selection for Datalog Query Answering on Knowledge Graphs
An Environment for Expert Image Processing
The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems
Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search
Towards Inconsistency Measurement in Business Rule Bases
What Is It That Makes It a Horowitz? Empirical Musicology via Machine Learning
Evolving Dictionary Representation for Few-Shot Class-Incremental Learning
Applying OPRMs to Recursive Probability Models
A Case-Based Reasoning System Using a Control Case-Base
Cognitive Diagnosis for Tutoring Systems
An Architecture for Situation-Aware Evacuation Guidance in Smart Buildings
Personalisation Technologies for the Digital TV World
Capsule Network with Label Dependency Modeling for Multi-Label Emotion Classification
Abstraction-Based Verification of Infinite-State Reactive Modules
Generating Diagnoses from Conflict Sets with Continuous Attributes
Future Developments in Artificial Intelligence: A Personal View
Hybrid Gaussian and von Mises Model-Based Clustering
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences
Advanced Public Transport Network Analyser
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices
UDUC: An Uncertainty-Driven Approach for Learning-Based Robust Control
Building State-of-the-Art SAT Solvers
(Co)evolution Leads towards ROMAs
Why is this Wrong? - Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser
Coalition Structures in Weighted Voting Games
EEG-Based fMRI Digital Twin: Towards a Cheap and Ecological Approach to Measure Subcortical Brain Activity
Variations on Backtracking for TMS
Towards a Theory of Situated Know-How
Assessing Privacy Risks of Attribute Inference Attacks Against Speech-Based Depression Detection System
High-Level Observations in Java Debugging
Robust Requirements Analysis in Complex Systems through Machine Learning
Detecting Human Patterns in Laser Range Data
Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory
Paramodulated Connection Graphs
Using an Ontology Conceptualisation Method to Capture an Advice Giving System Knowledge
A Conceptual Reasoning Approach to Textual Ellipsis
The Piano Music Companion
Controlling Functional Uncertainty
Yet another Semantics of Goals and Goal Priorities
In Search of a Modal System for Possibility Theory
Learning Reward Structure with Subtasks in Reinforcement Learning
Does AI Programming really have to be like knitting with Spaghetti?
A Conversational System which Understands Short Stories
ChatGPT-HealthPrompt. Harnessing the Power of XAI in Prompt-Based Healthcare Decision Support using ChatGPT
On Cross-lingual Plagiarism Analysis using a Statistical Model
Contract-Net-Based Learning in a User-Adaptive Interface Agency
Capacitated Online Clustering Algorithm
Region-Aware Dynamic Filtering Network for 3D Hand Reconstruction
Links between Content and Information-Content
Belief revision with reinforcement learning for interactive object recognition
Discovering Relevancies in Very Difficult Regression Problems: Applications to Sensory Data Analysis
Pseudo-tree Search with Soft Constraints
A Scalable Clustering-Based Local Multi-Label Classification Method
Item Response Theory to Estimate the Latent Ability of Speech Synthesizers
Planning with Logical Graph-Based Language Model for Instruction Generation
A High Level Machine for Artificial Intelligence
Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations
Programming Environments
Tunneling and Decomposition-Based State Reduction for Optimal Planning
Behaviour-Driven Development for Computer-Interpretable Clinical Guidelines
Minisum and Minimax Committee Election Rules for General Preference Types
A Summary of Coupled Expert Systems Building Toolkit ZIPE
Does Serendipity Enhance Recommendation Quality? Measuring Accuracy and Beyond-Accuracy Objectives of Serendipitous POI Suggestions
Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems
CERM: Context-Aware Literature-Based Discovery via Sentiment Analysis
Optimal Brain Surgeon Variants for Optimization
An Axiom System for a Spatial Logic with Convexity
Evolving Bidding Strategies for Multiple Auctions
Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning
An Iterative A* Algorithm for Planning of Airport Ground Movements
Document and Word Representations Generated by Graph Convolutional Network and BERT for Short Text Classification
Dealing with Multi-Source Information in Possibilistic Logic
Structured Sparse Multi-Task Learning with Generalized Group Lasso
Redefining the Candidate Space in Model-Based Diagnosis
Settling the Score: Portioning with Cardinal Preferences
Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information Retrieval
CUBE: A CUDA Approach for Bucket Elimination on GPUs
Diagnosis discrimination for ontology debugging
Software Companion: The Mexar2 Support to Space Mission Planners
A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts
Classifier Guidance Enhances Diffusion-Based Adversarial Purification by Preserving Predictive Information
Norm Defeasibility in an Institutional Normative Framework
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration
A Unified Model for Multilabel Classification and Ranking
GraphSA: Smart Contract Vulnerability Detection Combining Graph Neural Networks and Static Analysis
A Uniform Account of Realizability in Abstract Argumentation
A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation
Letting Go of Self-Domain Awareness: Multi-Source Domain-Adversarial Generalization via Dynamic Domain-Weighted Contrastive Transfer Learning
XGBD: Explanation-Guided Graph Backdoor Detection
Multiobjective Prices of Stability and Anarchy for Multiobjective Games
Unsupervised Feature Generation using Knowledge Repositories for Effective Text Categorization
Enhancing Retrieval and Managing Retrieval: A Four-Module Synergy for Improved Quality and Efficiency in RAG Systems
Improving Adoption of AI Impact Assessment in the Media Sector
Robust Submodular Minimization with Applications to Cooperative Modeling
Extending Context Window of Attention Based Knowledge Tracing Models via Length Extrapolation
The Stream Field Method Applied to Mobile Robot Navigation: a Topological Perspective
An Ontology Based Document Management
A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults
Effects of Incremental Output on Incremental Natural Language Generation
Strategic and Epistemic Reasoning for the Game Description Language GDL-II
A Learner Model Reason Maintenance System
Off-Policy Shaping Ensembles in Reinforcement Learning
Phenomenology, Representations and Complexity
The Future of AI Funding
Phase Transitions and Annealed Theories: Number Partitioning as a Case Study
Shaping Proto-Value Functions Using Rewards
Balancing Optimality and Robustness in Resource Allocation Problems
Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives
Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases
Cross-Domain Contextualization of Sentiment Lexicons
Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference Corpora
Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions
Characterizing General Preferential Entailments
Problems with Using Genetic Algorithms for Neural Network Feature Selection
Learning Uncertainty Tubes via Recurrent Neural Networks for Planning Robust Robot Motions
M-SOM-ART: Growing Self Organizing Map for Sequences Clustering and Classification
Small and Large MCTS Playouts Applied to Chinese Dark Chess Stochastic Game
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse
Parameter Estimation of Long Memory Stochastic Processes with Deep Neural Networks
A Logic for Reasoning about Action, Preference, and Commitment
Causal Logic
Intention Reconsideration in Theory and Practice
Using Meta-Learning to Initialize Bayesian Optimization of Hyperparameters
Labeled Logics of Conditional Goals
Online Learning to Accelerate Neural Network Inference with Traveling Classifiers
Representation of Phonetic and Phonemic Knowledge in a Speech Understanding System
Predictions and Procedures in Semantically-Based Grammar
Deterministic Modal Logics for Automated Deduction
Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams
Artificial Intelligence for Knowledge Management with BPMN and Rules
A MAX-SAT Algorithm Portfolio
Remaining Useful Life Curve Prediction of Rolling Bearings Under Defect Progression Based on Hierarchical Bayesian Regression
Using Decision Trees as the Answer Networks in Temporal Difference-Networks
Correlating Internal Parameters and External Performance: Learning Soccer Agents
EFx Budget-Feasible Allocations with High Nash Welfare
Stochastic Search in Inductive Logic Programming
Robust Division in Clustering of Streaming Time Series
Interactive Multi modal Explanations and their Temporal Coordination
DeepDiscord: Dual Contrastive Coding for Transferable Time Series Anomaly Detection
Similarity Measures of Algorithm Performance for Cost-Sensitive Scenarios
ChemoVerse: Manifold Traversal of Latent Spaces for Novel Molecule Discovery
Translation and Transliteration Based Data Augmentation for Multilingual Semantic Parsing
Markov Logic Networks with Numerical Constraints
Interval Forecast of Water Quality Parameters
Unsupervised vehicle counting via multiple camera domain adaptation
Designing a Successful Adaptive Agent for TAC Ad Auction
Tracking AI: The Capability Is (Not) Near
MC-SORT: A Motion Correction-Based Framework for Long-Term Multiple Object Tracking
Solving the Find-Path Problem in 3D by a Simple Object Model
Deep Learning for in vivo Bronchial Carinae Detection in Flexible Bronchoscopy
Detecting Patterns of Attacks to Network Security in Urban Air Mobility with Answer Set Programming
A Computational Method for Extracting, Representing, and Predicting Social Closeness
Stable Model Semantics and its Computation for Ordered Logic Programs
Minimality and Comparison of Sets of Multi-Attribute Vectors
A pervasive assistant for nursing and doctoral staff
The Status Quo of Ontology Learning from Unstructured Knowledge Sources for Knowledge Management
Enhancing Text Generation with Cooperative Training
Orbit Slot Allocation in Earth Observation Constellations
Embedding Minimal Knowledge into Negation as Failure
On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization
Representation Matters for Mastering Chess: Improved Feature Representation in AlphaZero Outperforms Switching to Transformers
Modular Behavior Trees: Language for Fast AI in Open-World Video Games
Generic Specialists in Competent Behaviour
Permutation Learning via Lehmer Codes
How Ethical Frameworks Answer to Ethical Dilemmas: Towards a Formal Model
A Motivation-Based Mechanism to Design Behaviors
A Temporal Planning System for Durative Actions of PDDL2.1
Strategic Voting in a Social Context: Considerate Equilibria
A Causation Theory for a Logic of Continuous Change
SPIN: SE(3)-Invariant Physics Informed Network for Binding Affinity Prediction
Placement Aware Grasp Planning for Efficient Sequential Manipulation
Automatic Learning in Proof Planning
Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance
Towards a Sequent Calculus for Formal Contexts
CSAdv: Class-Specific Adversarial Patches for DETR-Style Object Detection
Towards a Programming Methodology Founded on Partial Deduction
Comparison of Search Strategies in Learning Relations
Feasible Action-Space Reduction as a Metric of Causal Responsibility in Multi-Agent Spatial Interactions
Struct-MMSB: Mixed Membership Stochastic Blockmodels with Interpretable Structured Priors
Construction of a Model for Reasoning by Analogy
On Metric Temporal Description Logics
Forming Odour Categories Using an Electronic Nose
Proceedings of the First International Workshop on Ambient Intelligence for Large Premises (AmILP 2016) co-located with the European Conference on Artificial Intelligence (ECAI 2016), The Hague, the Netherlands, August 28, 2016
Vivifying Propositional Clausal Formulae
Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach
Program Synthesis in Predicate Logic
A Text-Based Deep Reinforcement Learning Framework for Interactive Recommendation
Iterative Reward Shaping Using Human Feedback for Correcting Reward Misspecification
MIP: A New Hybrid Multi-Agent Architecture for the Coordination of a Robot Colony Activities
Predicting Phase Transitions of Binary CSPs with Constraint Graph Information
SmartCare TM -Automated Clinical Guidelines in Critical Care
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts
An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications
Randomized Canonical Correlation Discriminant Analysis for Face Recognition
Towards an Electronic Dictionary
Towards an Algorithm Selection Standard: Data Format and Tools
WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant Management
Object Allocation and Positive Graph Externalities
Distributed Repair of Nondiagnosability
On the Representation and Combination of Evidence in Instance-Based Learning
From a Possibility Theory View of Formal Concept Analysis to the Possibilistic Handling of Incomplete and Uncertain Contexts
New Advances in Compiling CNF into Decomposable Negation Normal Form
Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis)
ANSPRE: Improving Question-Answering in Large Language Models with Answer-Prefix Generation
Learning From Conditionals: Judy Benjamin's Other Problems
Norms with Deadlines in Dynamic Deontic Logic
DeepGS: Deep Representation Learning of Graphs and Sequences for Drug-Target Binding Affinity Prediction
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae
Preliminary Evaluation of the Connection Network for the Multi-PSI System
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
Generating Replanning Goals Through Multi-Objective Optimization in Response to Execution Observation
An Online Incremental Learning Approach for Configuring Multi-arm Bandits Algorithms
Conditionally Acyclic CO-Networks for Efficient Preferential Optimization
Hisory-Based Inside-Outside Algorithm
Enforcing Solutions in Constraint Networks
Circumscriptions as Preferential Entailment
Knowledge Oriented Design of an Application for Real Time Traffic Management: The TRYS System
Unsupervised Activity Recognition Using Latent Semantic Analysis on a Mobile Robot
Iterative Judgment Aggregation
Negative-Aware Training: Be Aware of Negative Samples
Neural Large Neighborhood Search for the Capacitated Vehicle Routing Problem
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I