yusuke1997/dblp-id-title huggingface dataset:
Concept Building with Non-Hierarchical Relations Extracted from Text - Comparing a Purely Syntactical Approach to a Semantic one
Refinement of Unsupervised Cross-Lingual Word Embeddings
Linguistic Constraints and Memory Management
Modelling the Interpretation of Novel Compounds
Near Admissible Algorithms for Multiobjective Search
How Hard Is It to Control an Election by Breaking Ties?
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
Building a Representation Context Based on Attribute Exploration Algorithms
Foundations of Knowledge Representation and Reasoning
WPN: An Unlearning Method Based on N-pair Contrastive Learning in Language Models
Large Language Models Understand Layout
No Agreement Without Loss: Learning and Social Choice in Peer Review
Context Matters: Leveraging Spatiotemporal Metadata for Semi-Supervised Learning on Remote Sensing Images
Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents
Contextual Q-Learning
Verifying the Conformance of Agents with Multiparty Protocols
A Qualitative Representation of Trajectory Pairs
Scale-and-Orientation Independent Computer Pattern Perception
Fuzzy Ensemble Learning and Lightweight CNN for Stress Classification
Combining Active Learning and Learning to Reject for Anomaly Detection
Semantic Decomposition for Question Answering
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains
Simplex Decomposition for Portfolio Allocation Constraints in Reinforcement Learning
Real-time Adaptive Problem Detection in Poultry
RETRO-LI: Small-Scale Retrieval Augmented Generation Supporting Noisy Similarity Searches and Domain Shift Generalization
A Top Down Proof Procedure for Default Logic by Using Abduction
Conditional Norms and Dyadic Obligations in Time
GenCo: An Auxiliary Generator from Contrastive Learning for Enhanced Few-Shot Learning in Remote Sensing
Differentiating Choices via Commonality for Multiple-Choice Question Answering
Mapping Contexts to Vocabularies to Represent Intentions
Pattern-based Explanation for Automated Decisions
Mapping Ontologies and Contexts: From Theory to a Case Study
Prime Implicate-based Belief Revision Operators
Benefits of Combinatorial Auctions with Transformability Relationships
An Efficient Upper Approximation for Conditional Preference
Madia Fabrics: The Problem of Time in Personal Media Making
Little Motion, Big Results: Using Motion Magnification to Reveal Subtle Tremors in Infants
Seeing a Pattern as a Character
A Context-Based Model of Attention
Explanation-Based Generalization for Negation as Failure and Multiple Examples
Integrating Off-Line and On-Line Schedulers
Learning Compositional, Time-Varying Neural Barrier Contracts
Job-Level Algorithms for Connect6 Opening Position Analysis
Extending the Knowledge Compilation Map: Closure Principles
AUC Maximization in Bayesian Hierarchical Models
A Study of the Accuracy of Heuristic Functions
Domain Representation Assisting Cognitive Analysis
A Redundancy-Based Method for Relation Instantiation from the Web
JOSAL: Joint Learning Framework for Open-Set Active Learning
Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2
Improving Calibration by Relating Focal Loss, Temperature Scaling, and Properness
Revisiting the Robustness of the Minimum Error Entropy Criterion: A Transfer Learning Case Study
Reasonable Gradients for Online Training Algorithms in Spiking Neural Networks
Combining Restarts, Nogoods and Decompositions for Solving CSPs
SCHEDULING: A Problem of Decision-Making Under Uncertainty
Constraints as Consultants
DAI-DEPUR: An Environmental Decision Support System for the control and supervison of Municipal WasteWater Treatment Plants
An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MAS
Discovering a Proof for the Fixed Point Theorem: A Case Study
A New Approach to Classification by Means of Jumping Emerging Patterns
Mining Insights from Large-Scale Corpora Using Fine-Tuned Language Models
On the stability of an Optimal Coalition Structure
Limited Voting for Better Representation?
Hiding Actions in Concurrent Games
Do We Care About Poll Manipulation in Political Elections?
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS
Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, August 29, 2020
Kernel Methods for Revealed Preference Analysis
Explaining an Agent's Future Beliefs Through Temporally Decomposing Future Reward Estimators
Goal Types in Agent Programming
A Formalization of Generalization-Based Analogy in General Logic Programs
A Compression-Based Method for Stemmatic Analysis
An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations
An Agent Service Brokering Algorithm for Winner Determination in Combinatorial Auctions
Computing Salience
Natural Language Texts for a Cognitive Vision System
Homogeneous Online Transfer Learning with Online Distribution Discrepancy Minimization
On the Virtues of Functional Connectionist Compositionality
Integrating Network Embedding and Community Outlier Detection via Multiclass Graph Description
Truth Tables for a Combinatorial Kernel of Set Theories
Vision in Robotics: How a Robot can Segment Figure from Ground
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets
A Bottom-Up Attention System for Active Vision
How to Specialize by Theory Refinement
Interpretable Graph Neural Networks for Tabular Data
Description Logics with Concrete Domains and Functional Dependencies
Parallel TBox Classification in Description Logics - First Experimental Results
Automated Verification of Social Law Robustness for Reactive Agents
Fair Distribution of Collective Obligations
Improving Hierarchical Classification with Partial Labels
Improving the Performance of Transformer-Based Models Over Classical Baselines in Multiple Transliterated Languages
Finite and Confident Teaching in Expectation: Sampling from Infinite Concept Classes
Competing in a Queue for Resource Allocations among Non-Cooperative Agents
Quantifying the Completeness of Goals in BDI Agent Systems
Measures for Combining Accuracy and Time for Meta-learning
Complex Multi-Ontology Alignment Through Geometric Operations on Language Embeddings
Towards Traceability of Decision-making in Intelligent Context-based Adaptive System Environments
Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002
Flexible Demand Assignment Problem
VCD Bounds for some GP Genotypes
Co-Operative Expert Systems
Towards Efficient Belief Update for Planning-Based Web Service Composition
Knowledge Representation and Communication Mechanisms in LORE
A Generalization of the Shortest Path Problem to Graphs with Multiple Edge-Cost Estimates
Why is Scheduling Difficult? A CSP Perspective
FCA Tools Bundle - A Tool that Enables Dyadic and Triadic Conceptual Navigation
Basic Utility Theory for Belief Functions
Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice?
Derivative-Free Optimization with Adaptive Experience for Efficient Hyper-Parameter Tuning
Special Purpose, but Domain Independent, Inference Mechanisms
Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs
Diagnosability Analysis of Distributed Discrete Event Systems
SmartWeb: Getting Answers on the Go
Multi-Scale Long Short-Term Memory Network with Multi-Lag Structure for Blood Glucose Prediction
Similarity for Analogical Software Reuse: A Computational Model
A General Consistency (Checking and Restoring) Engine for Knowledge Bases
Improving Video Activity Recognition using Object Recognition and Text Mining
Multiscale Triangular Centroid Distance for Shape-Based Plant Leaf Recognition
Reaching Agreements for Coalition Formation Through Derivation of Agents' Intentions
DINEX: Interpretable NLP via Diversified Natural Language Explanations
Voted Co-Training for Bootstrapping Sense Classifiers
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation
SinLane: Siamese Visual Transformer via Pyramid Feature Integration for Lane Detection
12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings
Combination of Active Learning and Self-Paced Learning for Deep Answer Selection with Bayesian Neural Network
Efficient Implementation of a Semantic-based Transfer Approach
Adaptivity in Web-Based CALL
Heterogeneous Facility Location without Money on the Line
Preference Representation with 3-Points Intervals
Interactive Explanations of Internal Representations of Neural Network Layers: An Exploratory Study on Outcome Prediction of Comatose Patients
Content-Based Social Network Analysis
Qualitative Spatial Reasoning about Line Segments
Learning Information Extraction Rules: An Inductive Logic Programming approach
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems
Federation-Paced Learning: Towards Efficient Federated Learning with Synchronized Pace
Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs
Fast Markov Chain Algorithms for Calculating Dempster-Shafer Belief
Automatic Generation and Reranking of SQL-Derived Answers to NL Questions
Verifying Knowledge Bases by Anomaly Detection: An Experience Report
Formal Specification of Compositional Architectures
Take a Step and Reconsider: Sequence Decoding for Self-Improved Neural Combinatorial Optimization
An Experienced Chatbot - The Case of Technical Knowledge at Electricity of France (EDF)
Automatic Verification of Golog Programs via Predicate Abstraction
Learning by Linear Anticipation in Multi-Agent Systems
Expert-Free Online Transfer Learning in Multi-Agent Reinforcement Learning
Supervised Graph-Based Term Weighting Scheme for Effective Text Classification
Multilingual Lexical Simplification via Paraphrase Generation
Beyond IC Postulates: Classification Criteria for Merging Operators
Heuristics to Increase Observability in Spectrum-based Fault Localization
Linear Regression Based Alignment of Parallel Texts Using Homograph Words
HBIC: A Biclustering Algorithm for Heterogeneous Datasets
Catalysing Communication in an Autistic Child in a Logo-like Learning Environment
Modeling the problem of many hands in organisations
Compressed k-Nearest Neighbors Ensembles for Evolving Data Streams
Dependent Failures in Consistency-based Diagnosis
Approximating Extended Answer Sets
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition
Proceedings of the ECAI'08 Workshop on Uncovering Plagiarism, Authorship and Social Software Misuse, Patras, Greece, July 22, 2008
Accelerating Norm Emergence Through Hierarchical Heuristic Learning
Joint 3D Face Reconstruction and Dense Face Alignment via Deep Face Feature Alignment
Real-Time Indoor Object Detection Based on Hybrid CNN-Transformer Approach
Qualitative Spatial Orientation with Constraint Handling Rules
Evolutionary Computation in MAS design
Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Deductive Planning and Plan Reuse in a Command Language Environment
On Constrained Default Theories
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
IPSS: A Hybrid Reasoner for Planning and Scheduling
Tractable Instances of Some Hard Deduction Problems
Context-aware Media Agent for Public Spaces
BnB-ADOPT + with Several Soft Arc Consistency Levels
Reasoning about Action and Change Using Occlusion
An Optimal Iterative Algorithm for Extracting MUCs in a Black-box Constraint Network
A Polynomial-time Algorithm for Model-Based Diagnosis
Contextualized Abstraction for Assertion-Level Theorem Proving
Generating time series reference models based on event analysis
On the Maximalization of the Witness sets in Independent Set readings
Measuring User Understanding in Dialogue-Based xAI Systems
Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory
Propagation of Opinions in Structural Graphs
Navigating Trade-offs: Policy Summarization for Multi-Objective Reinforcement Learning
Adaptive Binary Quantization for Fast Nearest Neighbor Search
A Hybrid Approach towards Chinese Spelling and Splitting Error Correction
5th European Conference on Artificial Intelligence, ECAI 1982, Paris, 1982, Proceedings
Building and Reusing Ontologies for Electrical Network Applications
PoBOC: An Overlapping Clustering Algorithm, Application to Rule-Based Classification and Textual Data
A Cardinality-Based Approach to Incomplete Knowledge
A Context Information Manager for Pervasive Environments
A Network Formalism for Representing Natural Language Quantifiers
ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
Unidirectional Cross-Modal Fusion for RGB-T Tracking
Joint Extraction of Entities and Relations Based on a Novel Decomposition Strategy
Ensemble Knowledge Distillation for Learning Improved and Efficient Networks
Transparency in Sum-Product Network Decompilation
Proper Names and Individual Concepts in SI-Nets
Equilibrium Analysis of Behavior Systems
Temporal Elections: Welfare, Strategyproofness, and Proportionality
Implementation of a Parallel Prolog System on a Commercial Multiprocessor
Preferences for Queries in a Mediator Approach
DataDetective: Dataset Watermarking for Leaker Identification in ML Training
Learning Dual Mean Field Games on Graphs
What if it Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger Alerts
Driven by Commonsense
Dynamic User Modeling in a Web Store Shell
Simulated Annealing for Coalition Formation
Robotics and the Common Sense Informatic Situation
Branch Location Problems with Maximum Satisfiability
Knowledge-based Bias Correction - A Case Study in Veterinary Decision Support
Overlay Neural Networks for Heterophilous Graphs
Solving Multiple Capacitated Scheduling Problems with Tabu Search
Multi-Agent Learning with the Success-Story Algorithm
Dynamic Causality
CA-SER: Cross-Attention Feature Fusion for Speech Emotion Recognition
The Effect of Rule Injectionin a Leakage Free Dataset
Discovery of Entailment Relations from Event Co-Occurrences
Predicate Synthesis from Formal Specifications
Updating Shortest Paths
Concepts, Agents, and Coalitions in Alternating Time
Interactive and Iterative Peer Assessment
Scaling-Up LAO* in FOND Planning: An Ablation Study
Non-Deterministic Planning with Numeric Uncertainty
Reasoning about Norm Compliance with Rational Agents
Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z?
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text
An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base
Convolutional Dictionary Pair Learning Network for Image Representation Learning
How to Learn Strategies: Processes and Representation of Strategy Acquisition
Review of the Recent Techniques for Learning Commonsense Knowledge Applied to the Winograd Schema Challenge
Blood Glucose Level Prediction as Time-Series Modeling using Sequence-to-Sequence Neural Networks
Using Weighted Matching to Solve 2-Approval/Veto Control and Bribery
CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning
Mixup Your Own Latent: Efficient and Robust Self-Supervised Learning on Small Images
Automatic Radiology Report Generation by Learning with Increasingly Hard Negatives
The impact of different training sets on medical documents classification
Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice
Relational Concept Analysis: A Synthesis and Open Questions
Two Kinds of Cognitive Science?
The Problem of Coherence in Natural Language Explanations of Recommendations
Explanations at the Knowledge Level
Adversarial Label Flips Attack on Support Vector Machines
A Network Flow Approach to Coalitional Games
Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank
Adjacent Leader Decentralized Stochastic Gradient Descent
Enabling Causal Discovery in Post-Nonlinear Models with Normalizing Flows
Phy-CoCo: Physical Constraint-Based Correlation Learning for Tropical Cyclone Intensity and Size Estimation
Improving Web Search through Collaborative Query Recommendation
How to Revise Ranked Probabilities
A Tool for Classification of Sequential Data
CV-width: A New Complexity Parameter for CNFs
Distributed Intelligent Backtracking
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability
A Context-Sensitive Discretization of Numeric Attributes for Classification Learning
Transparent Explainable Logic Layers
Leveraging Model-Based Trees as Interpretable Surrogate Models for Model Distillation
Semi-Supervised Learning on an Augmented Graph with Class Labels
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection
Frisbees and Dogs: Domain Adaptation for Object Detection with Limited Labels in Rugby Data
Implementing Circumscription Using a Tableau Method
A Practical Temporal Constraint Management System for Real-Time Applications
Demand-Responsive Zone Generation for Real-Time Vehicle Rebalancing in Ride-Sharing Fleets
Saliency and the Attentional State in Natural Language Generation
A Path-Optimal GAC Algorithm for Table Constraints
On Strategies for the Systhesis of Algorithms
A Formal Definition for the Expressive Power of Knowledge Representation Languages
Explainable Anomaly Detection in Industrial Streams
A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems
A Robust and Scalable Approach to Meet User Preferences in Research Project Planning
Agents and Their Cities
Fault diagnosis of a continuous process using imprecise quantitative knowledge and causal models
Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming
Identical and Fraternal Twins: Fine-Grained Semantic Contrastive Learning of Sentence Representations
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach
Logic Programs with Multiple Chances
A General Recursive Schema for Argumentation Semantics
A deductive approach to the identification and description of clusters in Linked Open Data
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks
Learning to Reason About Actions
Emerging Micro-Communities for Ride-Sharing Enabled Mobility-on-Demand Systems
A Tutorial Dialogue Model to Encourage Externalisation and Reflection
A Meta-Learning Approach for Multi-Objective Reinforcement Learning in Sustainable Home Energy Management
Detecting Ironic Intent in Creative Comparisons
Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
Enriching Language Models with Semantics
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic
Model-Based Reinforcement Learning for Type 1 Diabetes Blood Glucose Control
Answers Synthesis for CLP with Negation
An Efficient Behavior Classifier based on Distributions of Relevant Events
Identifying Noun Phrase References: The Topic Module of the AlFresco System
Using Preferences to Select Acceptable Arguments
SPCNet: Spatial Preserve and Content-Aware Network for Human Pose Estimation
Normative Reasoning with Expressive Logic Combinations
DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving
Joint Assessment and Restoration of Power Systems
Improving Process Yield Through Manufacturing Digital Twin Using Conditional Synthetic Data Engine (COSYNE)
(Un)certainty of (Un)fairness: Preference-Based Selection of Certainly Fair Decision-Makers
Employing Hypergraphs for Efficient Coalition Formation with Application to the V2G Problem
Classification-based Situational Reasoning for Task-oriented Mobile Service Recommendation
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
Explorative Imitation Learning: A Path Signature Approach for Continuous Environments
Syntactic Procedures for the Detection of Self-Repairs in German Dialogues
Critical evaluation of the XTT2 rule representation through comparison with CLIPS
Delegating Decisions in Strategic Settings
Optimizing Laser-Induced Graphene Production
Removed Sets Fusion: Performing Off The Shelf
Traversing Knowledge Graphs with Good Old (and New) Joins
Adaptive Robot Coordination Using Interference Metrics
An Efficient Student Model Based on Student Performance and Metadata
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
Debugging Program Loops Using Approximate Modeling
Transferring Procedural Knowledge Across Commonsense Tasks
Optimizing Multi-Robot Task Allocation in Dynamic Environments via Heuristic-Guided Reinforcement Learning
Language-Model Assisted Learning How to Program?
Boolean Games Revisited
Conflict Resolution in Decision Making - Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers
DAL: A Logic for Data Analysis
Intention Selection with Deadlines
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Efficient Semantic Tableau Generation for Abduction in Propositional Logic
'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping
Solving PDEs on Point Clouds by Physics-Informed Learning with Graph Neural Networks
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July 1978
Learning a Mini-Batch Graph Transformer via Two-Stage Interaction Augmentation
Variable Forgetting in Preference Relations over Propositional Domains
Artificial Intelligence for Knowledge Management - First IFIP WG 12.6 International Workshop, AI4KM 2012, Held in Conjunction with ECAI 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
Cost-Awareness in Multi-Agent Active Search
Mental States Recognition from Speech Acts through Abduction
PQS: "I dont know" Is an Important Qualitative Statement
Evaluation Strategies for Planning as Satisfiability
Knowledge-Based Programs with Defaults in a Modal Situation Calculus
Automating the Refinement of Knowledge-Based Systems
Cardsformer: Grounding Language to Learn a Generalizable Policy in Hearthstone
Learning Confidence Bounds for Classification with Imbalanced Data
Refinements of Theory Model Elimination and a Variant without Contrapositives
Prediction of Attributes and Links in Temporal Social Networks
Managing Temporal Beliefs
Generative Pretrained Embedding and Hierarchical Irregular Time Series Representation for Daily Living Activity Recognition
On Measuring Inconsistency in Relational Databases with Denial Constraints
Reaching New Heights in Multi-Agent Collective Construction
Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction
Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism
ESSL: Enhanced Spatio-Temporal Self-Selective Learning Framework for Unsupervised Video Anomaly Detection
VMAP: A Visual Schema Mapping Tool
Introducing Datatypes in DL-Lite
Comateformer: Combined Attention Transformer for Semantic Sentence Matching
SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
An Investigation into the Expressive Power of PDDL2.1
Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments