yusuke1997/dblp-id-title huggingface dataset:
Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation
Knowledge-based Specification of Robot Motions
An Integrated Approach to Moral Autonomous Systems
On Admissibility in Timed Abstract Argumentation Frameworks
Implicit Feature Selection with the Value Difference Metric
DRNet: Dissect and Reconstruct the Convolutional Neural Network via Interpretable Manners
On Translation of Finitely-Valued Logics to Classical First-Order Logic
A Study in the Application of Theorem Proving
Modelling the Dynamics of Emotional Awareness
Rapidly Finding the Best Arm Using Variance
RFDFM: A Deep Factorization Machine Network Model for Invasive Lung Adenocarcinoma Screening in CT Images
Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves
Scale-Invariant Variations of Max Regret
A Common Computational Framework for Semiring-based Argumentation Systems
TabMedBERT: A Tabular Knowledge Enhanced Biomedical Pretrained Language Model
Real-Time Timeline Summarisation for High-Impact Events in Twitter
Analogical classification: A new way to deal with examples
Computing the Temporal Structure of Events in Natural Language
Completeness-Preserving Pruning for Optimal Planning
A set of Tools for Integrating Linguistic and Non-Linguistic Information
An Empirical Investigation of the Adversarial Activity Model
Robot Self/Other Distinction: Active Inference Meets Neural Networks Learning in a Mirror
Self-decomposable Global Constraints
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
Deep Density-Aware Count Regressor
Mean Field Theory for Deep Dropout Networks: Digging up Gradient Backpropagation Deeply
A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's
Logical Foundations of a Modal Defeasible Relevant Logic of Belief
Robust Real-Time Human Perception with Depth Camera
User Errors in Spoken Human-Machine Dialogue
A New Stochastic Local Search Approach for Computing Preferred Extensions of Abstract Argumentation
Reducing Viewsphere Complexity
On Combinatorial Actions and CMABs with Linear Side Information
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems
A Unified and Unsupervised Framework for Bilingual Phrase Alignment on Specialized Comparable Corpora
Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units
Being Concise versus Being Shallow: Two Competing Discourse Planning Paradigms
A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming
Constructing Polygon Concepts from Line Drawings
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE
Exhaustive Search of Priority Rules for On-Line Scheduling
Proceedings of the 2nd Workshop on Artificial Intelligence and Internet of Things co-located with the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands, August 30, 2016
Recent advances in imprecise-probabilistic graphical models
Temporal Relations Learning with a Bootstrapped Cross-document Classifier
CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation
Uncertainty Quantification in Chest X-Ray Image Classification using Bayesian Deep Neural Networks
Belief merging within fragments of propositional logic
Modeling Collaboration for Human-Computer Communication
Simulating a Turing Machine Using Functional Unification Grammar
Query-Based Topic Detection Using Concepts and Named Entities
On the Cultural Gap in Text-to-Image Generation
An Approach to Qualitative Belief Change Modulo Ontic Strength
Clinical Consultation of Disease Processes: Some A. I. Problems
Dynamic Maps as Representations of Verbs
A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas
A Novel Way to Connect BnB-ADOPT+, with Soft AC
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)
Pattern Classification Techniques for Early Lung Cancer Diagnosis using an Electronic Nose
CAMAOT: Channel-Aware Multi-Camera Active Object Tracking System
Reasoning by Cases without Contraposition in Default Logic
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach
IAMwildCAT: The Winning Strategy for the TAC Market Design Competition
Contextual Reasoning
DEDAL: a DEDuctive and ALgorithmic planning system
Towards an Ontological Analysis of BPMN
International Affairs Portal: A Semantic Web Application
Computational Opinions
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004
Finding good stochastic factored policies for factored Markov decision processes
The Complexity of Deciding Legality of a Single Step of Magic: The Gathering
NGP: Numerical Graph Planning
Emergent Behaviour in a Multi-Agent Economic Situation
Hop-based Heterogeneous Graph Transformer
Diagnosis with Cascading Defects
Pareto Rank-Preserving Supernetwork for Hardware-Aware Neural Architecture Search
Identifying Helpful Learnwares Without Examining the Whole Market
Active Learning for Robot Manipulation
The Complexity of Handling Minimal Solutions in Logic-Based Abduction
Video Event Recognition by Dempster-Shafer Theory
Comparing Defeasible Logics
Heuristic Refinement of Logic Programs
Computation of Minimal Sensor Sets for Conditional Testability Requirements
(ML)2: A Formal Language for KADS Models
On the Translation of Higher-Order Problems into First-Order Logic
Post-processing a classifier's predictions: Strategies and empirical evaluation
Data Set Operations to Hide Decision Tree Rules
Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows
Learning Compact Neural Networks via Generalized Structured Sparsity
Maximal Correlation: An Alternative Criterion for Training Generative Networks
The Role of Distributed Memory in Natural Language Parsing
Modular Equivalence in General
Boosting Clustering by Active Constraint Selection
A History Tree Heuristic to Generate Better Initiation Sets for Options in Reinforcement Learning
Progress with the Tree-Structured Self-Organizing Map
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool
From Macro Plans to Automata Plans
MAGPIE: an agent platform for the development of mobile applications for pervasive healthcare
Ideal Point Guided Iterative Deepening
High Dynamic Range Image Reconstruction via Deep Explicit Polynomial Curve Estimation
Dual-Scale Interest Extraction Framework with Self-Supervision for Sequential Recommendation
Integrating Constraint Programming Techniques into Mathematical Programming
A General Characterization of Model-Based Diagnosis
Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostella, Spain, September 4, 2020
Combining Dictionary- and Corpus-Based Concept Extraction
Knowledge-based Diagnosis - An Important Challenge and Touchstone for AI
Investigating Air Pollution Dynamics in Ho Chi Minh City: A Spatiotemporal Study Leveraging XAI-SHAP Clustering Methodology
Automatic Generation of Implied Constraints
Weak Autoepistemic Reasoning and Well-Founded Semantics
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?
Learning and intelligent Agents
Revisiting Under-Represented Knowledge of Latin American Literature in Large Language Models
Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System
Team-Solvability: A Model-Theoretic Perspective
Capturing Attraction Distribution: Sequential Attentive Network for Dwell Time Prediction
Efficient Asymptotic Approximation in Temporal Difference Learning
Advanced Policy Explanations on the Web
Distributed and Collaborative Knowledge Management Using an Ontology-Based System
A Compact Spectral Descriptor for Shape Deformations
A New Population-Based Method for Satisfiability Problems
Model-Based-Diagnosis for Assistance in Programming Exercises
A Theory of Knowledge in Situation Semantics
Harnessing Orthogonality to Train Low-Rank Neural Networks
Finite Unary Relations and Qualitative Constraint Satisfaction
A Deductive System for elementary Arithmetic
Presupposition, Anaphora, and Reasoning about Change
Similarity-Based Ontology Alignment in OWL-Lite
AI on the Ocean: the RoboSail Project
Non-Linear Cluster Enhancement: Forcing Clusters into a Compact Shape
State-based vs Simulation-based Diagnosis of Dynamic Systems
Property Invariant Embedding for Automated Reasoning
Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach
The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis
Context-Sensitive Data Validation and Data Abstraction for Knowledge-Based Monitoring
Imitation of Intentional Behaviour
A New Formal Model of Belief
Parameter Estimation in Large Causal Models
Multiwinner Rules with Variable Number of Winners
Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional Genomics
A Unifying Semantics for Belief Change
Incentivize Diffusion with Fair Rewards
Creating Features from a Learned Grammar in a Simulated Student
Effective and Robust Natural Language Understanding for Human-Robot Interaction
Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System
A Theorem Prover for Action Performance
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
Reflective Strategic Control of Multiple Problem Solving Methods
Reducing Bias Effects in DOP Parameter Estimation
Genetic Algorithms for Air Traffic Assignment
Defeasible Logic with Dynamic Priorities
Semantic Similarity Driven Multi-Modal Model for Rumor Detection
Deep Generative Models for Subgraph Prediction
Semantic and Algorithmic Recognition Support to Porting Software Applications to Cloud
Inequity Aversion Pricing in Multi-Unit Markets
A Theoretical Analysis of Context-based Learning Algorithms or Word Sense Disambiguation
Discovering Collaboration Opportunities in Research-Oriented Networks
Introducing Alias Information into Model-Based Debugging
Annot-Mix: Learning with Noisy Class Labels from Multiple Annotators via a Mixup Extension
Mo.Di.Bot - Mobile Diagnostic Robot
An Objective Definition of Subjective Probability
Clique-Width and Directed Width Measures for Answer-Set Programming
Prime Implicates Based Inconsistency Characterization
Fixed-Parameter Algorithms for Closed World Reasoning
Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games
Abductive and Contrastive Explanations for Scoring Rules in Voting
Extracting Semantic Annotations from Moodle Data
Committee Selection with Multimodal Preferences
Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective
Knowledge Generation from Texts
A Soft Computing Technique Applied to Industrial Catalysis
Multi-Mind Dynamics in Intentional Agents
Theoretical Remarks on Feudal Hierarchies and Reinforcement Learning
Extracting MUSes
Knowledge Representation for Program Reuse
A Language Model as a Design Assistant for UI Design Recommendation and Evaluation
Enhancing Discourse Coherence to Improve Cross-Document Event Coreference Resolution
MTForest: Ensemble Decision Trees based on Multi-Task Learning
Emotion Analysis as a Regression Problem - Dimensional Models and Their Implications on Emotion Representation and Metrical Evaluation
An Algorithm for Adaptation in Case-based Reasoning
Real-Time Goal Recognition Using Approximations in Euclidean Space
A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning
Optimizing Chance-Constrained Submodular Problems with Variable Uncertainties
Template-based Extensible Prototyping for Creativity- and Usability-Oriented Knowledge Systems Development
Combining Reasoning on Semantic Web Metadata
The Frame and Focus Problems in AI: Discussion in Relation to the Believer System
Majority Merging: from Boolean Spaces to Affine Spaces
Anti-Matthew FL: Bridging the Performance Gap in Federated Learning to Counteract the Matthew Effect
PromptCD: Coupled and Decoupled Prompt Learning for Vision-Language Models
The Impact of Constraint Programming
High-Quality Human Motion Prediction Using Size Invariant Motion Space
Towards SPARQL-Based Induction for Large-Scale RDF Data Sets
Online Privacy Preservation for Camera-Incremental Person Re-Identification
Explanatory Diagnoses and their Computation by Circumscription
Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation
Background Knowledge for Ontology Construction
Towards deep learning reliable gender estimation from dental panoramic radiographs
A Decentralised Symbolic Diagnosis Approach
Naive Algorithm Design Techniques: A Case Study
An Easy Rejection Sampling Baseline via Gradient Refined Proposals
Incremental Component-Based Construction and Verification of a Robotic System
On Creating Metadata with Authoring Tools
Pedigree Tracking in the Face of Ancillary Content
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
Design for a Plan Hypothesizer
Compiling Possibilistic Knowledge Bases
Multi-Label Learning with Deep Forest
Decomposition and Good Recording for Solving Max-CSPs
Robust Decision Tree Induction from Unreliable Data Sources
Coordinated Exploration with a Shared Goal in Costly Environments
ONE - A Personalized Wellness System
Handling Conflicts in Access Control Models
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models
Unification in Many-Sorted Theories
Decidability of model checking multi-agent systems against a class of EHS specifications
A Multi-agent Systems Approach for Peer-to-Peer Energy Trading in Dairy Farming
Shape Analysis and Classification using Landmarks: Polygonal Wavelet Transform
Speeding up Word Mover's Distance and Its Variants via Properties of Distances Between Embeddings
Scale-Adaptive Balancing of Exploration and Exploitation in Classical Planning
CDL: an Integrated Framework for Context Specification and Recognition
Model-Based Diagnosis of Hardware Designs
Speech Production in Human-Machine Dialogue: A Natural Language Generation Perspective
Surrogate Benchmarks for Hyperparameter Optimization
Image Analysis Using Iconic Fuzzy Sets
Interval Pattern Concept Lattice as a Classifier Ensemble
Adapting LPGP to Plan with Deadlines
Efficient Norm Emergence through Experiential Dynamic Punishment
A (self-adapting) Network for Recognition of Visual Structures
Hybrid Soft Computing: Where are we Going?
Cluster-Driven Model for Improved Word and Text Embedding
An Efficient and Expressive Similarity Measure for Relational Clustering Using Neighbourhood Trees
Efficient Handling of Complex Local Problems in Distributed Constraint Optimization
Improving the Global Constraint SoftPrec
A Graph-Based Knowledge Representation Language for Concept Description
A Lazy Approach to Neural Numerical Planning with Control Parameters
Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation
A Stochastic Belief Change Framework with an Observation Stream and Defaults as Expired Observations
Explainable Knowledge Production
Evacuation Centrality: Agile Evacuation Routing in Unpredictable Hazardous Conditions
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Compiling Uncertainty Away in Non-Deterministic Conformant Planning
Towards Inconsistency Management in Reactive Multi-Context Systems
Influence of Personality-Based Features for Dialogue Generation in Computational Narratives
Cache-Efficient Dynamic Programming MDP Solver
Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum Trees
Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain
Processing information of geogaphical databases within a dialogue system : a pivot system
A Rational Account of Classical Logic Argumentation for Real-World Agents
Focusing Search by Using Problem Solving Experience
Mining Heterogeneous Multidimensional Sequential Patterns
Analysis of interval-based possibilistic networks
Advances in Artificial Intelligence II, Seventh European Conference on Artificial Intelligence, ECAI 1986, Brighton, UK, July 20-25, 1986, Proceedings
An Efficient Data Structure for Bidirectional Heuristic Search
Comparing Data Distribution Using Fading Histograms
Ully: A Program for Handling Conversations
Weakly commuting term rewriting systems : application to automatic recursion removal
What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation
Interpretable & Time-Budget-Constrained Contextualization for Re-Ranking
Random Sample as a Pre-pilot Evaluation of Benefits and Risks for AI in Public Sector
Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large Datasets
Continuous Conditional Random Fields for Regression in Remote Sensing
DL-Lite and Interval Temporal Logics: a Marriage Proposal
Bringing Information Extraction out of the Labs: the NoName Environment
Bayesian Methods for Artificial Intelligence and Machine Learning
Dynamic Algorithm Configuration: Foundation of a New Meta-Algorithmic Framework
A Logical Framework for Practical Planning
Nissist: An Incident Mitigation Copilot based on Troubleshooting Guides
AI Programming Methodology
S-CREAM: Semiautomatic CREAtion of Metadata
What Structure does a LISP Program have - besides being a set of Procedures?
An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility
A Clustering Technique for Semantic Network Processing
Relevant Beliefs
An Experiment in Knowledge Representation
Inducing Decision Trees from Medical Decision Processes
Explanations for Constraint Systems
Efficient Allocations in Constant Time: Towards Scalable Solutions in the Era of Large Scale Intelligent Systems
ActivityGen: Extracting Enabled Activities from Screenshots
ProMIL: Probabilistic Multiple Instance Learning for Medical Imaging
Recent Improvements on Error Detection for Automatic Speech Recognition
Of Mechanism Design Multiagent Planning
CorrAdaptor: Adaptive Local Context Learning for Correspondence Pruning
Verification of Protocols for Automated Negotiation
Reset It and Forget It: Relearning Last-Layer Weights Improves Continual and Transfer Learning
Dimensions of Similarity: Towards Interpretable Dimension-Based Text Similarity
Multi-Stage Transfer Learning with an Application to Selection Process
Learning to Control Inconsistent Knowledge
Guiding Search Using Constraint-Level Advice
The Truth-Reaction Paradox: A Probe of Artificial Intelligence
Mining Extremes: Severe Rainfall and Climate Change
On the Interaction of Knowledge Representation and Reasoning Mechanism in Discourse Comprehension
Efficient Explanations for Inconsistent Constraint Sets
Relational Grounded Language Learning
Acquisition of conceptual domain dictionaries via decision tree learning
Common Sense Reasoning: Experiments and Implementation
Lifted Successor Generation by Maximum Clique Enumeration
Recognising Agent Behaviour During Variable Length Activities
Learning Interpretable Classifiers for PDDL Planning
Interaction-Oriented Agent Simulations: From Theory to Implementation
Temporal Web Service QoS Prediction via Kalman Filter-Incorporated Latent Factor Analysis
Reinforcement Learning for Battery Management in Dairy Farming
How Should I Compute My Candidates? A Taxonomy and Classification of Diagnosis Computation Algorithms
Leveraging Foundation Models for Zero-Shot IoT Sensing
An Abstraction from Power to Coalition Structures
The Closing Operator: From Partial to Complete Knowledge
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner
How to Analyze Free Text Descriptions for Recommending TV Programmes?
Generating Random Bayesian Networks with Constraints on Induced Width
Safety Verification of Tree-Ensemble Policies via Predicate Abstraction
Argumentation Frameworks Features: an Initial Study
Minimum Target Sets in Non-Progressive Threshold Models: When Timing Matters
Constraint Propagation in a Cooperative Approach for Multimodal Presentation Planning
Black-Box Adversarial Attacks Against Deep Learning Based Malware Binaries Detection with GAN
Multi-Agent Based Ethical Asset Management
Natural Language Arguments: A Combined Approach
Cluster Discovery from Sensor Data Incorporating Expert Knowledge
Using Emotions for Behaviour-Selection Learning
Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling Units
Efficient Learning from Massive Spatial-Temporal Data Through Selective Support Vector Propagation
Verification of Description Logic Knowledge and Action Bases
Minimality of Combined Qualitative Constraint Networks
Camits: a Cooperative Agents Model for Intelligent Tutoring Systems
Text-Based Geolocation with a Byte-Level Language Model
Control by Adding Players to Change or Maintain the Shapley-Shubik or the Penrose-Banzhaf Power Index in Weighted Voting Games Is Complete for NP PP
Incorporation of Temporal Logic Control into Plan Operators
Multi-Agent Integration of Information Gathering and Decision Support
The Emotions of the Crowd: Learning Image Sentiment from Tweets via Cross-Modal Distillation
On the Usefulness of Re-using Diagnostic Solutions
Improving Visual Reinforcement Learning with Discrete Information Bottleneck Approach
Calibrating Probability Density Forecasts with Multi-Objective Search
Towards a Sustainable Future: The Use of Electrical Energy in Smart Cities
Associative Memories in the Feature Space
Proceedings of the 1st International Workshop on Multimodal Media Data Analytics co-located with the 22nd European Conference on Artificial Intelligence, MMDA@ECAI 2016, The Hague, Netherlands, August 30, 2016
Learning Temporal Context for Activity Recognition
Open-ended Grounded Semantics
Dense Depth Recovery From Stereo Images
A Distributed Asynchronous Solver for Nash Equilibria in Hypergraphical Games
Justifying Dominating Options when Preferential Information is Incomplete
Food Ontologies and Ontological Reasoning in Food Domain for Sustainability
Action-Failure Resilient Planning
A Hybrid Approach for Mining Metabolomic Data
Extending a Fuzzy Polarity Propagation Method for Multi-Domain Sentiment Analysis with Word Embedding and POS Tagging
Controlling Two-Stage Voting Rules
A Complete Method for Program Specialization Based on Unfolding
Coordination Through Inductive Meaning Negotiation
Explanation and Theory Base Transmutations
Automatic Induction of Domain-Related Information: Learning Descriptors Type Domains
Directional Adversarial Training for Recommender Systems
Topological and Metrical Invariants of Grammatical Meanings
Subsumption and Classification-Based Reasoning in Object-Based Representations
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
Computing Circumscription of Horn Theories
A Model for Creative Problem Solving Based on Divergent Production of Solutions
A Study on the Short-Term Prohibition Mechanisms in Tabu Search
On the Practicality of Abductive Validation
A weakening of independence in judgment aggregation: agenda separability
Efficient Computation of Exact IRV Margins
Large Language Model Agentic Approach to Fact Checking and Fake News Detection
CODD: A Decision Diagram-Based Solver for Combinatorial Optimization
Multiple Run Ensemble Learning with Low Dimensional Knowledge Graph Embeddings
Revision by Expansion in Logic Programs
Identifying Treatment Activities for Modelling Computer-Interpretable Clinical Practice Guidelines
MorphoClass - Recognition and Morphological Classification of Unknown Words for German
Mutual Local Consistency Learning for Face Forgery Detection
An Argumentation-Based Framework for Designing Dialogue Strategies
On Inconsistency Measuring and Resolving
Nested Monte-Carlo Tree Search for Online Planning in Large MDPs