yusuke1997/dblp-id-title huggingface dataset:
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings
Causal Structures: Computation and Applications
A Hybrid Rule-Based/Bayesian Classifier
Ethics in the Design of Automated Vehicles: The AVEthics project
Data set operations to hide decision tree rules
Constraining Search in a Hierarchical Discriminative Learning System
Embedding the Trust Degrees of Agents in Abstract Argumentation
How to Write a Story
Plan Generation in a Temporal Frame
On the Usage of Behavior Models to Detect ATM Fraud
SVETLAN - A System to Classify Words in Context
Reasoning about Emotional Agents
Bayesian CAIPI: A Probabilistic Approach to Explanatory and Interactive Machine Learning
Unsupervised Grammar Induction Using a Parent Based Constituent Context Model
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax
Reinforcement Learning for a Real Robot in a Real Environment
A Unified Automata-Theoretic Approach to LTL f Modulo Theories
Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective
An Artificial Life Model for Information Retrieval in a Distributed Environment
A Non-Monotonic Deduction System Based on (A)TMS
Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems
Hypothetical Reasoning within the Blackboard
Dynamic Taxi Pricing
Soft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm
Using Recursive Neural Networks to Detect and Classify Drug-Drug Interactions from Biomedical Texts
Adaptive play in Texas Hold'em Poker
A Two-Stream Network with Image-to-Class Deep Metric for Few-Shot Classification
The Prospect of Machine Translation
Provisional Propagation for Verifying Monotonicity of Bayesian Networks
A New Approach to Planning in Networks
Influence of internal values and social networks for achieving sustainable organizations
HAIformer: Human-AI Collaboration Framework for Disease Diagnosis via Doctor-Enhanced Transformer
Knowledge-based adaptive thresholding from shadows
Limitations and Applicability of GANs in Banking Domain
Assisted Debate Builder with Large Language Models
Relation Time-Aware Heterogeneous Dynamic Graph Neural Networks
Modeling Physical Systems with Relative Descriptions of Parameters
Patch Learning for Incremental Classifier Design
Finding Key Bloggers, One Post At A Time
Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent Systems
An argumentation-based Semantics for Agent Communication Languages
Approximate Linear-Programming Algorithms for Graph-Based Markov Decision Processes
Fully-Convolutional Intensive Feature Flow Neural Network for Text Recognition
EUMSSI: Multilayered Analysis of Multimedia Content Using UIMA, MongoDB and Solr
Uncertain Linear Constraints
Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems
A Constructivist View on Knowledge Engineering
A Multi-agent Argumentation Framework to Support Collective Reasoning
Get Me to My GATE on Time: Efficiently Solving General-Sum Bayesian Threat Screening Games
Approximate Inference in Default Logic and Circumscription
Election Score Can Be Harder than Winner
Region Proposal Network for Lung Nodule Detection and Segmentation
Towards a Declarative Spatial Reasoning System
Online Prediction of Exponential Decay Time Series with Human-Agent Application
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Speech Transcription: An Incremental, Interactive Approach
Binary Constraint Satisfaction Problems: Some are Harder than Others
Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis
Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental Framework
Empirical Evaluation of Concept Probing for Game-Playing Agents
PLANT/ds: An Expert Consulting System for the Diagnosis of Soybean Diseases
Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning
Integrating Multiple Contexts and Ontologies in a Pervasive Computing Framework
MECHO, Year one
A Testbed for Research on Cooperating Agents
Randomized Distribution Feature for Image Classification
Artequakt: Generating Tailored Biographies with Automatically Annotated Fragments from the Web
BiERL: A Meta Evolutionary Reinforcement Learning Framework via Bilevel Optimization
Improving RFID's Location Based Services by means of Hidden Markov Models
A Reachability-based Navigation Paradigm for Triadic Concepts
An Integrated Framework of Learning Numerical Terms in FOL
Symmetries in Itemset Mining
Learning and Optimizing with an SSB Representation of Intransitive Preferences on Sets
The EUMSSI Project - Event Understanding through Multimodal Social Stream Interpretation
Improving User's Experience in Navigating Concept Lattices: An Approach Based on Virtual Reality
ConspEmoLLM: Conspiracy Theory Detection Using an Emotion-Based Large Language Model
Fair Division of Indivisible Goods under Risk
Formal Analysis of Models for the Mammalian Vision System
Universal, Unsupervised (rule-based), Uncovered Sentiment Analysis
Intuitive Action Set Formation in Learning Classifier Systems with Memory Registers
How Fuzzy FCA and Pattern Structures are Connected?
Match'In - Pilot Project of an Algorithm-Based Decision Support System for Individualized Recommendations of Municipalities for the Integration of Refugees
Smoothed Particle Filtering for Dynamic Bayesian Networks
A Markov Analysis of Patients Developing Sepsis Using Clusters
Nested Monte-Carlo Expression Discovery
Distributed Artificial Intelligence Meets Machine Learning, Learning in Multi-Agent Environments, ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS'96 Workshop LIOME, Kyoto, Japan December 10, 1996, Selected Papers
A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games
Automatic Creation of a Conceptual Base for Portuguese using Clustering Techniques
A Formal Approach for RDF/S Ontology Evolution
Observation-Based Multi-Agent Planning with Communication
Autonomous Environment and Task Adaptation for Robotic Agents
An architecture based on semantic weblogs for exploring the Web of People
Departamento de Nosotros: How Machine Translated Corpora Affects Language Models in MRC Tasks
BEDCOE: Borderline Enhanced Disjunct Cluster Based Oversampling Ensemble for Online Multi-Class Imbalance Learning
Satisfaction-Maximizing Optimal Stopping
Solving Necklace Constraint Problems
Computing Minimal Diagnoses with Critical Set Algorithms
Strong Statistical Correlation Revealed by Quantum Entanglement for Supervised Learning
The Automated Evaluation of Inferred Word Classifications
Sampling-Based Teacher Guided Method to Boost Transferable Attack on SAR Image Classification
A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning
Employing time-series forecasting to historical medical data: an application towards early prognosis within elderly health monitoring environments
Text Sampling and Re-Sampling for Imbalanced Authorship Identification Cases
Encoding Cryptographic Functions to SAT Using TRANSALG System
Normative, Subjunctive and Autoepistemic Defaults
Ada-QPacknet - Multi-Task Forget-Free Continual Learning with Quantization Driven Adaptive Pruning
Scheduling Sport Tournaments using Constraint Logic Programming
A Programming Environment for the Development of Complex Systems
VT-LINKER: Visual-Textual-Knowledge Entity Linker
Modeling Rare Interactions in Time Series Data Through Qualitative Change: Application to Outcome Prediction in Intensive Care Units
Learning action effects in partially observable domains
Finding Object Configurations that Satisfy Spatial Relationships
Recommendations Over Domain Specific User Graphs
Entropy-Based Adaptive Exploit-Explore Coefficient for Monte-Carlo Path Planning
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
Customized Plans Transmitted by Flexible Refinement
Piece-Wise Model Fitting Using Local Data Patterns
Improving Understandability of Explanations with a Usage of Expert Knowledge
Description Logics for the Representation of Aggregated Objects
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability
OER: Offline Experience Replay for Continual Offline Reinforcement Learning
Probabilistically Plausible Counterfactual Explanations with Normalizing Flows
Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs
On support relations in abstract argumentation as abstractions of inferential relations
Combining hypertree, bicomp, and hinge decomposition
Probabilistic Active Learning: A Short Proposition
Completeness and Definability in Diagnostic Expert Systems
Managing Energy Markets in Future Smart Grids Using Bilateral Contracts
BASAR: A Blackboard Based Software Architecture
Semantic Annotation Using NKRL (Narrative Knowledge Representation Language)
Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence, FCA4AI@ECAI 2016, The Hague, the Netherlands, August 30, 2016
Maximal Sets of Solutions for Constraint Satisfaction Problems
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach
Composition Through Agent Negotiation: A Step Towards Fluid Interface
The Distributional Uncertainty of the SHAP Score in Explainable Machine Learning
Boltzmann Machine for Population-Based Incremental Learning
Shift of Bias without Operators
Beliefs in Multi-Agent Worlds: a Terminological Logics Approach
Assessing the Memory Ability of Recurrent Neural Networks
Evolutionary Bi-Objective Optimization for the Dynamic Chance-Constrained Knapsack Problem Based on Tail Bound Objectives
SESAM: An Explanatory Medical Aid System
Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems
On Modal Logic Interpretations of Games
A Machine Learning Approach to Boredom Detection using Smartphone's Sensors
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
Gene Network Modeling through Semi-Fixed Bayesian Network
Deep Unsupervised Hashing with Hyperbolic Multi-Structure Learning
Efficient Information Modulation Network for Image Super-Resolution
A Pragmatic Theory of Induction
On Robustness of CMAB Algorithms: Experimental Approach
Inverse Consistencies for Non-Binary Constraints
Accounting for Observer's Partial Observability in Stochastic Goal Recognition Design
Domain-Specific Long Text Classification from Sparse Relevant Information
Offline Decentralized Multi-Agent Reinforcement Learning
OpenSim: A framework for integrating agent-based models and simulation components
Error-Driven Uncertainty Aware Training
Learning better together
A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning
Multimodal Transfer Learning-Based Approaches for Retinal Vascular Segmentation
Automatic Coral Detection with YOLO: A Deep Learning Approach for Efficient and Accurate Coral Reef Monitoring
Learning Kernel-Based Embeddings in Graph Neural Networks
The Semantics of Historical Knowledge. Labelling Strategies for Interdisciplinary and Digital Research in History
A Landmark-Cut Heuristic for Lifted Optimal Planning
Breaking the Weak Semantics Bottleneck of Transformers in Time Series Forecasting
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks
Learning When to Use Lazy Learning in Constraint Solving
A Partially Recurrent Connectionist Model
Ontologies and Context for Educational Process Modeling in IMS Learning Design
Using a Data Metric for Preprocessing Advice for Data Mining Applications
Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data
A New Approach for Extracting the Conceptual Schema of Texts Based on the Linguistic Thematic Progression Theory
Towards Evaluating Policy Optimisation Agents Using Algorithmic Intelligence Quotient Test
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation
Towards Lifelong Object Learning by Integrating Situated Robot Perception and Semantic Web Mining
Automatic Parallel Portfolio Selection
An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks
Coulomb Autoencoders
Transforming Logic Programs by Specialising Interpreters
Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust
Hypotheses Generation for Knowledge Validation
Cooperative Goal-satisfaction without Communication in Large-scale Agent-Systems
Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining
Semi Supervised Logistic Regression
Sentence Processing as Constraint Transformation
Revisiting the Dataset Bias Problem from a Statistical Perspective
Search, Examine and Early-Termination: Fake News Detection with Annotation-Free Evidences
An Adaptation of Proof-Planning to Declarer Play in Bridge
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming
The Presentation Manager, A Method for Task- Driven Concept Presentation
Multi-Context Systems in Time
An Axiomatic Perspective on Anomaly Detection
A note on the complexity of some multiobjective A* search algorithms
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters
Cooperation Based on Communication: An Approach for an Autonomous Driving System
R 4 : Reinforced Retriever-Reorder-Responder for Retrieval-Augmented Large Language Models
Reference without Causal Links
Improving Abductive Diagnosis Through Structural Features: A Meta-Approach
Exploiting Hierarchical Symmetry in Multi-Agent Reinforcement Learning
Logic Profiling for Multicriteria Rating on Web Pages
An Informative, Adaptable and Efficient Natural Language Consultable Database System
Acquisition of Grammar in Autonomous Artificial Systems
Double Logistic Regression Approach to Biased Positive-Unlabeled Data
Reachability Poorman Discrete-Bidding Games
Updating a Hybrid Rule Base with Changes to its Symbolic Source Knowledge
An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors
Explained Activity Recognition with Computational Assumption-Based Argumentation
Evolution of Coordination as a Metaphor for Learning in Multi-Agent Systems
Increasing Coalition Stability in Large-Scale Coalition Formation with Self-Interested Agents
Adaptive Constraint Satisfaction: The Quickest First Principle
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View
SUDS: Sanitizing Universal and Dependent Steganography
A Simple Yet Effective Interpretable Bayesian Personalized Ranking for Cognitive Diagnosis
The Why and When of Artificial Intelligence
Blockchains as Knowledge Graphs - Blockchains for Knowledge Graphs (Vision Paper)
Deriving explanations from causal information
Federated Online Learning for Heavy Hitter Detection
Combining Contexts and Ontologies: A Case Study and a Conceptual Proposal
A Backtracking Strategy for Order-Independent Incremental Learning
How to Avoid Explaining Obvious Things (Without Omitting Central Information)
Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic Analysis
Visual Design Support in Dynamic Probabilistic Networks for Driver Modelling
Advanced Preprocessing for Answer Set Solving
CompLung: Comprehensive Computer-Aided Diagnosis of Lung Cancer
Counterfactual Prediction Under Selective Confounding
The Last Voting Rule Is Home: Complexity of Control by Partition of Candidates or Voters in Maximin Elections
IPA-NeRF: Illusory Poisoning Attack Against Neural Radiance Fields
Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making
Is Web Genre Identification Feasible?
Understanding and Improving Neural Active Learning on Heteroskedastic Distributions
Towards Human-Based Models of Behaviour in Social Robots: Exploring Age-Related Differences in the Processing of Gaze Cues in Human-Robot Interaction
Using Machine Learning and Information Retrieval Techniques to Improve Software Maintainability
Toward a greater Generality in Artificial Intelligence
Go-Explore for Residential Energy Management
Inside the Black Box: Detecting Data Leakage in Pre-Trained Language Encoders
Cognitive Effects in Large Language Models
CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization
Information Retrieval by On-line Navigation in the Latticial Space-search of a Database, with Limited Objects Access
Leximin Approximation: From Single-Objective to Multi-Objective
Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation
Temporal Saliency Detection Towards Explainable Transformer-Based Timeseries Forecasting
Principles for Cooperative Conjecture Elaboration in a Multiagent Context
Knowledge Compilation for Itemset Mining
Mental State Ascription Using Dynamic Logic
Learning the Goal Relevance of Actions in Classifler Systems
The Study of the Relationship Between Publications in Social Networks Communities via Formal Concept Analysis
High Probability Analysis for Non-Convex Stochastic Optimization with Clipping
Applying Co-Evolution to the Construction of Neural Networks
Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control
On When Diagnostic Systems Want to Do without Causal Knowledge
Artificial Intelligence and Industry
Enhanced Machine Reading Comprehension Method for Aspect Sentiment Quadruplet Extraction
Uncertainty-Encoded Multi-Modal Fusion for Robust Object Detection in Autonomous Driving
Skeleton-Based Orienteering for Level Set Estimation
JND-GAN: Human-Vision-Systems Inspired Generative Adversarial Networks for Image-to-Image Translation
Learning Joint Job Embeddings Using a Job-Oriented Asymmetrical Pairing System
FBC: Fusing Bi-Encoder and Cross-Encoder for Long-Form Text Matching
Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring
Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
An Extended Prolog Machine for Dynamic Context Handling
VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base
Fuzzy Diagnosis of Continuous Processes
Bipartite Time Series Network for Data Imputation
Communicating with Unknown Teammates
Case-Based Decisions
SIRAH: An Architecture for a Professional Intelligence
Case Retrieval of Software Designs using WordNet
Improved Statistical Machine Translation Using Monolingual Paraphrases
Less is More: Efficient Brain-Inspired Learning for Autonomous Driving Trajectory Prediction
Fair Deep Reinforcement Learning with Preferential Treatment
An Empirical Study of Argumentation Schemes for Deliberative Dialogue
The Neural Path to Dialogue Acts
Concurrent Planning by Decomposition
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System
Failure Handling in BDI Plans via Runtime Enforcement
FishNet: A Unified Embedding for Salmon Recognition
Detecting the Reputation Polarity of Microblog Posts
Conflict Resolution in Partially Ordered OWL DL Ontologies
Towards a Plan-Based Synthesis of Illustrated Documents
Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints
CLCE: An Approach to Refining Cross-Entropy and Contrastive Learning for Optimized Learning Fusion
On the Effects of Irrelevant Variables in Treatment Effect Estimation with Deep Disentanglement
A Brief Critique of LISP
A Unifying Framework for Nonmonotonic Reasoning
Diagnostic Reasoning Across Different Time Points
VMFTransformer: An Angle-Preserving and Auto-Scaling Machine for Multi-Horizon Probabilistic Forecasting
Predicting Solar Heat Production to Optimize Renewable Energy Usage
Executing Parallel Plans Faster by Adding Actions
Admissible Bidirectional Heuristic Search Algorithm
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
Relative-Order Abstractions for the Pancake Problem
Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS)
Knowledge Discovery and Visualization in Healthcare Datasets using Formal Concept Analysis and Graph Databases
Data-Driven Detection of Recursive Program Schemes
Using Two Level Abduction to Decide Similarity of Cases
Gas Grid Copilot: Can a MORL Agent Assist a Dispatcher in Managing a Gas Grid?
WordNet Sits the S.A.T. - A Knowledge-Based Approach to Lexical Analogy
Taxonomic Default Theory
Learning Temporal Action Models via Constraint Programming
A Philosophy of "Wicked" Problem Implementation
Learning Agents' Reliability Through Bayesian Conditioning: A Simulation Experiment
A Geometrical Approach to Depictional Representation of Spatial Relations
Towards a Rigorous Calibration Assessment Framework: Advancements in Metrics, Methods, and Use
On Efficient Load Balancing for Parallel Execution of Production Systems
Reuse, Reduce and Recycle: Optimizing Reiter's HS-Tree for Sequential Diagnosis
I-Adapt: Using IoU Adapter to Improve Pseudo Labels in Cross-Domain Object Detection
String Constraint Solving: Past, Present and Future
On Finding Compromise Solutions in Multiobjective Markov Decision Processes
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules
PROMETHEUS Session
InsideOut: Unifying Emotional LLMs to Foster Empathy
Estimating Confidence Values of Individual Predictions by their Typicalness and Reliability
WWW sits the SAT: Measuring Relational Similarity on the Web
Do Datapoints Argue?: Argumentation for Hierarchical Agreement in Datasets
Realtime depression estimation using mid-term audio features
Mobile Tourist Guide: Bridging the Gap between Recommending, Planning and User-Centered Interaction
Clustering weather situations with respect to prediction of solar irradiance by multiple NWP models
EP for Efficient Stochastic Control with Obstacles
Semantics for Defeasible Inheritance
Comparison in NLIs - Habitability and Database Reality
SETNet: A Novel Semi-Supervised Approach for Semantic Parsing
Strategical Argumentative Agent for Human Persuasion
Spoken Language Parsing Strategies in a Conversational System
Distantly Supervised Question Parsing
Coherence and Compatibility of Markov Logic Networks
Temporal Reasoning with Abductive Event Calculus
Turning High-Level Plans into Robot Programs in Uncertain Domains
Towards a Complete Classical Music Companion
A Social Reasoning Mechanism Based On Dependence Networks
Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs
Recommending Learning Algorithms and Their Associated Hyperparameters
A Framework to improve Knowledge Acquisition based on Machine Learning
Towards A Separation of Pragmatic Knowledge and Contextual Information
On Multiclass Active Learning with Support Vector Machines
Towards an Explainable Argumentation-based Agent
Action Categorization from Video Sequences
Beat Tracking with Musical Knowledge
How to Use the Scuba Diving Metaphor to Solve Problems with Neutrality?
Hybrid Possibilistic Conditioning for Revision under Weighted Inputs
Compilation of LTL Goal Formulas into PDDL
Decidable Model-Checking for a Resource Logic with Production of Resources
Interpretable Encoding of Densities Using Possibilistic Logic
Scoring Rules for the Allocation of Indivisible Goods
More on Stratified Default Theories
Seq2Space: A Lightweight Solution for Sequence Modelling
GR-MAS: Multi-Agent System for Geriatric Residences
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin?
SP-MCTS-based Intention Scheduling for BDI Agents
Enhancing Genetic Search to Schedule a Production Unit
Formalizing Expertise Qualitative Operators
SUBLLM: A Novel Efficient Architecture with Token Sequence Subsampling for LLM
One-Class to Multi-Class Model Update Using the Class-Incremental Optimum-Path Forest Classifier
DPBERT: Efficient Inference for BERT Based on Dynamic Planning
Taking Dimension Seriously in Qualitative Spatial Reasoning
Vision-Language Integration in AI: A Reality Check
Can Representation be Liberated from Symbolism: Modeling Robot Actions with Roboticles