yusuke1997/dblp-id-title huggingface dataset:
Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms
Dialogue Processing in Spoken Language Systems, ECAI'96 Workshop, Budapest, Hungary, August 13, 1996, Revised Papers
Fair-OBNC: Correcting Label Noise for Fairer Datasets
Context-Aware Access Control for RDF Graph Stores
A Similarity and Fuzzy Logic-Based Approach to Cerebral Categorisation
Sensor-Based Moisture Prediction for Flat Roofs
Implementing Simple Modular ERDF ontologies
Towards Better Models of Externalities in Sponsored Search Auctions
An Empirical Study of the Manipulability of Single Transferable Voting
Multi-unit Auctions with a Stochastic Number of Asymmetric Bidders
Parallel Scheduling of Complex Requests for a Constellation of Earth Observing Satellites
A First Order Theory of Knowledge, Belief and Action
AI-SPEAR: Computer System Failure Analysis Tool. 61-69l
The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks
Using Occlusion Calculi to Interpret Digital Images
Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to Planning
Multiple Access and Coherence Management in a Real-Time Temporal Blackboard
Comparing Models for Spreadsheet Fault Localization
From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design
Welfare of Sequential Allocation Mechanisms for Indivisible Goods
Multi-Partition Embedding Interaction with Block Term Format for Knowledge Graph Completion
On the Computational Complexity of Planning and Story Understanding
Compressing Pattern Databases with Learning
Conservative Social Laws
From Ordering Based Nonmonotonic Reasoning to Conditional Logics
A General Framework for Theory Learning. Perspectives for NLP
A Formal System for Reasoning about Change
Saccadic Object Recognition with an Active Vision System
A Dynamic Logic of Norm Change
Multi-Agent Cooperative Games Using Belief Map Assisted Training
Interaction among Intelligent Agents (Panel)
On Non-Conservative Plan Modification
Lamarckian Sub-Goal Reward in Genetic Algorithm
Spectrum Enhanced Dynamic Slicing for better Fault Localization
A Multi-Agent Simulation of Primate Social Concepts
EcoShap: Save Computations by only Calculating Shapley Values for Relevant Features
Combating Short Circuit Behavior in Natural Language Reasoning: Crossover and Mutation Operations for Enhanced Robustness
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems
Fair Few-Shot Learning with Auxiliary Sets
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts
Knowledge-Based Cinematography and Its Applications
ST-MFM: A Spatiotemporal Multi-Modal Fusion Model for Urban Anomalies Prediction
Zero-Shot Relabeling of Weak Labels for Fine-Grained Semantic Indexing of Biomedical Literature
Improving Adversarial Transferability with Ghost Samples
Modelling Brain Connectomes Networks: Solv is a Worthy Competitor to Hyperbolic Geometry!
A Dialogue Environment for Accessing Public Administration Data: the TAMIC-P System
Dynamic Semantics and Underspecification
Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem
Partial Cooperation in Multi-agent Local Search
Towards the Interoperability of Computerised Guidelines and Electronic Health Records: An Experiment with openEHR Archetypes and a Chronic Heart Failure Guideline
Mechanizing the Common-Sense Inference of Rules which Direct Behaviour
Extracting MUCs from Constraint Networks
Merging Possibilistic Networks
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014
PMA Epistemic Entrenchments: The General Case
A Game Theory Approach to Coordination in MAS
AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems
Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording
A Cognitive Model of Program Designer Behaviour
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement
Explaining and Justifying Decision Support Advice in Intuitive Terms
Intelligent Backtracking with Structured Contexts
An Efficient Deduction Mechanism for Expressive Comparative Preferences Languages
A Strategic Framework for Multi-Agent Cooperative Dialogue
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case
The Interaction of Congenial Autonomous Robots
Stream Clustering Based on Kernel Density Estimation
Evaluation of Human-Understandability of Global Model Explanations Using Decision Tree
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
Width-based Algorithms for Classical Planning: New Results
Evaluating Perception of Interaction Initiation in Virtual Environments Using Humanoid Agents
Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules
Qualified Logic as a Means of Integrating Conceptual Formalisms
Instruction Cache Prediction Using Bayesian Networks
Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning
MnM: Ontology-Driven Tool for Semantic Markup
What can FCA do for Database Linkkey Extraction?
Bicycle Route Planning with Route Choice Preferences
Backjumping in State-Space Search
Strategy Acquisition Governed by Experimentation
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS
Ordinal Decision Models for Markov Decision Processes
Support for Resolving Contradictions in Time Interval Networks
A Simple Proof for the Pigeonhole Formulae
Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisited
Even Angels Need the Rules: AI, Roboethics, and the Law
A System for Visual-like Understanding
Task-Aware Dynamic Transformer for Efficient Arbitrary-Scale Image Super-Resolution
A Multi-agent System for Group Decision Support Based on Conflict Resolution Styles
Dynamic Matching with a Fall-back Option
A Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming
Temporal Goal Reasoning for Predictive Performance of a Tourist Application
Modeling Planning Domains Systematically
New Taxonomy of Classification Methods Based on Formal Concepts Analysis
On-Line Search for Solving Markov Decision Processes via Heuristic Sampling
Spectral Normalized-Cut Graph Partitioning with Fairness Constraints
Concurrent Strategy Execution in OMEGA
Extending and Unifying Chronicle Representation with Event Counters
Hidden States in LLMs Improve EEG Representation Learning and Visual Decoding
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach
Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems
Opium + , a Meta-Debugger for Prolog
Post-mining on Association Rule Bases
Coalition Structure Generation in Task-Based Settings
Tiger: Continuous Diagnosis of Gas Turbines
Multiprocessing and Duality in Intelligence
Making Fair Classification via Correlation Alignment
Bias reformulation for one-shot function induction
LP Solvable Models for Multiagent Fair Allocation Problems
Multiple-Outcome Proof Number Search
Non-intrusive Detection of Driver Distraction using Machine Learning Algorithms
Distributionally Robust Cross Subject EEG Decoding
A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output Regression
A Truth Maintenance Theory: An Alternative Approach
Two Dimensional Uncertainty in Persuadee Modelling in Argumentation
Avatars That Learn How to Behave
Reinforcement Learning with Reward Machines in Stochastic Games
A New Approach to Dynamic Weighting
Recommendation Engineering
Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments
Learning First-Order Symbolic Representations for Planning from the Structure of the State Space
Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions
Diverse, Top-k, and Top-Quality Planning Over Simulators
Adaptive, Multilingual Named Entity Recognition in Web Pages
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs
Connectionist Recruitment Learning
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
The Logical Difference for ℰℒℋ r -Terminologies using Hypergraphs
Subsumed Label Elimination for Maximum Satisfiability
Correct and Complete Retrieval for Case-Based Problem-Solving
TEOcc: Radar-Camera Multi-Modal Occupancy Prediction via Temporal Enhancement
Grounded Models as a Basis for Intuitive and Deductive Reasoning: the Acquisition of Logical Categories
Prolog Technology for Default Reasoning (An Abridged Report)
No One is Left "Unwatched": Fairness in Observation of Crowds of Mobile Targets in Active Camera Surveillance
TopFormer: Topology-Aware Authorship Attribution of Deepfake Texts with Diverse Writing Styles
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation
Macro Operator Synthesis for ADL Domains
Evaluating ASP and Commercial Solvers on the CSPLib
On the Discovery of Conceptual Clustering Models Through Pattern Mining
Consistency-Based Diagnosis of Configuration Knowledge Bases
Informed Spectral Normalized Gaussian Processes for Trajectory Prediction
Intractability of Optimal Multi-Agent Pathfinding on Directed Graphs
Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic
Complex-Valued Gabor-Attention Residual Fusion Network for Iris Recognition
From Belief Change to Preference Change
The Machine for Artificial Intelligence Applications: MAIA
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Incremental Forward Checking for the Disjunctive Temporal Problem
A Sequent Calculus for Modal Quantificational Logic
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges
Heuristics for Planning with Action Costs Revisited
Simulating Physical Systems with Relative Descriptions of Parameters
Resilient Graph Neural Networks: A Coupled Dynamical Systems Approach
GNUsmail: Open Framework for On-line Email Classification
Logical Ontology Validation Using an Automatic Theorem Prover
User Modelling Languages for AmI: A Case Study on Road Traffic
Non-Utilitarian Coalition Structure Generation
Distributed Learning in Expert Referral Networks
Combining Robustness and Flexibility in Learning Drifting Concepts
Coloured Rippling: An Extension of a Theorem Proving Heuristic
Revisiting Vacuous Reduct Semantics for Abstract Argumentation
Towards an FCA-based Recommender System for Black-Box Optimization
A Model of Action that Supports Natural Language Database Update
Declarative Encoding of Fairness in Logic Tensor Networks
Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and Reinforcement Learning
Deep Interactions-Boosted Embeddings for Link Prediction on Knowledge Graph
Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy
Defending Cyber-Physical Attacks on Oil Pipeline Systems: A Game-Theoretic Approach
Dynamic Selection of Model Parameters in Principal Components Analysis Neural Networks
ContextAggregator: A heuristic-based approach for automated feature construction and selection
On the Existence of Answer Sets in Normal Extended Logic Programs
Picture Perfect: Visualisation Techniques for Case-based Reasoning
Comparison of Forecasting Algorithms for Type 1 Diabetic Glucose Prediction on 30 and 60-Minute Prediction Horizons
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling
Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines
A Strategy for the Computation of Conditional Answers
Improving pattern discovery relevancy by deriving constraints from expert models
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets
Categorical Tools for Artificial Perception
Learning Global Pairwise Interactions with Bayesian Neural Networks
Online Blood Glucose Prediction Using Autoregressive Moving Average Model with Residual Compensation Network
Depth Ordering and Figure-Grounil Segregation in Monocular Images Derived from Illusory Contour Perception
Interpreting XML via an RDF Schema
FedMTL: Privacy-Preserving Federated Multi-Task Learning
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
DILIGENT: Towards a fine-grained methodology for Distributed, Loosely-controlled and evolving Engineering of oNTologies
Secure Social Recommendation Based on Secret Sharing
Qualitative Simulation of Large and Complex Genetic Regulation Systems
Monte Carlo Information-Oriented Planning
Enhancing Stance Detection on Social Media via Core Views Discovery
A New Framework of Evolutionary Multi-Objective Algorithms with an Unbounded External Archive
Accessing Information through Graphics
Neural Reward Machines
Noised Diffusion Dynamics with Individual Biased Opinion
Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
Automatic Term Categorization by Extracting Knowledge from the Web
The PeerRank Method for Peer Assessment
Computers and Creative Thought
The Complexity of Reasoning with Relative Directions
Multilingual Generation for Translation in Speech-to-Speech Dialogues and its Realization in Verbmobil
Implementing Dynamic Answer Set Programming over Finite Traces
A Neuro-Symbolic Approach for Non-Intrusive Load Monitoring
Partial Reconstruction of Coreferential Structure of Discourse
Bounded Single-Peaked Width and Proportional Representation
Modelling Interaction with Experts: The Role of a Shared Task Model
Toward a Hybrid Representation of Time
FilFL: Client Filtering for Optimized Client Participation in Federated Learning
Telecommunications Multi-Agent Control System (Tele-MACS)
Lazy Propagation in Case Retrieval Nets
Explaining the Lack of Locally Envy-Free Allocations
Generalized Decision Diagrams: The game is not over yet!
Refining Ontologies via Pattern-based Clustering
Towards a BDI Player Model for Interactive Narratives
Improving Asynchronous Backtracking for Dealing with Complex Local Problems
Joint Modeling of Local and Global Behavior Dynamics for Session-Based Recommendation
Reasoning with Fuzzy-EL+ Ontologies Using MapReduce
MetaSelection: Metaheuristic Sub-Structure Selection for Neural Network Pruning Using Evolutionary Algorithm
Learning a Bayesian Network Classifier by Jointly Maximizing Accuracy and Information
Flexible Text Classification for Financial Applications: The Facile System
A Multilayered Informative Random Walk for Attributed Social Network Embedding
Modelling Divergent Production: A multi-domain approach
Migration of Rule Inference Engine to Mobile Platform. Challenges and Case Study
Belief Revision as Meta-Reasoning
Hybrid Offline/Online Optimization Under Uncertainty
Agents Preferences in Decentralized Task Allocation
Toward Probabilistic Analysis of Guidelines
Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling Language
Grammatical Inference for Even Linear Languages Based on Control Sets
The Need for Knowledge Acquisition in Case-Based Reasoning - Some Experiences from an Architectural Domain
Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions
Cognitive Logics - Features, Formalisms, and Challenges
A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving
Bound Consistency on Linear Constraints in Finite Domain Constraint
A Formal and Computational Characterization of Pragmatic Infelicities
A generic framework for comparing semantic similarities on a subsumption hierarchy
Investigating the Effects of Explicit Epistemology on a Distributed Learning System
A lexical network and an algorithm to find words from definitions
A Framework for Determining the Fairness of Outlier Detection
Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, MetaSel@ECAI 2014, Prague, Czech Republic, August 19, 2014
Approximate Tradeoffs on Matroids
How Does Diffusion Influence Pretrained Language Models on Out-of-Distribution Data?
On the Complexity of Constructive Control Under Nearly Single-Peaked Preferences
Planning Under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply
Enhancing Decision-Making in Energy Management Systems Through Action-Independent Dynamics Learning
Multi-strategy Local Search for SAT Problem
Phase Transition in MAX-CSP
Secure Multi-Agent Planning Algorithms
Learning Classification taxonomies from a classification knowledge based system
Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic
Reasoning Guided by a Manual: Context-Aware Image Captioning with Novel Objects
Acyclic Argumentation: Attack = Conflict + Preference
Dynamics of Beliefs and Strategy of Perception
Ontology-Driven Human Language Technology for Semantic-Based Business Intelligence
Vagueness and Data Reduction in Concept Learning
A Portal for Publishing Museum Collections on the Semantic Web
Author Identification Using a Tensor Space Representation
License Plate Images Generation with Diffusion Models
Automating Layouts of Sewers in Subdivisions
Expressivity and Control in Limited Reasoning
Do Topic and Causal Consistency Affect Emotion Cognition? A Graph Interactive Network for Conversational Emotion Detection
A Qualitative Model of the Articulators
Efficient and Secure Collaborative Filtering through Intelligent Neighbour Selection
Modelling Interacting Agents in Dynamic Environments
Multi-View Prompt for Fine-Grained Multimodal Named Entity Recognition and Grounding
GLIMMER: Incorporating Graph and Lexical Features in Unsupervised Multi-Document Summarization
Online Auctions for Dynamic Assignment: Theory and Empirical Evaluation
Multi-agent models for searching Pareto optimal solutions to the problem of forming and dynamic restructuring of coalitions
Towards a Dialogue Taxonomy
PiercingEye: Identifying Both Faint and Distinct Clues for Explainable Fake News Detection with Progressive Dynamic Graph Mining
Deep Reasoning in Clarification Dialogues with Mobile Robots
DAN: Dual-View Representation Learning for Adapting Stance Classifiers to New Domains
Learning of Classification Models from Noisy Soft-Labels
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
AI System for Short Term Prediction of Hourly Electricity Demand
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
Worst- and Average-Case Robustness of Stable Matchings: (Counting) Complexity and Experiments
A Full DAG Score-Based Algorithm for Learning Causal Bayesian Networks with Latent Confounders
Mechanism Design for Ad Auctions with Display Prices
Qualitative Simulation with Answer Set Programming
Mixing Materialization and Query Rewriting for Existential Rules
Deep Ensemble Robustness by Adaptive Sampling in Dropout-Based Simultaneous Training
Adaptive Branching for Constraint Satisfaction Problems
Improving Supervised Superpixel-Based Codebook Representations by Local Convolutional Features
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas
You Shouldn't Trust Me: Learning Models Which Conceal Unfairness from Multiple Explanation Methods
Translation-Based Revision and Merging for Minimal Horn Reasoning
Maximum Entropy Reinforced Single Object Visual Tracking
Locally-Minimal Probabilistic Explanations
Editing Learning Object Metadata: Schema Driven Input of RDF Metadata with the OLR3-Editor
A Variant of Recurrent Entity Networks for Targeted Aspect-Based Sentiment Analysis
Spatio-chromatic Features for Image Recognition
MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health
A Framework for Dynamic Reorganization
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class
DL-Lite with Attributes and Datatypes
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space
RADAr: A Transformer-Based Autoregressive Decoder Architecture for Hierarchical Text Classification
Incorporating Semantic Dependencies Extracted from Knowledge Graphs into Joint Inference Template-Based Information Extraction
Representing Beliefs in the Fluent Calculus
Knowledged-based Support for 3D Object Reconstruction
Last Conflict Based Reasoning
Subsystem Discovery in High-Dimensional Time-Series Using Masked Autoencoders
Enhancing Hate Speech Annotations with Background Semantics
TimeMachine: A Time Series is Worth 4 Mambas for Long-Term Forecasting
Formalizing Factors in Metaphorical Extension
LTL f Best-Effort Synthesis in Nondeterministic Planning Domains
Physics-Assisted Explainable Anomaly Detection in Power Systems
A Multiagent System for Scheduling Activities Onboard a Space System
Modeling the Incongruity Between Sentence Snippets for Sarcasm Detection
Learning Aggregation Functions for Expert Search
Recognizing Plans and Summarizing Actions
Adaptive Combination of Behaviors in an Agent
Pushing "Underfitting" to the Limit: Learning in Bidimensional Text Categorization
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Sub Node Extraction with Tree Based Wrappers
ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)
Automatic Evaluation Environment for Spoken Dialogue Systems
Planning under Resource Constraints
PDP: A Protocol Diagnostic Program for Problem Solving in Physics
Backward Compatibility in Attributive Explanation and Enhanced Model Training Method
Unsupervised Learning of Interpretable Dialog Models
Symbolic Models for Diagnosing Discrete-Event Systems
ADVISOR SUITE - A Knowledge-Based Sales Advisory-System
Assessment of Software Testing and Quality Assurance in Natural Language Processing Applications and a Linguistically Inspired Approach to Improving It
Proportional Representation for Artificial Intelligence
Implementing an Intelligent Moving Average with a Neural Network
Adversarial Benchmark Evaluation Rectified by Controlling for Difficulty
Integrating Probability Constraints into Bayesian Nets
Learning the Structure of Dynamic Hybrid Relational Models
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation
Curriculum Learning with Diversity for Supervised Computer Vision Tasks
Update Operations: A Review
First Creating Backgrounds Then Rendering Texts: A New Paradigm for Visual Text Blending
Fair in the Eyes of Others
Device-Specific Facial Descriptors: Winning a Lottery with a SuperNet
Multi-objective learning of hybrid classifiers
Perturb-and-Compare Approach for Detecting Out-of-Distribution Samples in Constrained Access Environments
Gated Adapters for Multi-Domain Neural Machine Translation
Finding Quantum Critical Points with Neural-Network Quantum States
Kernel Machine Based Feature Extraction Algorithms for Regression Problems
Planning as Quantified Boolean Formula
Decision-Focused Learning to Predict Action Costs for Planning
Representative Answer Sets: Collecting Something of Everything
TREPAN Reloaded: A Knowledge-Driven Approach to Explaining Black-Box Models
AI-Techniques in Proof Planning