yusuke1997/dblp-id-title huggingface dataset:
A Deduction Method for Modal Logic
The Communication of Inductive Inferences
Opinion Question Answering: Towards a Unified Approach
Generating Causal Explanations: From Qualitative Models to Natural Language Texts
Generalized Stable Models: A Semantics for Abduction
Stochastic Filtering Methods for Predicting Agent Performance in the Smart Grid
Structural Abstraction in Model-Based Diagnosis
Synthesizing Argumentation Frameworks from Examples
A Humanlike Approach for Automatic Theorem Proving
Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings
Building a Geological Expert System for Dipmeter Interpretation
Opening the software engineering toolbox for the assessment of trustworthy AI
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts
Quantified Constraint Satisfaction and Bounded Treewidth
Abduction and Constraint Logic Programming
A Graph Theoretic Approach for Representation and Classification of Structured Objects
A Dynamic Selective Parameter Sharing Mechanism Embedded with Multi-Level Reasoning Abstractions
Backward Explanations via Redefinition of Predicates
Weighted LARS for Quantitative Stream Reasoning
A Unified Framework for Non-standard Reasoning Services in Description Logics
The Semantics of MOLUSC
Checking The Correctness of Agent Designs Against Model-Based Requirements
Highly-Efficient Robinson-Foulds Distance Estimation with Matrix Correction
Improving Bound Propagation
The Monad Platform - Temporal Aspects in Behavioral Modeling
Improving Aspect-Based Sentiment Analysis via Tuple-Order Learning
Constrained Hardware Dimensioning for AI Algorithms
SAT-Based Approaches to Reasoning in Choice Logics
Classification of Dreams Using Machine Learning
Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images
Representation of decision-theoretic plans as sets of symbolic decision rules
General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing
A Region Selection Model to Identify Unknown Unknowns in Image Datasets
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints
Affective Games Provide Controlable Context. Proposal of an Experimental Framework
Relational Learning with Decision Trees
Towards a Methodology for Case Adaptation
Acceptability semantics accounting for strength of attacks in argumentation
Unit Refutations of Difference Constraint Systems
A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm
Counterfactual Exceptions in Deductive Database Queries
Qualitative Modelling of Planar Robots
A Knowledge-theoretic Approach to Distributed Problem Solving
Bagged Biclustering for Microarray Data
High-Multiplicity Fair Allocation Using Parametric Integer Linear Programming
Tutor-Instructing Global Pruning for Accelerating Convolutional Neural Networks
What If: Robots Create Novel Goals? Ethics Based on Social Value Systems
Dedge-AGMNet: An Effective Stereo Matching Network Optimized by Depth Edge Auxiliary Task
Sense Tagging and Language Engineering
Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT)
Reactive Abduction
Model-Free Non-Stationarity Detection and Adaptation in Reinforcement Learning
Dihypergraph Decomposition: Application to Closure System Representations
Knowledge Modeling with the Open Source Tool myCBR
A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions
Learning by Automatic Option Discovery from Conditionally Terminating Sequences
Towards Organizational Guidelines for the Responsible Use of AI
Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks
A Discourse Approach to Verb Phrase Anaphora
The SAT Phase Transition
Enriching a lexical semantic net with selectional preferences by means of statistical corpus analysis
Meta-Mechanisms for Combinatorial Auctions over Social Networks
Gaifman Graphs in Lifted Planning
Analogical learning using dissimilarity between tree-structures
Fine-Grained Text Sentiment Transfer via Dependency Parsing
Adaptive Learning in Multiagent Systems for Automated Energy Contacts Negotiation
Interactive Constraint Satisfaction techniques for Information Gathering in Planning
Qualitative Algorithmics Using Order of Growth Reasoning
NEHATE: Large-Scale Annotated Data Shedding Light on Hate Speech in Nepali Local Election Discourse
Learning Fairness-Aware Relational Structures
A First-Order Multi-Gradient Algorithm for Multi-Objective Bi-Level Optimization
Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data
FedReMa: Improving Personalized Federated Learning via Leveraging the Most Relevant Clients
Can We Reach Pareto Optimal Outcomes Using Bottom-Up Approaches?
An Ontology Enrichment Method for a Pragmatic Information Extraction System gathering Data on Genetic Interactions
Generating Natural Language Adversarial Examples on a Large Scale with Generative Models
Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces
Induction through Knowledge Base Normalisation
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning
THUNDER: Named Entity Recognition Using a Teacher-Student Model with Dual Classifiers for Strong and Weak Supervisions
HyenaPixel: Global Image Context with Convolutions
X-Vent: ICU Ventilation with Explainable Model-Based Reinforcement Learning
Towards Trustworthy NLP: An Adversarial Robustness Enhancement Based on Perplexity Difference
Collective Learning in MultiAgent Systems
Delving Deeper into the Decoder for Video Captioning
Fuzzy Logic for Preferences expressible by convolutions
Monte Carlo Vehicle Routing
Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search
Using abstraction in Two-Player Games
Human and Machine Collaboration in Creative Design
Optimal Scheduling of Dynamic Progressive Processing
Learning Flexible Concepts from Streams of Examples: FLORA 2
An Intrinsic Information Content Metric for Semantic Similarity in WordNet
Mixture of Gaussians Model for Robust Pedestrian Images Detection
Matching Gains with Pays: Effective and Fair Learning in Multi-Agent Public Goods Dilemmas
Modeling Gaze Mechanisms for Grounding in HRI
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
Soft Constraints with Partially Ordered Preferences
Integrating BDI Agents into a MATSim Simulation
Seeing Puppets quickly
Solving Multi-Agent Knapsack Problems Using Incremental Approval Voting
Truthful and Equitable Lateral Transshipment in Multi-Retailer Systems
A Kohonen-like Decomposition Method for the Traveling Salesman Problem: KNIES DECOMPOSE
A Model-based Reasoning Approach to Circumscription
Causal Probabilistic Networks for Dynamic Modeling
Activation Diffusion: a Connectionist Network for robust parsing
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
Back-up of Heuristic Values: Minimaxing vs. Product Propagation
A Logic for Policy Based Resource Exchanges in Multiagent Systems
Skeptical Inheritance Can Be More Expressive
Multirelational Consensus Clustering with Nonnegative Decompositions
S2M: Converting Single-Turn to Multi-Turn Datasets for Conversational Question Answering
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
Instance-Based Prediction with Guaranteed Confidence
Iterated revision and the axiom of recovery: A unified treatment via epistemic states
Best Reply Dynamics for Scoring Rules
Case-Based Representability of Classes of Boolean Functions
An Occlusion-Based Representation of Shape for Viewpoint Recovery
Cost-Based Budget Active Learning for Deep Learning
Grammar Discovery as Data Compression
Towards Feasible Counterfactual Explanations: A Taxonomy Guided Template-Based NLG Method
Steps Towards Interactive Formal Concept Analysis with LatViz
A Formal Tutoring Process Model for Intelligent Tutoring Systems
Comparing Abductive Theories
Planning in Uncertain Environments through Situation Calculus
An Attribute Weight Setting Method for k-NN Based Binary Classification using Quadratic Programming
Clash of the Explainers: Argumentation for Context-Appropriate Explanations
Negotiating Concurrently with Unknown Opponents in omplex, Real-Time Domains
How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplaces
From constraint representations of sequential code and program annotations to their use in debugging
An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
Knowledge Graphs: Meeting Point of Knowledge Representation and Representation Learning
Transductive Learning for Multi-Task Copula Processes
Metric Learning for Ordered Labeled Trees with pq-grams
Nonmonotonic Logic for Default Theories
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
Dual Attention-Based Adversarial Autoencoder for Attributed Network Embedding
Shape Invariant Formulation for Change Point Models in Multiple Dimensions
A Stubborn Set Algorithm for Optimal Planning
Autoepistemic Predicate Logic
IntuiGeo: Interactive Tutor for Online Geometry Problems Resolution on Pen-Based Tablets
Characterization of Positive and Negative Information in Comparative Preference Representation
Personal dynamic memories are necessary to deal with meaning and understanding in human-centric AI
Global Structural-Temporal Graph Network with Public Opinion for Online Rumor Detection
Reasoning about Dynamic Depth Profiles
Random Subset Optimization
Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data
Integrating Probabilistic Reasoning into Plan Recognition
The Epistemology of Scheduling Problems
Domain Descriptions Should Be Modular
Safety Logics II: Normative Safety
Improving Text Semantic Similarity Modeling Through a 3D Siamese Network
FsPONER: Few-Shot Prompt Optimization for Named Entity Recognition in Domain-Specific Scenarios
Supervised Anomaly Detection in Crude Oil Stabilization
A Simplification-Based Approach to Program Synthesis
The Post-Modern Homunculus
Embodied Conversational Agents and Influences
Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984
Fully Hyperbolic Rotation for Knowledge Graph Embedding
Instance-Aware Diffusion Implicit Process for Box-Based Instance Segmentation
Belief States as Default Theories: Studies in Non-Prioritized Belief Change
How Much Knowledge Is in a Knowledge Base? Introducing Knowledge Measures (Preliminary Report)
Categorizing Opinion in Discourse
Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness
Every Node Counts: Improving the Training of Graph Neural Networks on Node Classification
Learning to Collaborate by Grouping: A Consensus-Oriented Strategy for Multi-Agent Reinforcement Learning
United We Stand: Decentralized Multi-Agent Planning with Attrition
Label Attention Network for Temporal Sets Prediction: You Were Looking at a Wrong Self-Attention
Multi-Robot Adversarial Coverage
IDD: Integrating Diagnosis in the Design of automotive systems
A Unification-Based Approach to Quantifier Scoping
Sub-SA: Strengthen In-Context Learning via Submodular Selective Annotation
Solving Permutation Constraint Satisfaction Problems with Artificial Ants
BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions
SSHFD: Single Shot Human Fall Detection with Occluded Joints Resilience
Post-hoc Rule Based Explanations for Black Box Bayesian Optimization
Causation as Production
Knowledge Discovery from a Case Base
Knowledge-Based Programs as Plans - The Complexity of Plan Verification
SAM: A Model to Design Complex Computational Social Agents
Eleventh International Workshop on Agents in Traffic and Transportation co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, September 4, 2020
When intelligence is just a matter of copying
Towards Efficient Discrete Integration via Adaptive Quantile Queries
Actions with Durations and Failures in BDI Languages
A Real Time Blackboard Based Architecture
PLEASE: Generating Personalized Explanations in Human-Aware Planning
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings
LightFF: Lightweight Inference for Forward-Forward Algorithm
AI and A-Life: Never Mind The Blocksworld
An Automatic System for Acquisition of Natural Concepts
Heuristic Constraint Answer Set Programming
On the Price of Fairness in the Connected Discrete Cake Cutting Problem
Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation
The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems
Learning to Reuse Translations: Guiding Neural Machine Translation with Examples
CBM: Curriculum by Masking
Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results
High-Dimensional Causal Bayesian Optimization
Interactive Example-Based Explanations to Improve Health Professionals' Onboarding with AI for Human-AI Collaborative Decision Making
Towards Robust Understanding of Speech by Combination of Partial Analyses
Propositional Merging and Judgment Aggregation: Two Compatible Approaches?
Answering Definition Question: Ranking for Top-k
FedPerturb: Covert Poisoning Attack on Federated Learning via Partial Perturbation
Aliasing Maps for Robot Global Localization
Lifting Majority to Unanimity in Opinion Diffusion
Multiple and Partial Periodicity Mining in Time Series Databases
Inference in relational neural machines
DSPrompt: Prompt Learning with Relation Abstraction and Context Injection for Distant Supervised Relation Extraction
Utilizing Volatile External Information During Planning
Differentiable Neural Network for Assembling Blocks
'Being a Manifold' as the Topological Primitive of Mereotopology
Solving Pseudo-Boolean Modularity Constraints
Degradation-Resistant Offline Optimization via Accumulative Risk Control
An Instance-based Approach for Identifying Candidate Ontology Relations within a Multi-Agent System
Interval Temporal Logics over Finite Linear Orders: the Complete Picture
Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), Virtual Event, September, 2020
Enhancing Constraints Manipulation in Semiring-Based Formalisms
Back to Defatilts: Characterizing and Computing Diagnoses as Coherent Assumption Sets
Diversifying the Mixture-of-Experts Representation for Language Models with Orthogonal Optimizer
Polynomial Neural Networks and Taylor Maps for Dynamical Systems Simulation and Learning
Towards ACL Semantics Based on Commitments and Penalties
Anticipating Responsibility in Multiagent Planning
Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation
How Good Is Predictive Routing in the Online Version of the Braess Paradox?
A Macro - Mutation Operator in Genetic Algorithms
Evolutionary Explainable Rule Extraction from (Modal) Random Forests
Adaptive Multi-model Approaches to Pattern Set Mining
Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line
Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning Problems
Model-based Diagnosis Under Structural Uncertainty
A Possibility Theory-based Approach to Desire Change
Implementation of Critical Path Heuristics for SAT
An Alternative Inference for Qualitative Choice Logic
Geometric Modelling of Stereovision: Application to Aerial Pictures
Diversity-Enhanced Learning for Unsupervised Syntactically Controlled Paraphrase Generation
Possible Models Approach via Independency
Towards a Connectionist Argumentation Framework
CARIN: A Representation Language Combining Horn Rules and Description Logics
Semantics of Negative Sequential Patterns
CTL Model Update: Semantics, Computations and Implementation
Hybrid Query Answering Over OWL Ontologies
Reasoning with Temporal Context in News Analysis
Dynamical Teams of Genetic Predictors
Arguing with Confidential Information
Adversarial Erasing Transformer for Weakly Supervised Semantic Segmentation
Multiple Worlds with Truth Maintenance in AI Applications
Semantic Modularity and Module Extraction in Description Logics
Evolutionary Agent-Based Modeling of Past Societies' Organization Structure
Semantically Driven Automatic Hyperlinking
Solving Diagnostic Problems Using Extended Truth Maintenance Systems
Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space
BDBIDA: A New Approach for Space-limited Bidirectional Heuristic Graph Search
Representing Normal Programs with Clauses
Gaining Insight by Structural Knowledge Extraction
A Typicality-Based Revision to Handle Exceptions in Description Logics
Deep Learning Applied to NILM: Is Data Augmentation Worth for Energy Disaggregation?
Generating Fair Solutions of Minimal Cost
A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model
PerMEASS - Personal Mental Health Virtual Assistant with Novel Ambient Intelligence Integration
Interoperability of AI Languages
Partial and Informative Common Subsumers in Description Logics
A Unified Architechture for Knowledge Representation Based on Description Logics
Context Dependence in Multiagent Resource Allocation
Adding Intelligence to Virtual Reality
Agreements Without Disagreements
Privacy-Enhanced AI Assistants Based on Dialogues and Case Similarity
A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot Systems
LoSS: Local Structural Separation Hypergraph Convolutional Neural Network
A General Model for Epistemic State Revision using Plausibility Measures
Self-Attention-Based Fully-Inception Networks for Continuous Sign Language Recognition
Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design
Solving Optimization Problems with DLL
Global Consistency in Interval Algebra Networks: Tractable Subclasses
MacSolo/AURAC: A Programming Environment for Novices
Lightweight Transformer for sEMG Gesture Recognition with Feature Distilled Variational Information Bottleneck
Heuristic Planning with Resources
Test Generation for Model-Based Diagnosis
Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units
Argument Based Rule Learning
Prompt-Based Domain Incremental Learning with Modular Classification Layer
Value-Based Rationales Improve Social Experience: A Multiagent Simulation Study
Proceedings of 8th Workshop on Knowledge Engineering and Software Engineering, KESE@ECAI 2012, Montpellier, France, August 28, 2012
Learning to Use Operational Advice
Context-Aware Personalised Service Delivery
Long-Time Sensor Data Analysis for Estimation of Physical Capacity
Experimental Learning Model
Lifted Heuristics for Timeline-Based Planning
Sinogram-Image Dual-Domain Network for Robust Metal Artifact Reduction in CT Image
End-to-End Evaluation in JANUS: A Speech-to-speech Translation System
Model Priming with Triplet Loss for Few-Shot Emotion Classification in Text
Taming Reasoning in Temporal Probabilistic Relational Models
Enriching very large ontologies using the WWW
Collective Intelligence for Evaluating Synergy in Collaborative Innovation
Collaborative-AI: social robots accompanying and approaching people
Structure in the Value Function of Two-Player Zero-Sum Games of Incomplete Information
An Overview of Artificial Intelligence for Electric Vehicle Energy Systems Integration
Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract)
Background Default Knowledge and Causality Ascriptions
Combining Abduction with Conflict-based Diagnosis
Compression-based AODE Classifiers
CDeepEx: Contrastive Deep Explanations
Spatial evolutionary game-theoretic perspective on agent-based complex negotiations
Model-Based Knowledge Acquisition for Heuristic Classification Systems
Tools for Text Mining over Biomedical Literature
ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings
Applying a Chart Parser to Speech Understanding
Incremental Augmented Naive Bayes Classifiers
Ontology Focusing: Knowledge-Enriched Databases on Demand
Fitness Distance Correlation in a Dual Genetic Algorithm
The Role of Knowledge Level Models in Situated Adaptive Design
Computing Quantifiers in Predicate Modal Logics
Negotiation in State-Oriented Domains with Incomplete Information over Goals
Comment-Aware Multi-Modal Heterogeneous Pre-Training for Humor Detection in Short-Form Videos
A unified interaction-aware goal framework
General Concept Inclusions inFluzzy Description Logics
DGA: An Efficient Genetic Algorithm
MultiCounter: Multiple Action Agnostic Repetition Counting in Untrimmed Videos
A Third Modailty of Natural Language?
Closure Structure: a Deeper Insight
Incremental Diagnosis of DES by Satisfiability
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations
Simple Framework for Interpretable Fine-Grained Text Classification
Enhancing Text-to-SQL Capabilities of Large Language Models via Domain Database Knowledge Injection
Augmented Prediction of a True Class for Positive Unlabeled Data Under Selection Bias
A General Selection Criterion for Inductive Inference
Ensembling Uncertainty Measures to Improve Safety of Black-Box Classifiers
Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems
Making Friends in the Dark: Ad Hoc Teamwork Under Partial Observability
Semantic-Aware Dual Contrastive Learning for Multi-Label Image Classification
A Probabilistic Approach to Appearance-Based Localization and Mapping
Using an Interpretation System - Some Observations in Hidden Operator Simulations of 'VERBMOBIL'
SETTP: Style Extraction and Tunable Inference via Dual-Level Transferable Prompt Learning
Definitional Constraints
Mediation in the Framework of Morpho-Logic
Fuzzy Reasoning in a Knowledge-Based System for Object Classification
TP-GMOT: Tracking Generic Multiple Object by Textual Prompt with Motion-Appearance Cost (MAC) SORT
Graphical Granger Causality by Information-Theoretic Criteria
Regret-Based Elicitation for Solving Multi-Objective Knapsack Problems with Rank-Dependent Aggregators
Towards Unsupervised Validation of Anomaly-Detection Models
The Fit Approach to AI Languages
Instance-Wise Adaptive Tuning and Caching for Vision-Language Models
Social network data analysis for event detection
Processing Newspaper Stories: Some Thoughts on fighting and Stylistics
Stochastic Local Search and Machine Learning: From Theory to Applications and Vice Versa
Updating inconsistent Description Logic knowledge bases
Cascade Memory for Unsupervised Anomaly Detection
Trust in complex actions
Preference Inference Based on Lexicographic Models
Synonymy Extraction From Semantic Networks Using String and Graph Kernel Methods
Scheduling Heuristics for the DRS-Sched System
Model-Based Monitoring of Software Components
T-VAKS: A Tutoring-Based Multimodal Dialog System via Knowledge Selection
Belief Map Enhancement Network for Accurate Human Pose Estimation
MFF-YOLO: Multi-scale Feature Fusion Network for Small Ship Detection in Night Scenes
Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020
Performance Evaluation of a Novel Fault Tolerance Training Algorithm
Unified Definition of Heuristics for Classical Planning
Finding Optimal Deterministic Policies for Constrained Stochastic Shortest Path Problems
Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence
Long-Tail Theory Under Gaussian Mixtures
Information-based Incentivisation when Rewards are Inadequate
Finite-State Models for Computer Assisted Translation
Reasoning About Belief and Evidence with Extended Justification Logic