yusuke1997/dblp-id-title huggingface dataset:
Rota: a research project on algorithms for workforce scheduling and shift design optimization
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems
Automatic Chinese knowledge-based question answering by the MGBA-LSTM-CNN model
Scheduling countermeasures to contamination events by genetic algorithms
Intelligent tutoring system to improve learning outcomes
Artificial Intelligence in the UK: The Alvey Intelligent Knowledge-Based Systems (IKBS) Programme
Algorithms for recursive delegation
Efficient decision procedures for the integration of planning and formal verification in advanced systems
An approach to computational social trust
Sixth European Workshop on Logics in Artificial Intelligence (JELIA '98)
Particle swarm optimization algorithm with multi methods argument
Learning and using domain-specific heuristics in ASP solvers
Contexts as Communicating Theories
A Bayesian approach to ranking private companies based on predictive indicators
Engineering of holonic multi agent intelligent forest fire monitoring system
Artificial intelligence and a universal quantum computer
aTLP: A color-based model of uncertainty to evaluate the risk of decisions based on prototypes
Understanding intelligent agents: analysis and synthesis
Realizing Believable Agents: An Integration of the 'Author-based' and the 'Model-based' Approaches
Optimization of airport ground operations integrating genetic and dynamic flow management algorithms
A Framework for Abductive Rule Formation
Exploiting abstractions in cost-sensitive abductive problem solving with observations and actions
Automatic component abstraction for Model-Based Diagnosis on relational models
Callgraph properties of executables
Do machine learning methods used in data mining enhance the potential of decision support systems? A review for the urban water sector
A hybrid data clustering approach based on improved cat swarm optimization and K-harmonic mean algorithm
Specific-class distance measures for nominal attributes
Fifth European Workshop on Logics in Artificial Intelligence (JELIA '96), Evora, Portugal, 30 September-3 October 1996
Agents applied in health care
Large theory reasoning with SUMO at CASC
Plan Management in the Medical Domain
Verification of partial designs using incremental QBF
DiKe - a model-based diagnosis kernel and its application
SAC and neighbourhood SAC
Building cost-sensitive decision trees for medical applications
From diagnosis of active systems to incremental determinization of finite acyclic automata
Thesis: Partial evaluation of lazy functional logic programs
Thesis: New methodology for disability assessment: analysis of WHO-Disability Assessment Schedule II with clustering based on rules
Open issues for normative multi-agent systems
COSMOA an ontology-centric multi-agent system for co-ordinating medical responses to large-scale disasters
Multilevel data summarization from information systems: a "rule + exception" approach
Accelerating route choice learning with experience sharing in a commuting scenario: An agent-based approach
Evaluating probabilistic model checking tools for verification of robot control policies
Using interest and transition models to predict visitor locations in museums
Policy adaptation for vehicle routing
An Approach to Integrating Expert Systems with Connectionist Networks
Exploiting agents in e-learning and skills management context
Speculative constraint processing for hierarchical agents
Algebraic and logical study of constructive processes in knowledge representation
REPLOT: REtrieving Profile Links On Twitter for malicious campaign discovery
Semantic segmentation based on enhanced gated pyramid network with lightweight attention module
AI Research in the People's Republic of China
EKAW'90 Amsterdam, June 25-29, 1990
Automatic Construction of Descriptive Rules
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging
Dependable learning-enabled multiagent systems
Agent-based modeling of collaborative creative processes with INGENIAS
Optimally solving permutation sorting problems with efficient partial expansion bidirectional heuristic search
Scheduling with uncertainty: A proactive approach using Partial Order Schedules
Development and assessment of the SHARP and RandSHARP algorithms for the arc routing problem
Resizing cardinality constraints for MaxSAT
Development and selection of decision trees for water management: Impact of data preprocessing, algorithms and settings
Emergence of cooperation via intention recognition, commitment and apology - A research summary
Extracting symbolic rules from trained neural network ensembles
Artificial Intelligence Research in Belgium and The Netherlands
On the use of machine learning methods for modern drug discovery
Implementing prioritized logic programming
Special Issue on Environmental Data Mining
Learning directed probabilistic logical models from relational data
Thesis: Bayesian system for student modeling
Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms
Safety perception and pedestrian dynamics: Experimental results towards affective agents modeling
Transformation Rules and Strategies for Functional-Logic Programs
Systematic versus non systematic techniques for solving temporal constraints in a dynamic environment
Complex aggregates in relational learning
Constraint Programming on ECAI-98 - Student's View
Open-world object detection: A solution based on reselection mechanism and feature disentanglement
Knowledge Representation and Natural Language Understanding
Pathology in heuristic search
Thesis: ClusDM: a Multiple Criteria Decision Method for heterogeneous data sets
Anticipation of goals in automated planning
Multi-agent systems for computational economics and finance
Interviews on AI and Education: John Anderson and Clotile Pontecorvo
Decision-making under uncertainty for multi-robot systems
A Temporal Argumentative System
Partial evaluation of multi-paradigm declarative languages
Computer vision methods for robot tasks: Motion detection, depth estimation and tracking
From intelligent agents to trustworthy human-centred multiagent systems
TheME: an Environment for Building Formal KADS-II Models of Expertise
The CADE-24 automated theorem proving system competition - CASC-24
Verbal offense detection in social network comments using novel fusion approach
Applying and optimizing case-based reasoning for wastewater treatment systems
An advanced scatter search algorithm for solving job shops with sequence dependent and non-anticipatory setups
Enhancing profit from stock transactions using neural networks
Towards a Test-Bed for Trading Agents in Electronic Auction Markets
Progressing the state-of-the-art in grammatical inference by competition: The Omphalos Context-Free Language Learning Competition
Modeling Web-search scenarios exploiting user and source profiles
Maximum spanning tree based linkage learner
FI-FPN: Feature-integration feature pyramid network for object detection
Learning in unlabeled networks - An active learning and inference approach
Case-Based Planning: Selected Methods and Systems
Fusion of knowledge towards the identification of genetic profiles
Learning Causal Networks from Data: A Survey and a New Algorithm for Recovering Possibilistic Causal Networks
Integrating quantitative and qualitative fuzzy temporal constraints
Thesis: Inductive learning to tree-based regression models
Automatic ontology generation from Web tabular structures
MAFormer: A cross-channel spatio-temporal feature aggregation method for human action recognition
Microdebates: Structuring debates without a structuring tool
Provision of agent-based health care services
Solving permutation flowshop scheduling problems with a discrete differential evolution algorithm
A logical modeling of the Yōkai board game
Cross-form efficient attention pyramidal network for semantic image segmentation
Transforming agent-actions into reputational images with probabilistic planning and a fuzzy cognitive map
A hybrid automatic scoring system for Arabic essays
Structure-based satisfiability checkingAnalyzing and harnessing the potential
Quantitative Disjunctive Logic Programming: Semantics and Computation
Mobile push personalization and user experience
Optimal refinement of rule bases
Parallel search for maximum satisfiability
On-line diagnosis of discrete event systems with two successive temporal windows
SAX-quantile based multiresolution approach for finding heatwave events in summer temperature time series
Introduction to Information Extraction
Thesis summaries
A Survey of Intelligent Debugging
Distributed intelligent navigation architecture for robots
A Report on the ECAI-98 Conference from the Machine Learning Perspective
MantaRay-ProM: An efficient process model discovery algorithm
Experimental evaluation of algorithms for solving problems with combinatorial explosion
Adaptive simulated annealing for tuning PID controllers
Lifelike Interface Agents - Guest Editorial
Combining approaches for solving satisfiability problems with qualitative preferences
Personalised recommendations based on novel semantic similarity and clustering procedures
The Diagnosis Frontend of the dlv System
Situated Nonmonotonic Temporal Reasoning with BABY-SIT
What the Study of Language Can Contribute to AI
Anytime heuristic search in temporal HTN planning for developing incident action plans
Engineering Cognitive Systems: Japan's Real-World Computing Programme
Learning of plan execution policies for indoor navigation
The emergent computational potential of evolving artificial living systems
Boosting branch-and-bound MaxSAT solvers with clause learning
Efficient Modeling of Linear Circuits to Perform Qualitative Reasoning Tasks
An application of constraint solving for home health care
Mechanized reasoning in Homological Algebra
Some thoughts about artificial stupidity and artificial dumbness
Constraint-based planning and scheduling techniques for the optimized management of business processes
Dynamic finegrained structured pruning sensitive to filter texture distribution
Novel techniques for enhancing performance of genetic algorithms
Case-based strategies in computer poker
A diversity-aware recommendation system for tutoring
A machine learning pipeline for extracting decision-support features from traffic scenes
Automatic move pruning for single-agent search
Evolutionary multi-objective physics-informed neural networks: The MOPINNs approach
Extended mean-variance model for reliable evolutionary portfolio optimization
Enhancing privacy in Multi-agent Systems
Optimizing individual activity personal plans through local search
Self regulating mechanisms for network immunization
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
BAGEL - A novel hybrid technique for missing value estimation in mixed attribute datasets
Norms for beneficial A.I.: A computational analysis of the societal value alignment problem
Reply to William J. Clancey
LRBNN: A Lazy Radial Basis Neural Network model
Interviews on AI and Education: Beverly Woolf and Roger Schank
Algorithms for computing backbones of propositional formulae
On argument bundles in the Web of Experiences
The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9
Simplifying Semantic Web application development and semantic data usage
Non-conservative extension of a peer in a P2P inference system
Qualitative pattern matching with linguistic terms
The intelligent system for detection and counteraction of malicious and inappropriate information on the Internet
A genetic algorithm for group formation in elderly communities
Invited Speaker: Bill Clancey
On rule systems whose consistency can be locally maintained
Parametric abstraction of behavioral modes for model-based diagnosis
Removing examples and discovering Hierarchical Decision Rules: With Evolutionary Algorithms
LTL model-checking for security protocols
Normative Agents in Health Care: Uses and challenges
Potassco: The Potsdam Answer Set Solving Collection
Enterprise information integration
Knowledge acquisition in the STREAMES project: the key process in the Environmental Decision Support System development
Verifiable autonomy: From theory to applications
Extracting and validating biclusters from binary datasets
A Framework for Modeling Programming Knowledge
Achievements and Results of the Knowledge Engineering Area in ESPRIT I
Model checking for the concurrent constraint paradigm
Building Life-like 'Conscious' Software Agents
Defending against adversarial attacks on graph neural networks via similarity property
AI Communications track on agreement technologies
Rewriting queries using views with negation
Distributed discrepancy detection for a goal reasoning agent in beyond-visual-range air combat
Combining linear programming and clustering techniques for the classification of research centers
STRATEX - a Knowledge-Based System for Strategic Market Planning in Small Firms
The Programming Language Scheme
Situated Cognition: Stepping out of Representational Flatland
From precedence constraint posting to partial order schedules: A CSP approach to Robust Scheduling
Routing and wavelength assignment in all-optical networks based on the bee colony optimization
Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91
Book Review: Scalable Search in computer chess - algorithmic enhancements and experiments at high search depth
Multiple analogical proportions
IJCAI Policy on Multiple Publication of Papers Revisited
Towards efficient MUS extraction
Cognitive Science and Wittgenstein's Tractatus
Calls for Papers / Calendar
Using Semantic Web technologies and production rules for reasoning on obligations, permissions, and prohibitions
PairTraining: A method for training Convolutional Neural Networks with image pairs
Comparing environments for developing software agents
Frank D. Anger (1939-2004)
Bayesian Network structure learning: Hybridizing complete search with independence tests
A multi-average based pseudo nearest neighbor classifier
Programming and verifying a declarative first-order prover in Isabelle/HOL
Including item characteristics in the probabilistic latent semantic analysis model for collaborative filtering
The Logic Programming Paradigm
Special issue on historical and future perspectives of AI
Reasoning about Linear Circuits: A Model-Based Approach
Multi-Agent Interaction in a Complex Virtual Design Environment
Preferences of agents in decentralized task allocation
Template programs for Disjunctive Logic Programming: An operational semantics
Implicit abstraction heuristics for cost-optimal planning
Guest editorial: Agents applied in health care
Formal tools and methods of Artificial Intelligence
A heterogeneous two-stream network for human action recognition
Restricting backtracking in connection calculi
Features extraction based on the Discrete Hartley Transform for closed contour
Coordinating open fleets. A taxi assignment example
Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications
Modelling deception using theory of mind in multi-agent systems
Focussing Abductive Diagnosis
The Belgian Dutch Artificial Intelligence Association (Belgisch-Nederlandse Verebiging voor Kunstmatige Intelligentie)
Classification of periodical defects in inspection systems based on computer vision
On the specification of multiple models for diagnosis of dynamic systems
A conceptual model to facilitate knowledge sharing for bulking solving in wastewater treatment plants
Coalition formation in social environments with logic-based agents
Bayesian learning and evolutionary parameter optimization
Distilled insights from IBERAMIA 2022
Relational Inductive Learning with a Hybrid Evolutionary Algorithm
Logic, Ontologies and Mental States - Report on the ECAI-98 Conference
Portfolio-based planning: State of the art, common practice and open challenges
Toward a social web of intelligent things
Alan Turing and the development of Artificial Intelligence
Qualitative distances and qualitative description of images for indoor scene description and recognition in robotics
An argumentative approach for handling inconsistency in prioritized Datalog± ontologies
Model-Based Reasoning (Guest Editor's Introduction)
Leveraging knowledge bases for future prediction with memory comparison networks
Norm internalization in artificial societies
Fuzzy-genetic approach to context-aware recommender systems based on the hybridization of collaborative filtering and reclusive method techniques
Anytime AND/OR depth-first search for combinatorial optimization
Analogy and Induction as Inference
Project Report on LP + : A Second Generation Logic Programming Language
Artificial Intelligence in Belgium and the BeNeLux: Past and Future
Web-based analysis of data mining and decision support education
Decentralized semantic coordination of interconnected entities via belief propagation
The design and implementation of VAMPIRE
Tools for modeling and solving search problems
Real-time agreement and fulfilment of SLAs in Cloud Computing environments
Generalized support and formal development of constraint propagators
Agent-based modeling under partial and full knowledge learning settings to simulate financial markets
Graph constrained label propagation on water supply networks
Handwriting recognition by using deep learning to extract meaningful features
The 7th IJCAR automated theorem proving system competition - CASC-J7
DRUMS: Defeasible Reasoning and Uncertainty Management Systems
Why the 'selfish' optimizing agents could solve the decentralized reinforcement learning problems
Implementing a fair monodic temporal logic prover
Multiple refinement and integration network for Salient Object Detection
Soft computing in finance and economics
Using Normative Markov Decision Processes for evaluating electronic contracts
Eye Communication in a Conversational 3D Synthetic Agent
Demand-responsive rebalancing zone generation for reinforcement learning-based on-demand mobility
History-based diagnosis templates in the framework of the situation calculus
Web wrapper induction: a brief survey
Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems
Incremental methods for Bayesian network structure learning
An entity graph based Recommender System
Finding the most prominent group in complex networks
A backjumping technique for Disjunctive Logic Programming
Integration of hospital data using agent technologies - A case study
Towards a theory of random walk planning: Regress factors, fair homogeneous graphs and extensions
The CADE-23 Automated Theorem Proving System Competition - CASC-23
Tutorial on application-oriented evaluation of recommendation systems
Partially decentralized reinforcement learning in finite, multi-agent Markov decision processes
OPBUS: A framework for improving the dependability of risk-aware business processes
Constraint-based methods for scheduling discretionary services
Relational reinforcement learning
Understanding and Translating Language - Challenges of the 90s
Contemporary training methodologies based on evolutionary artificial neural networks with product and sigmoid neurons for classification
On-line monitoring and diagnosis of a team of service robots: A model-based approach
Incremental processing of temporal observations in Model-Based Reasoning
Special issue on goal reasoning
On the quest for robust technical trading strategies using multi-objective optimization
Efficient automated quality assessment: Dealing with faulty on-line water quality sensors
Grey-based multiple instance learning with multiple bag-representative
Developing, evaluating and scaling learning agents in multi-agent environments
A Generic, Collaborative Framework for Interval Constraint Solving
Domain action classification using a maximum entropy model in a schedule management domain
Improving semantic Web services discovery and ranking: A lightweight, integrated approach
From Geometric Motion Planning to Neural Motor Control in Robotics
Scalable methods to analyze Semantic Web data
Frequent Pattern Discovery in First-Order Logic
Semi-Inflationary DATALOG: A declarative database language with procedural features
Demonstrations Track of the 25th International Joint Conference on Artificial Intelligence
Interviews on AI and Education: Kurt Vanlehn and David Merrill
Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results
Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR '97) Dagstuhl, Germany, 28-31 July 1997
Transferring experiences in k-nearest neighbors based multiagent reinforcement learning: an application to traffic signal control
Repeated-task Canadian Traveler Problem
Concepts and Tools for Lexical Knowledge Acquisition
Enumerating consistent metaquery instantiations
Using IRON to build frictionless on-line communities
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
Knowledge engineering in environmental sciences with IKBS: Application to Systematics of corals of the Mascarene Archipelago
Exploiting Multi-Agent Systems in realizing adaptivity in the Mobile Tourist Domain
Agent-based ambient intelligence for healthcare
Evolution of a supply chain management game for the Trading Agent Competition
A dialogue management system using a corpus-based framework and a dynamic dialogue transition model
The 3rd IJCAR Automated Theorem Proving Competition
Using AI and machine learning to study expressive music performance: project survey and first report
Evolutionary concept learning in First Order Logic: An overview
Motion planning with temporal-logic specifications: Progress and challenges
Inferring phylogenetic trees using pseudo-Boolean optimization
Discourse Markers: A Challenge for Natural Language Processing
Control for Intelligent Tutoring Systems: A Blackboard-based Dynamic Instructional Planer
Real-time heuristic search for motion planning with dynamic obstacles
IJCAI Policy on Multiple Publication of Papers
Simulating Electrical Devices with Complex Behaviour
Network analysis in natural sciences and engineering
A tour of machine learning: An AI perspective
CSFL: A novel unsupervised convolution neural network approach for visual pattern classification
A Survey on Temporal Reasoning in Artificial Intelligence
A case study of knowledge modelling in an air pollution control decision support system
DisLoP: A Research Project on Disjunctive Logic Programming
Efficient approximate planning in continuous space Markovian Decision Problems
Development of optimization methods to deal with current challenges in engineering design optimization
A semantic approach to cross-document person profiling in Web
Thesis: Function variables for constraint programming
Feature-based opinion extraction: A practical, domain-adaptable approach
Assumption of knowledge and the Chinese Room in Turing test interrogation
A Survey on Knowledge Compilation
Guided socialbots: Infiltrating the social networks of specific organizations' employees
Thesis: Coordination of planning agents to solve problems in the Web
Multi-scale redistribution feature pyramid for object detection
The Barcelona declaration for the proper development and usage of artificial intelligence in Europe
New developments in Inductive Learning
Detection of dishonest behaviors in on-line networks using graph-based ranking techniques
The CADE-21 automated theorem proving system competition
Pattern-based automatic taxonomy learning from the Web
Ripple Down Rule learning for automated word lemmatisation
Interviews on AI and Education: Martial Vivet
Thesis: Strategies and analysis techniques in functional program optimization
A multilayer ontology-based hybrid recommendation model
Theories of Abstraction
The Model-Based Construction of a Case-Oriented Expert System
The Symposium on Combinatorial Search
A Framework to Deal with Interference in Connectionist Systems
Sketch retrieval based on qualitative shape similarity matching: Towards a tool for teaching geometry to children
The current challenges of automatic recognition of facial expressions: A systematic review
How to share knowledge by gossiping