yusuke1997/dblp-id-title huggingface dataset:
Comparing Sets of Positive and Negative Arguments: Empirical Assessment of Seven Qualitative Rules
A Reinforcement-Learning Algorithm for Sampling Design in Markov Random Fields
EA 2 : The Winning Strategy for the Inaugural Lemonade Stand Game Tournament
Automatic Discovery of Translation Collocations from Bilingual Corpora
Theoretical and Computational Properties of Preference-based Argumentation
Temporal Fairness in Decision Making Problems
Computations as Inferences (Panel Statement)
Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork
The Emergence of Grammar in Communicating Autonomous Robotic Agents
Monte-Carlo Tree Search for the Game of "7 Wonders"
Representing sequences of actions in access control security policies
An Adaptive Deductive Planning System
Computing Skypattern Cubes
Goal Generation and Adoption from Partially Trusted Beliefs
Learning Logic Programs by Finding Minimal Unsatisfiable Subprograms
SHPE: HTN Planning for Video Games
An Account of Paraphrase Using Elementary Transformations
Implementing and Evaluating Provers for First-order Modal Logics
Quality-based Rewards for Monte-Carlo Tree Search Simulations
Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion
Supporting goal based interaction with dynamic intelligent environments
Regularized Cycle Consistent Generative Adversarial Network for Anomaly Detection
In Silico Comparison of Continuous Glucose Monitor Failure Mode Strategies for an Artificial Pancreas
Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning
Formalizing Complex Task Libraries in Golog
CTRNN Parameter Learning using Differential Evolution
A Distributed Event Calculus for Event Recognition
CLIP-based Cross-Level Semantic Interaction and Recombination Network for Composed Image Retrieval
An Adaptive Clustering Model that Integrates Expert Rules and N-gram Statistics for Coreference Resolution
A Generalized Word Expert Model of Lexically Distributed Text Parsing
Formal Models of Control Systems
A New Approach to Shading Flow Analysis and Surface Recovery from Images
Inductive Learning of Chronicles
Text Summarization Based on Terminological Logics
Multi-Objective Propagation in Constraint Programming
Post-hoc Explanation of Extension Semantics
How to Guide a Present-Biased Agent Through Prescribed Tasks?
Can Adaptive Conjoint Analysis perform in a Preference Logic Framework?
Tackling Imitative Attacker Deception in Repeated Bayesian Stackelberg Security Games
Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations
Bayesian Monte Carlo for the Global Optimization of Expensive Functions
A Declarative Formalization of STRIPS
Winning the 2023 CityLearn Challenge: A Community-Based Hierarchical Energy Systems Coordination Algorithm
It Don't Mean A Thing (If It Ain't Got That Swing)
The Refugee Experience Online: Surfacing Positivity Amidst Hate
Competence Assessment in Configuration Tasks
SmartSim: Improving Visualization on Social Simulation for an Emergency Evacuation Scenario
Designing an XAI Interface for Tree-Based ML Models
On Partitioning for Maximum Satisfiability
From Mixture of Longitudinal and Non-Gaussian Advertising Data to Click-Through-Rate Prediction
On the Construction of High-Dimensional Simple Games
A Cooperative Distributed Problem Solving Technique for Large Markov Decision Processes
Cuilt: A Scalable, Mix-and-Match Framework for Local Iterative Approximate Best-Response Algorithms
Empowering Biomedical Named Entity Recognition through Multi-Tagger Collaboration
LSA for Mining Hidden Information in Action Game Semantics
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries
Merit-Based Fair Combinatorial Semi-Bandit with Unrestricted Feedback Delays
A Reinforcement Learning Approach to Optimize the longitudinal Behavior of a Partial Autonomous Driving Assistance System
Turn on the Right Track: Weakly Supervised Video Moment Retrieval with Self-Improving Query Reconstruction
Plausibility Structures for Default Reasoning
Grouping Situations Based on their Psychological Characteristics Gives Insight into Personal Values
Modeling Java Programs for Diagnosis
Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation
Applying Fuzzy Logic for Multisensor Data Fusion
Machine Learning for Quantifier Selection in cvc5
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score
A Minimization-Based Approach to Iterated Multi-Agent Belief Change
Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic Rules
Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar
The Utility of Precision in Search Heuristics
Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition
Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994
Defeasible and Ampliative Reasoning: Same-same but Different
Discovering Conceptual Relations from Text
Bad equilibria (and what to do about them)
Designing a Portable Spoken Dialogue System
Theoretical Planning and its Contributions to Practical and Applied Planning
Partial Label Learning via Cost-Guided Retraining
On Reformulation of Constraint Satisfaction Problems
Arc-Consistency for Non-Binary Dynamic CSPs
MindSet: A Bias-Detection Interface Using a Visual Human-in-the-Loop Workflow
The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach
BTDE: Block Term Decomposition Embedding for Link Prediction in Knowledge Graph
Burg Matrix Divergence Based Multi-Metric Learning
A resource-sensitive logic of agency
Semantic Traffic Data Analysis for a Local Leader Election Algorithm (LLEA)
A Formalism for Case Systems
Reasoning about the World as Perceived by an Agent
SB-ONE+: Dealing with Sets Efficiently
Designing FPLA Combinational Circuits by Conditional Rewriting
Uniform Training and Marginal Decoding for Multi-Reference Question-Answer Generation
An Experimental Study on the Behaviour of Fuzzy Quantification Models
Fault Manifestability Verification for Discrete Event Systems
Graduality in Probabilistic Argumentation Frameworks
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases
Federated Learning with Hybrid Knowledge Distillations on Long-Tailed Heterogeneous Client Data
Dividing the Ontology Alignment Task with Semantic Embeddings and Logic-Based Modules
On the Improvement of Generalization and Stability of Forward-Only Learning via Neural Polarization
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
Nonmonotonic Dynamics of Default Logic
Formalizing Commitment-Based Deals in Boolean Games
SPortS: Semantic + Portal + Service
Least Squares SVM for Least Squares TD Learning
Argument Attribution Explanations in Quantitative Bipolar Argumentation Frameworks
An Anytime Algorithm for Finding the ?-Core in Nontransferable Utility Coalitional Games
Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding
Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling
Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes
Decision As Abduction?
GADEL: a Genetic Algorithm to Compute Default Logic Extensions
Knowledge Based Integration of Representation Formalisms
Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19 2014
Axiomatizing Noisy-OR
Towards Explainable Deep Domain Adaptation
REFINE-LM: Mitigating Language Model Stereotypes via Reinforcement Learning
Momentum Online LDA for Large-scale Datasets
Preference Modeling with Possibilistic Networks and Symbolic Weights: A Theoretical Study
IFH: A Diffusion Framework for Flexible Design of Graph Generative Models
Adversarial Learning for Overlapping Community Detection and Network Embedding
Minion: A Fast Scalable Constraint Solver
Ontologising Semantic Relations into a Relationless Thesaurus
On Packing 2D Irregular Shapes
Using Metalearning to Predict When Parameter Optimization Is Likely to Improve Classification Accuracy
Common-Sense Representation
Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques
Invisible Backdoor Attacks Using Data Poisoning in Frequency Domain
FedSeProto: Learning Semantic Prototype in Federated Learning
Social Computing in JaCaMo
Logic Programs with Compiled Preferences
A Gale-Shapley View of Unique Stable Marriages
Experience and Trust - A Systems-Theoretic Approach
Rule Induction Without Decision Tree Construction
The Smoothest Velocity Field Token Matching Schemes
Emergent Co-ordination of Flow Control Actions through Functional Co-operation of Social Agents
DTBS: Dual-Teacher Bi-Directional Self-Training for Domain Adaptation in Nighttime Semantic Segmentation
Saturation: Postponing Choices when Inverting Resolution
Pattern-driven Knowledge Systems Engineering
Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive Learning
MIM-HD: Making Smaller Masked Autoencoder Better with Efficient Distillation
Analogical and Propositional Knowledge in Intelligent Path Planning
Problems with Local Consistency for Qualitative Calculi
Mining Physiological Data for Discovering Temporal Patterns on Disease Stages
Computational Complexity of Standpoint LTL
ISAC - Instance-Specific Algorithm Configuration
Propositional Satisfaction Problems and Clausal CSPs
A Novel Approach of Applying the Differential Evolution to Spatial Discrete Data
Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method
Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories
An Extension to Kowalski & Sergot's Event Calculus
Analog Systems Diagnosis
KnowWE - A Wiki for Knowledge Base Development
Simulating Letter and Word Recognition: A Fuzzy Logical Model of Integrating Visual Information and Orthographic Structure in Reading
Embedding Heterogeneous Data by Preserving Multiple Kernels
Analysing and Representing Natural Language in Logic
Thinking Too Much: Pathology in Pathfinding
Pictorial Knowledge Representation
Generating Instantiated Argument Graphs from Probabilistic Information
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?
Knowledge Acquisition with Self-Organizing Neural Networks
Iterated Belief Change and Exogeneous Actions in the Situation Calculus
Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic Facilities
A Specification Tool for Planning Systems
Plausible Reasoning in Bayesian Networks
Credal Learning: Weakly Supervised Learning from Credal Sets
A Transparent Framework towards the Context-Sensitive Recognition of Conversational Engagement
Be Persistent: Towards a Unified Solution for Mitigating Shortcuts in Deep Learning
Hypothesising Object Relations from Image Transitions
Automatic Recognition of Famous Artists by Machine
A Network representation for Procedural Knowledge
Not so new: overblown claims for 'new' approaches to emotion
Negotiation Strategies for Autonomous Computational Agents
PUFFLE: Balancing Privacy, Utility, and Fairness in Federated Learning
A hybrid approach to multi-agent decision-making
Optimised Reasoning for SHIQ
Planning Robust AGV Movements
A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm"
Forward Inferences in Text Generation
AGM-Style Revision of Beliefs and Intentions
Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography
On the Dynamics of Learner Models
A Critical Examination of Use Cohen-Levesque Theory of Intentions
Time-Independent Rule-Based Guideline Induction
Numeric and Symbolic Reasoning in Expert Systems
Decoupling a Resource Constraint Through Fictitious Play in Multi-Agent Sequential Decision Making
Heuristics for Partially Observable Stochastic Contingent Planning
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
The Degree of Fairness in Efficient House Allocation
Trust-Aided Acquisition Of Unverifiable Information
Modeling Bounded Rationality for Sponsored Search Auctions
Anatomical Consistency Distillation and Inconsistency Synthesis for Brain Tumor Segmentation with Missing Modalities
Trust in Artificial Intelligence: Exploring the Influence of Model Presentation and Model Interaction on Trust in a Medical Setting
Generative Design for Social Manufacturing
Constructing Text Filters Based on Bayesian Network Learning
Multi Grain Sentiment Analysis using Collective Classification
Talos: A More Effective and Efficient Adversarial Defense for GNN Models Based on the Global Homophily of Graphs
Symbol-Level Requirements for Agent-Level Programming
Transductive Learning for the Identification of Word Sense Temporal Orientation
Choosing Combinatorial Social Choice by Heuristic Search
Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering
Detecting deceptive reviews using Argumentation
Towards the Simulation of Large Environments
Speeding Up CDCL Inference with Duplicate Learnt Clauses
Information Bound and Its Applications in Bayesian Neural Networks
Encoding Quantified CSPs as Quantified Boolean Formulae
TDCL: Dense Semantic Contrastive Learning for Vision-Language Tracking
A new CBR approach to the oil spill problem
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects
Ontology Based Shape Annotation and Retrieval
Unlocking Efficiency: Adaptive Masking for Gene Transformer Models
Reinforcement Learning for Bandits with Continuous Actions and Large Context Spaces
Exploiting the Semantic Web for Systems Diagnosis
Nested Dichotomies with probability sets for multi-class classification
High-Level Perception as Focused Belief Revision
The Data Association Problem when Monitoring Robot Vehicles Using Dynamic Belief Networks
Interleaved and Discrepancy Based Search
Classification Rules in Relaxed Logical Form
Knowledge Representation for a Concept Tutoring System
Antecedent Predictions Are More Important Than You Think: An Effective Method for Tree-Based Code Generation
Models of Behavior Deviations in Model-Based Systems
Imprecise Probabilistic Horn Clause Logic
A Preferential Constraint Satisfaction Technique for Natural Language Analysis
Operationalizing Conceptual Models Based on a Model of Dependencies
LTLf Satisfiability Checking
Web Page Prediction Based on Conditional Random Fields
Global Propagation of Transition Cost for Fixed Job Scheduling
On the Use of Epistemic Entrenchment in Non-monotonic Reasoning
Towards Multi-Robot Task-Motion Planning for Navigation in Belief Space
Computation, Connectionism and Content (Panel Statement)
Reducing Texture Bias of Deep Neural Networks via Edge Enhancing Diffusion
On Fair Controls in Multi-Agent Systems
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners
Scalable Variational Causal Discovery Unconstrained by Acyclicity
Boosting Constraint Acquisition via Generalization Queries
Delete-Free Reachability Analysis for Temporal and Hierarchical Planning
An Ideal Team Is More than a Team of Ideal Agents
Facility Location Games with Optional Preference
Autosteve: Automated Electrical Design Analysis
Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents
Continual Planning with Time-Oriented, Skeletal Plans
A Conditional Denoising Diffusion Probabilistic Model for Radio Interferometric Image Reconstruction
Symmetries of Symmetry Breaking Constraints
On the Robustness of Split Learning Against Adversarial Attacks
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Prostate Cancer Disease Study by Integrating Peptides and Clinical Data
Spatial Reasoning in RCC-8 with Boolean Region Terms
Trust-based belief change
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans
Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm
Task-Aware Performance Prediction for Efficient Architecture Search
Never Ending Learning
Maxi-Consistent Operators in Argumentation
A New Study of Two Divergence Metrics for Change Detection in Data Streams
Covered for Life: Lifelong Area Coverage under Spatiotemporal Uncertainty
Embedding Formal Contexts Using Unordered Composition
Extended Probability
The Epistemic View of Belief Merging: Can We Track the Truth?
CoverageCity: Test Coverage for Clinical Guidelines
Universal Quantification by Case Analysis
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling
Malaria Parasite Mobility in Mozambique Estimated Using Mobile Phone Records
Optimal Simple Strategies for Persuasion
Investigating Neural Fit Approaches for Sentence Embedding Model Paradigms
Successive Groupings: Adding Knowledge to Improve Segmentation
A Robot Task Planner that Merges Symbolic and Geometric Reasoning
Multilingual Natural Language Generation within Abstractive Summarization
Back to the Future: Symbolic Reasoning to Combat Malicious Use of Social Media
A Hash Learning Framework for Search-Oriented Knowledge Graph Embedding
Learning Privacy Rules Cooperatively in Online Social Networks
Edge Detection using Walsh Functions
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots
A Spatial Logic of Betweenness
Abstract Interpretation Based Robustness Certification for Graph Convolutional Networks
Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge
Deep Co-Training for Cross-Modality Medical Image Segmentation
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks
Predicting the Components of German Nominal Compounds
Reaching Agreement through Partial Revelation of Preferences
Efficient Autarkies
Axiomatic Characterisations of Sample-based Explainers
Enhancing predictability of schedules by task grouping
Unsupervised semantic clustering of Twitter hashtags
An Intelligent System for Smart Tourism Simulation in a Dynamic Environment
Exchanging Emotions - SOM Approach
Comparative Timeline Summarization via Dynamic Affinity-Preserving Random Walk
Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency
Read Key Points: Dialogue-Grounded Knowledge Points Generation with Multi-Level Salience-Aware Mixture
Dealing with Concurrent Actions in Modal Action Logics
GraphFSA: A Finite State Automaton Framework for Algorithmic Learning on Graphs
Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange
Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae
A Theoretical Framework for Constraint Hierarchy Solvers
Decentralized Local Updates with Dual-Slow Estimation and Momentum-Based Variance-Reduction for Non-Convex Optimization
Predicting the Power Output of Distributed Renewable Energy Resources within a Broad Geographical Region
A new clustering algorithm based on the ants chemical recognition system
WEP (Word Expert Parsing) Revised and Applied to Dutch
Substantive Irrationality in Cognitive Systems
Preemption Operators
A Powerful Prolog Trace Package
A Uniform Memory-Based Representation for Visual Languages
A Speech Architecture for Personal Assistants in a Knowledge Management Context
Recurrent and Feedforward Networks for Human-Computer Interaction
An Efficient and Adaptive Approach to Negotiation in Complex Environments
Multiple Relaxations in Temporal Planning
Finding Minimal Rare Itemsets in a Depth-first Manner
Extending Naive Bayes with Precision-tunable Feature Variables for Resource-efficient Sensor Fusion
Situated Cooperative Agents: a Powerful Paradigm for MRI Brain Scans Segmentation
Learning Disjunctive Concept Definitions Using a Genetic Algorithm
Lazy Propositionalisation for Relational Learning
Model-Based Reinforcement Learning with Multi-Step Plan Value Estimation
A Complete Revision Function in Propositional Calculus
ATMS for Implementing Logic Programming
Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions
Towards a Human-Centred Cognitive Model of Visuospatial Complexity in Everyday Driving
Unification with Disjunctive and Negative Values for GPSG Grammars
Evolution of Communication Between Genetic Agents
Knowledge Oriented Application Development: Lessons Learnt from Real-Time Decision Support Systems
Boundary-Enhanced Instance Segmentation
Online Ontological Reasoning for Context-Aware Internet Services
Comparator selection for RPC with many labels
Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach
Answer Set Programming as SAT modulo Acyclicity
A Syntactic Approach for Privacy-Preserving Federated Learning
Specifying Prior Beliefs over DAGs in Deep Bayesian Causal Structure Learning
A Contextual Personalization Approach Based on Ontological Knowledge
Decidable Fragments of LTL f Modulo Theories
Explainable OpenIE Classifier with Morpho-syntactic Rules
ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
TravelGANs. A Design Approach to Style Transfer
Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition Graphs
Link Prediction by Incidence Matrix Factorization
How to Understand Digital Studio Outputs: The Case of Digital Music Production
Artificial Perception and Music Recognition: A Heuristic Approach
Meta-Embedding as Auxiliary Task Regularization
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence
GSAT versus Simulated Annealing
APPROACH: Decentralised Rotation Planning for Container Barges
FASTC: A Fast Attentional Framework for Semantic Traversability Classification Using Point Cloud
Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014
Proceedings of the Eleventh International Workshop Modelling and Reasoning in Context co-located with the 24th European Conference on Artificial Intelligence, MRC@ECAI 2020, Santiago de Compostela, Galicia, Spain, August 29, 2020
How to Solve the Zebra Problem, or Path Consistency the Easy Way
DICK: Distributed Inference on Compiled Knowledge for Real Time Distributed Systems
Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)
Adaptive Condorcet-Based Stopping Rules Can Be Efficient
Reinforcement Learning in RDPs by Combining Deep RL with Automata Learning
Leveraging User-Generated Reviews for Recommender Systems with Dynamic Headers
Deep Mapper: Efficient Visualization of Plausible Conformational Pathways
Automated Impact Echo Spectrum Anomaly Detection using U-Net Autoencoder
A Two-Stage Multi-Objective Deep Reinforcement Learning Framework
Grouped Logit Distillation Enhanced with Superclass Awareness for Efficient Knowledge Transfer
Transfer Learning for Automatic Short Answer Grading
Free Presumption Checking in King Kong
Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
Effective Stacking of Distributed Classifiers
Preferences over Rankings and How to Control Them Using Rewards
Taking the Initiative in Natural Language Data Base Interactions: Monitoring as Response
AI Planning in a Chemical Plant Domain
Robot Skill Learning
NeurCAM: Interpretable Neural Clustering via Additive Models
LGAD: Local and Global Attention Distillation for Efficient Semantic Segmentation
A Study of Prototypical Network Techniques for Cross-Subject EEG Analysis
Interpreting Common Words in Context: a Symbolic Approach