yusuke1997/dblp-id-title huggingface dataset:
An incremental answer set programming based system for finite model computation
Exploiting macro-actions and predicting plan length in planning as satisfiability
The development of CASC
Using norms to control open multi-agent systems
Using n-ary multi-modal logics in argumentation frameworks to reason about ethics
Improved YOLOv3 detection method for PCB plug-in solder joint defects based on ordered probability density weighting and attention mechanism
Applied Semiotics: Control Problems (ASC 2000)
Heuristics for dynamically adapting propagation in constraint satisfaction problems
Stream-based perception for cognitive agents in mobile ecosystems
Resilience, reliability, and coordination in autonomous multi-agent systems
Automating the evaluation of planning systems
From data to text in the Neonatal Intensive Care Unit: Using NLG technology for decision support and information management
Evaluating the air-sea interactions and fluxes using an instance-based reasoning system
Two-phase selective decentralization to improve reinforcement learning systems with MDP
Multimodal interaction aware embedding for location-based social networks
Improving strategic decision making by the detection of weak signals in heterogeneous documents by text mining techniques
A guided learning strategy for vision based navigation of 4-legged robots
SOLAR: An automated deduction system for consequence finding
Advances in optimization and prediction techniques: Real-world applications
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
An Overview of Knowledge-Based Configuration
Leveraging external resources for offensive content detection in social media
The CADE-22 automated theorem proving system competition - CASC-22
Performance robustness of AI planners in the 2014 International Planning Competition
CBR for Diagnosis and Decision Support
IMATSA - an improved and adaptive intelligent optimization algorithm based on tunicate swarm algorithm
Use of symbolic dynamic time warping in hierarchical clustering of urban fabric evolutions extracted from spatiotemporal topographic databases
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
Reasoning on partially-ordered observations in online diagnosis of DESs
A Review of McDermott's "Critique of Pure Reason"
Knowledge-Based Systems for Commercial Line Insurance. An Exciting Application of AI-Techniques in the Service Field
ILPNET Repositories on WWW: Inductive Logic Programming Systems, Datasets and Bibliography
Learning invariant representation using synthetic imagery for object detection
On the expressive power of semi-normal defaults in some semantic variants of default logic
Graph-based data mining for biological applications
Fast computation of query relaxations for knowledge-based recommenders
On the Expressive Power of Ordered Logic
An inductive logic programming approach to statistical relational learning
Interviews on AI and Education: Allan Collins and Stellan Ohlsson
Endurants and perdurants in directly depicting ontologies
Social media enabled human sensing for smart cities
Applications of Inductive Learning Techniques: A Survey in the Netherlands
Combining inductive and deductive tools for data analysis
Analysing the effects of water quality on the occurrence of freshwater macroinvertebrate taxa among tropical river basins from different continents
An efficient glomerular object locator for renal whole slide images using proposal-free network and dynamic scale evaluation method
Why the Frame Problem is not a Problem
Fuzzy referral based cooperation in social networks of agents
Special issue on practical aspects of automated reasoning
Solving disjunctive temporal problems with preferences using maximum satisfiability
A phytography of WALDMEISTER
On stability and convergence of the population-dynamics in differential evolution
An efficient closed frequent itemset miner for the MOA stream mining system
Expressing default abduction problems as quantified Boolean formulas
A review of ESPRIT I
Let me explain: Adaptation of explanations extracted from incident reports
Qualitative Control and Fuzzy Control: Towards a Writing Methodology
A statistical simulation technique to develop and evaluate conversational agents
PCLEARN: A Computer Model for Learning Perceptual Chunks
Research Performance in Artificial Intelligence and Robotics: An International Comparison
Qualitative Reasoning: A Survey of Techniques and Applications
Integrating Model-based Diagnosis Techniques into Current Work Processes - Three Case Studies from the INDIA Project
Compiling Object Declarations into Connectionist Networks
Channel attention and multi-scale graph neural networks for skeleton-based action recognition
Adaptive learning algorithms for Bayesian network classifiers
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer
Applying probabilistic latent semantic analysis to multi-criteria recommender system
Goal reasoning for autonomous underwater vehicles: Responding to unexpected agents
Classification of retinal vessels using a collaborative agent-based architecture
Scheduling social tournaments locally
Agent-based modelling for Urban Analytics: State of the art and challenges
Expert Systems in Sweden
Evolutionary-inspired approach to compare trust models in agent simulations
Avoiding Logical Omniscience and Perfect Reasoning: A Survey
A framework for constructing complete algorithms based on local search
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions
Informational Logic in Knowledge Representation and Automated Deduction
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
Top-Down Induction of First Order Logical Decision Trees
Intelligent Data Analysis for Medical Diagnosis: Using Machine Learning and Temporal Abstraction
Improving the performance of evolutionary algorithms for decision rule learning
Towards backbone computing: A Greedy-Whitening based approach
Representation Change in Machine Learning
The state of CASC
Using a Genetic Algorithm to optimize a stacking ensemble in data streaming scenarios
Artificial Intelligence Advances in China
A rotation-invariant feature space according to environmental applications needs in a data mining system using fish otoliths
On the Use of Object-Oriented Paradigma in a Distributed Problem Solver
Artificial Intelligence through Logic?
Detection of imperative and declarative question-answer pairs in email conversations
Network properties of folksonomies
Using Terminological Reasoning in Hybrid Systems
Distributed Logic Programming for Artificial Intelligence
The CADE-28 Automated Theorem Proving System Competition - CASC-28
Efficient model building in competent genetic algorithms using DSM clustering
Special Issue on Case Based Reasoning
Highlights of AI Research in Europe
Introduction to the Special Issue on the ECAI 2012 Turing and Anniversary Track
Design and implementation of a fuzzy logic programming language using weak unification
Truth and Modality for Knowledge Representation
Knowledge-Base Evolution for Product and Production Planning
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Multi-paradigm learning of declarative models
INNAMP: An incremental neural network architecture with monitor perceptron
Agents' roles in B2C e-commerce
An approach for outlier and novelty detection for text data based on classifier confidence
Symmetry-breaking answer set solving
Evacuation route optimization architecture considering human factor
Towards a Technology and a Science of Machine Learning
Cost optimal planning with multi-valued landmarks
A novel multi-agent scheduling mechanism for adaptation of production plans in case of supply chain disruptions
General directionality and the local behavior of argumentation semantics
European collaboration on automated reasoning
A generalized case competence model for casebase maintenance
Biomimetic Navigation Models and Strategies in Animats
An ASP-based approach to dealing with agent perception failure
Multi-agent path finding on real robots
A framework for managing data provider and data consumer semantic obligations for access control
Improving heuristic search algorithms by means of pruning by dominance. Application to scheduling problems
Finding patterns in an unknown graph
Formalization of argument accrual: Acceptability semantics and dialectical proof procedure
Spatio-temporal deep learning framework for pedestrian intention prediction in urban traffic scenes
New heuristics in feature selection for high dimensional data (thesis abstract)
Benelearn: The First 10 Years
On-the-Fly Knowledge Base Refinement by a Classifier System
Thesis: Modelling rational inquiry in non-idela agents
Planning with rich goals, preferences and procedural operators via reformulation
Fully Automated Neural Network Framework for Pulmonary Nodules Detection and Segmentation
Robotics and artificial intelligence: A perspective on deliberation functions
TPTP, CASC and the development of a semantically guided theorem prover
A feature selection approach combining neural networks with genetic algorithms
Hierarchical invention of theorem proving strategies
An adaptive system for the personalized access to news
Thesis: Inductive learning classification algorithms
Artificial Intelligence: From programs to solvers
Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches
Intelligent anticipated exploration of Web sites
Challenges of knowledge evolution in practice
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems
Fine tuning the Naïve Bayesian learning algorithm
How to achieve fair and efficient cooperative vehicle routing?
The Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds
A Conceptual Modelling Framework for Knowledge-level Reflection
The 5th IJCAR automated theorem proving system competition - CASC-J5
Monitoring and Alarm Interpretation in Industrial Environments
Efficient lineage for SUM aggregate queries
High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices
Thesis: Constraint solving over multi-valued logics - application to digital circuits
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H
Knowledge Based Systems Validation: A State of the Art
A weighted CSP approach to cost-optimal planning
Knowledge dynamics in multi-agent systems: Plausibility, belief revision and forwarding information
An empirical study of learning and forgetting constraints
Slalom Tree Computing - A Tree Computing Theory for Artificial Intelligence
Special issue on Recommender Systems
Panel at AAAI-90: Why Hasn't AI Had More of an Impact on Software Engineering
A Logics Workbench
MaxSAT-based encodings for Group MaxSAT
Automated repricing and ordering strategies in competitive markets
Analysis and study on text representation to improve the accuracy of the normalized compression distance
Neighbourhood SAC: Extensions and new algorithms
The role of AI planning as a decision support tool in power substation management
A perspective on the early history of artificial intelligence in Europe
Approximating most specific concepts in description logics with existential restrictions
Learning from ubiquitous data streams: Clustering data and data sources
Using qualitative information to predict citizens' satisfaction
Similarity metrics from social network analysis for content recommender systems
A dashboard for controlling polarization in personalization
Supporting adaptiveness of cyber-physical processes through action-based formalisms
On exploiting classification taxonomies in recommender systems
Model checking for universal planning in deterministic and non-deterministic domains
State-of-the-art of intention recognition and its use in decision making
Representing and Propagating Constraints in Temporal Reasoning
On belief change in ontology evolution
Factoring textual reviews into user preferences in multi-criteria based content boosted hybrid filtering (MCCBHF) recommendation system
An intelligent system for taxi service: Analysis, prediction and visualization
Second European Working Session on LearningBled, Yugoslavia, May 13-15, 1987
Considerations on sentiment of social network posts as a feature of destructive impacts
Election algorithm: A new socio-politically inspired strategy
Multi-feature fusion dehazing based on CycleGAN
Block structured scheduling using constraint logic programming
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
AI Research in the Benelux - Guest Editorial
Multi-agent reinforcement learning for safe lane changes by connected and autonomous vehicles: A survey
Learning is neither sufficient nor necessary: An agent-based model of long memory in financial markets
Agriculture fleet vehicle routing: A decentralised and dynamic problem
ECCAI and the European Malaise
Collaborative Filtering Supporting Web Site Navigation
Multiobjective robust PID controller design for various industrial processes
Conception and evaluation of anomaly detection models for monitoring analytical parameters in wastewater treatment plants
On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements
Modified fuzzy support vector machine for credit approval classification
The First International Workshop on Meta-level Architectures and ReflectionAlghero, Italy, October 27-30, 1986
ECAI '90: The Invited Speakers
Computing, Cognition and Information Compression
A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks
A framework for fraud discovery via illicit agreements in energy markets
Challenging SMT solvers to verify neural networks
Robust plan execution via reconfiguration and replanning
Review on Wikification methods
Towards building Agreement Spaces using consensus networks
The CADE-20 Automated Theorem Proving Competition
Neighbourhood-Based Learning and Classification: Alternative Methods and Comparative Analysis
Automated theorem proving in quasigroup and loop theory
Europace AI and Expert Systems Programme
On classification and modeling issues in distributed model-based diagnosis
Perspectives on the system-level design of a safe autonomous driving stack
Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization
Monotonic qualitative logic programs: Computation and applications
The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution
Supervision Applied to Nuclear Fuel Reprocessing
Key figure impact in trust-enhanced recommender systems
Social norms for self-policing multi-agent systems and virtual societies
Reinforcement learning vs. rule-based adaptive traffic signal control: A Fourier basis linear function approximation for traffic signal control
On Models, Modelling and the Distinctive Nature of Model-Based Reasoning
Statistical cross-correlation band features based thought controlled communication system
Beyond physical product configuration - Configuration in unusual domains
Industrial Applications of Model-based Reasoning - Guest Editorial
Deterministic policies based on maximum regrets in MDPs with imprecise rewards
Foundations and applications of generalized planning
Routing for on-street parking search using probabilistic data
Learning Prolog from a Book - A Review of Five Prolog Textbooks
Complexity Results for Restricted Credulous Default Reasoning
A heuristic for learning decision trees and pruning them into classification rules
Dynamic Magic Sets and super-coherent answer set programs
Advanced Techniques for Logic Program Specialisation
Thesis: Development, Implementation and Evaluation of an Activated Sludge Supervisory System for the Granollers WWTP
ANTS '98 - From Ant Colonies to Artificial Ants: First International Workshop on Ant Colony Optimization
A New Theory of Mental Functioning: The Society of Mind
Thesis: Computational measures of information gain and reinforcement in inference processes
AI in support of Plant Disease Management
Automated repair of scoring rules in constraint-based recommender systems
A compressed Generalized Hypertree Decomposition-based solving technique for non-binary Constraint Satisfaction Problems
Addressing structural and linguistic heterogeneity in the Web
A logical characterisation of ordered disjunction
Benelog
The 4th international workshop on Qualitative Physics
Computing and Information Compression: A Reply
A conceptual clustering approach for user profiling in personal information agents
Generalized learning automata for multi-agent reinforcement learning
A genetic programming based learning system to derive multipole and local expansions for the fast multipole method
Classifying falls using out-of-distribution detection in human activity recognition
Neuro-symbolic artificial intelligence
An upper bound on computing all X-minimal models
Lifetime policy reuse and the importance of task capacity
Guest editorial: STAIRS 2002 (http: //stairs2002.univ-lyon1.fr/)
Semantic-based approach for the discovery of Life Sciences web resources driven by rich user's requirements
Predicting the success of transfer learning for genetic programming using DeepInsight feature space alignment
An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components
Residual SwinV2 transformer coordinate attention network for image super resolution
Pruning by leveraging training dynamics
Conversational AI for multi-agent communication in Natural Language
Temporal Planner = Nonlinear Planner + Time Map Manager
Evaluating and certifying QBFs: A comparison of state-of-the-art tools
Inductive Logic Programming: A Survey of European Research
To secure an anchor - a recovery planning approach to ambiguity in perceptual anchoring
Sound event localization and detection using element-wise attention gate and asymmetric convolutional recurrent neural networks
F : Conceptual language-based configuration
TIGER: Knowledge Based Gas Turbine Condition Monitoring
An evaluation of machine learning in algorithm selection for search problems
Optimizing human hand gestures for AI-systems
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
Ant Colony Optimization for multicore re-configurable architecture
Empirical scaling analyzer: An automated system for empirical analysis of performance scaling
A First-Order Representation of Stable Models
In the Office of Brice Lepape: A view on Research and Development in Information Technology at the European Level
ASQFor: Automatic SPARQL query formulation for the non-expert
Planning and visualization for a smart meeting room assistant
Query rewriting with symmetric constraints
Nonmonotonic Logics - A Brief Overview
Special issue on answer set programming
Effective team formation in collaboration networks using vertex and proficiency similarity measures
Robust coordination in large convention spaces
RecoDiver: Browsing behavior-based recommendations on dynamic graphs
Environmental emergency management supported by knowledge modelling techniques
The IJCAR-2004 Automated Theorem Proving Competition
Community of scientist optimization: An autonomy oriented approach to distributed optimization
Spatial and temporal reasoning
Cooperative behaviour-based complete exploration for an autonomous robot
Thesis: Relational learning vs. propositionalization
A General Temporal Model Supporting Duration Reasoning
Using WordNet for case-based retrieval of UML models
Explaining transformer-based image captioning models: An empirical analysis
AI in the German Democratic Republic
The compressed differential heuristic
Improving models for environmental applications of LiDAR: Novel approaches based on soft computing
Efficient planning through automatic configuration and machine learning
Investigating the solution space for online iterative explanation in goal reasoning agents
The bare necessities: Adaptive assistance for wheelchair control
FLAP: Applying least-commitment in forward-chaining planning
AdapTrack: An adaptive FairMOT tracking method applicable to marine ship targets
Knowledge discovery by means of inductive methods in wastewater treatment plannt data
CBR in Design
A Model Selection Approach for Local Learning
A Separable Architecture for the Construction of Knowledge Based Front Ends
A Note on the Utility of Incremental Learning
A Computational Approach for Argumentative Discourse in Multi-Agent Decision Making Environments
Drone-assisted automated plant diseases identification using spiking deep conventional neural learning
Propositional satisfiability: Techniques, algorithms and applications
Duplication monotonicity in the allocation of indivisible goods
Design and evaluation of an autonomic platform for the development of synchronous e-learning activities
Dual cross-domain session-based recommendation with multi-channel integration
Exploiting multidimensional data for web site automation
Simulated Annealing with Estimated Temperature
The 10th IJCAR automated theorem proving system competition - CASC-J10
Max-SAT formalisms with hard and soft constraints
Agent based trusted neighbor identification in Wireless Sensor Networks
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning
HAPRC: an automatically configurable planning system
New stochastic local search approaches for computing preferred extensions of abstract argumentation
From user models to interoperable user models
Combining Qualitative Model-Based Diagnosis and Observation within Fault-Tolerant Systems
Improving the landcover classification using domain knowledge
Case-Based Reasoning: An Overview
An adaptive threshold based gait authentication by incorporating quality measures
Constrained incomplete argumentation frameworks: Expressiveness, complexity and enforcement
Search in the patience game 'Black Hole'
ABVE-Frame: An agent-based virtual enterprise development framework
Forecasting red tides using an hybrid neuro-symbolic system
Feature ranking in rough sets
Qualitative models of interactions between two populations
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems
An Efficient Problem Solving Architecture Using ATMS, Tested on a Non-Toy Case Study
Working Group in Model-Based Design and Reasoning. Part II: Design
Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide
Social Network Analysis in Applications
Preference-based search with adaptive recommendations
Constraint Satisfaction Problems: An Overview
Interviews on AI and Education: Education and Technology: What do we know? And where is AI?
Reasoning and interaction for social artificial intelligence
Construction of Boolean contact algebras
The CADE-26 automated theorem proving system competition - CASC-26
DL-PCN: Differential learning and parallel convolutional network for action recognition
On the links between belief merging, the Borda voting method, and the cancellation property
Sigma: An integrated development environment for formal ontology
Towards a Conceptual Framework for Expert System Validation
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers
SECL: Sampling enhanced contrastive learning
Domain-independent temporal planning in a planning-graph-based approach
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
OMBO: An opponent modeling approach
Maximal falsifiability
The pattern memory of gene-protein networks
Multiagent systems for cardiac pacing simulation and control
Fundamentals and Design of IRIS: A Shell for Building Intelligent Teaching-Learning Systems
Dealing with temporal indeterminacy in relational databases: An AI methodology
Enhancing the management of resource-aware business processes
A cross-lingual sentence pair interaction feature capture model based on pseudo-corpus and multilingual embedding