yusuke1997/dblp-id-title huggingface dataset:
Minimization of Counterexamples in SPIN
Certification for μ-Calculus with Winning Strategies
Control Strategies for Off-Line Testing of Timed Systems
dSPIN: A Dynamic Extension of SPIN
Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
An Incremental Heap Canonicalization Algorithm
EdSketch: execution-driven sketching for Java
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems
Model-Checking Multi-threaded Distributed Java Programs
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution
Generating Counter-Examples Through Randomized Guided Search
TravMC2: higher-order model checking for alternating parity tree automata
SpinCause: a tool for causality checking
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems
Model Checking Branching Time Properties for Incomplete Markov Chains
Model Checking Cell Fate Decisions
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Model-Checking HyperLTL for Pushdown Systems
WikiCoder: Learning to Write Knowledge-Powered Code
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Specification and Verification of Conurrent Systems in Cesar
The Beginning of Model Checking: A Personal Perspective
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration
CTL+FO verification as constraint solving
Automatic Equivalence Checking of UF+IA Programs
Towards a test automation framework for alloy
Lazy Reachability Checking for Timed Automata with Discrete Variables
Distributed On-the-Fly Model Checking and Test Case Generation
On-the-Fly Control Software Synthesis
Homogeneous Sets of ATP Problems
Fine Grained Neural Network Classification of Positron Emission Tomography Scans of Alzheimer's and Normal Subjects
An Infrastructure for Managing Knowledge Using Intelligent Workflow
A Gramulator Analysis of Gendered Language in Cable News Reportage
Provenance and Case-Based Reasoning
Adapting to Learners' Mental States Using a Physiological Computing Approach
AI-supported Digital Twins in applications related to sustainable development goals
Towards an Expressive Embodied Conversational Agent Utilizing Multi-Ethnicity to Augment Solution Focused Therapy
A Faster Algorithm for Generalized Multiple-Instance Learning
Using Learning in a Control Agent
A Logic Programming Approach to Querying and Integrating P2P Deductive Databases
A Hybrid Machine Translation System for Typologically Related Languages
Comparison of Data Sampling Approaches for Imbalanced Bioinformatics Data
Feature Ranking and Support Vector Machines Classification Analysis of the NSL-KDD Intrusion Detection Corpus
A Coherent Teamwork Model in a Dynamic Environment
Show Me What You're Looking For Visualizing Abstracted Transformer Attention for Enhancing Their Local Interpretability on Time Series Data
Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification
Intelligent Control of Closed-Loop Sedation in Simulated ICU Patients
Multi-hop Question Generation without Supporting Fact Information
Mining On-line Sources for Definition Knowledge
Mining Sequences in Distributed Sensors Data for Energy Production
Instructing a Reinforcement Learner
Optimizing Production Manufacturing Using Reinforcement Learning
Verbalization Enhanced Tutoring
Preparing a First-Order Knowledge Base for Fast Inference
Less is More: Decision Making & Information Sharing Under Severe Uncertainty
Improving Argument Mining in Student Essays by Learning and Exploiting Argument Indicators versus Essay Topics
Context is Key: Aligning Large Language Models with Human Moral Judgments through Retrieval-Augmented Generation
Amigo: A Tool that Helps Consumer Decision Making in E-Commerce
Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries
Mitigating the Rashomon Effect in Counterfactual Explanation: A Game-theoretic Approach
The Aesthetiscope: Visualizing Aesthetic Readings of Text in Color Space
Improving Search-Based Inference in Bayesian Networks
Using Ontologies in Case-Based Activity Recognition
Using Neural Networks to Include Semantic Information into Classification
Supporting Uncertainty and Inconsistency in Semantic Web Applications
Handling Concept Drift in a Text Data Stream Constrained by High Labelling Cost
Feature Selection and Case-Based Reasoning for Survival Analysis in Bioinformatics
Discovering Non-Standard Semantics of Semi-Stable Attributes
A Multi-Domain Analysis of Explanation-Based Recommendation using User-Generated Reviews
Sentiment Polarity as a Stylistic Feature for Attribution of English Prose
Best Response Computation in Multiplayer Imperfect-Information Stochastic Games
A Quality Assurance System Using Neural Networks
Using Deep Learning to Automate Feature Modeling in Learning by Observation
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida, USA
Large Language Models for Automated Characterization of Cybersecurity Vulnerabilities using N-Shot Learning
Physical Approximations for Urban Fire Spread Simulations
Clustering Spatial Data in the Presence of Obstacles
Learning Policies in Partially Observable MDPs with Abstract Actions Using Value Iteration
Semantics and Knowledge Acquisition in Bayesian Knowledge-Bases
Combining Knowledge and Corpus-based Measures for Word-to-Word Similarity
Learning Cohesive Behaviors Across Scales for Semi-Cooperative Agents
Evolutionary Churn Prediction in Mobile Networks Using Hybrid Learning
Adaptive Obstacle Representations for Dynamical Navigation
Learning States and Rules for Time Series Anomaly Detection
The Use of Paraphrase Identification in the Retrieval of Appropriate Responses for Script Based Conversational Agents
Using Hybrid Automata to Express Realtime Properties in VSE-II
Evolution of Combined Arms Tactics in Heterogeneous Multi-Agent Teams
Cost-Based Policy Mapping for Imitation
Discovering Spatio-Temporal Relationships Among Activities in Videos Using a Relational Topic-Transition Model
Measuring Perceptual and Linguistic Complexity in Multilingual Grounded Language Data
MultiDE: A Simple, Powerful Differential Evolution Algorithm for Finding Multiple Global Optima
Chinese Relation Classification via Convolutional Neural Networks
Classifying the Emotional Polarity of Digital Communications Using Large Language Models
A Study of Question Effectiveness Using Reddit "Ask Me Anything" Threads
A Survey on Sentiment Classification Methods and Challenges
Composing Affective Music with a Generate and Sense Approach
Detection and Classification of Cardiac Murmurs Using Segmentation Techniques and Artificial Neural Networks
Splitting Ratios: Metric Details of Topological Line-Line Relations
Capturing Preferences of New Users in Generative Tasks with Minimal Interactions Collaborative Filtering Using Siamese Networks and Soft Clustering
Effects of Game Tournaments on Learning and Classroom Climate
Acquiring and Using World Knowledge Using a Restricted Subset of English
Active and Interactive Discovery of Goal Selection Knowledge
Orthographic Case Restoration Using Supervised Learning Without Manual Annotation
Which Dynamic Constraint Problems Can Be Solved By Ants?
SelfCode: An Annotated Corpus and a Model for Automated Assessment of Self-Explanation During Source Code Comprehension
Teaching Stochastic Local Search
Visual Question Answering Using Semantic Information from Image Descriptions
Making Decisions Using Realistic Estimates of Customer Satisfaction
Attribute-Oriented Knowledge Discovery in Rough Relational Databases
Bias Adaptive Statistical Inference Learning Agents for Learning from Human Feedback
How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team
Towards Detecting Intra- and Inter-Sentential Negation Scope and Focus in Dialogue
CyberReco: ~Cybersecurity Workforce Readiness Recommender System
Recreating Bat Behavior on Quad-Rotor UAVs - A Simulation Approach
A Comparison of House Price Classification with Structured and Unstructured Text Data
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA
GPU-Accelerated Parameter Optimization for Classification Rule Learning
Medical Relevancy of Cancer-Related Tweets and Its Relation to Misinformation
Reasoning with Doxastic Attitudes in Multi-Agent Domains
Three-Dimensional Surface Recognition Based on Genetic Algorithms
What a Shame - Why Good Ideas Can't Make It in Architecture: A Contemporary Approach towards the Case-Based Reasoning Paradigm in Architecture
Predicting Learners' Emotional Response in Intelligent Distance Learning Systems
Utilitarian Approach to Privacy in Distributed Constraint Optimization Problems
Increasing AI Project Effectiveness with Reusable Code Frameworks: A Case Study Using IUCBRF
Efficiency Improvements for Parallel Subgraph Miners
Machine Learning Approach for the Automatic Annotation of the Events
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae
A Machine Learning Approach to Determine Semantic Dependency Structure in Chinese
Selection of Optimal Rule Refinements
Improved Situation Interpretation Metrics in Context-Based Reasoning Simulations
Automatic Classification of Article Errors in L2 Written English
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries
An Extended BDI Agent Architecture with Multiple Intention Reconsideration Ability in a Vessel Berthing Application
Embedding Emotional Context in Recommender Systems
Towards Increasing the Coverage of Interactive Recommendations
Balancing Innovation and Tradition: Real-Time, Interactive Learning with LightRAG and Dual-Factor PageRank
Flexible Approach for Computer-Assisted Reading and Analysis of Texts
Using Earley Parser for Verification of Totally Ordered Hierarchical Plans
Ontological Support for Creative Writing
A New Algorithm for Learning Non-Stationary Dynamic Bayesian Networks With Application to Event Detection
Enhancing the Performance of Semi-Supervised Classification Algorithms with Bridging
Data Preprocessing via Polynomial Fitting to Improve Clustering of Spoken Arabic Digits
An Action Selection Architecture for an Emotional Agent
VipBoost: A More Accurate Boosting Algorithm
An Effective Indexing and Retrieval Approach for Temporal Cases
The FLAIRS-36 Committee List
Towards Formalization of ARD+ Conceptual Design and Refinement Method
Partitioning Features for Model-based Clustering using Reversible Jump MCMC Technique
Alternate Strategies for Retrieval in State-Spaces
LARC: Learning to Assign Knowledge Roles to Textual Cases
Combinators' Introduction: an Enhanced Algorithm
Consensus Mining - A Guided Group Decision Process for the German Coalition Negotiations
Combining MT Systems Effectively
Kernels Incorporating Word Positional Information in Natural Language Disambiguation Tasks
Gene Selection and Clustering of Breast Cancer Data
Named Entity Recognition for Nepali: Data Sets and Algorithms
Refining Human Behavior Models in a Context-based Architecture
Exploiting Textual, Visual, and Product Features for Predicting the Likeability of Movies
CSAA: A Distributed Ant Algorithm Framework for Constraint Satisfaction
Knowledge-Based Systems, Viewpoints and the World Wide Web
Using Bayesian Networks for Cleansing Trauma Data
A Theoretical and Empirical Approach in Assessing Motivational Factors: From Serious Games To an ITS
Annotation of Children's Oral Narrations: Modeling Emergent Narrative Skills for Computational Applications
On the Computational Complexity of Spatio-Temporal Logics
Solution of Inverse Problems in Laser Spectroscopy of Water Media with the Help of Neural Networks
Inferencing Bayesian Networks from Time Series Data Using Natural Selection
Can Language Models Improve the Performance of SVD-based Recommender Systems?
Recommender Response to Diversity and Popularity Bias in User Profiles
The Uncertainty of Counterfactuals in Deep Learning
Python as a Vehicle for Teaching Natural Language Processing
Enhanced Multi-Class Detection of Fake News
Identifying Developmental Intellectual Disability as a SUDEP Risk Marker from Epilepsy Monitoring Unit Reports Using Large Language Models
Data Mining for Adaptive Instruction
Using Activity Theory to Model Context Awareness: A Qualitative Case Study
An Evolutionary Neural Learning Algorithm for Offline Cursive Handwriting Words with Hamming Neural Network Lexicon
Making User-Defined Interactive Game Characters BEHAVE
Pfanzagl Exchanges Diagnose a Continuity Anomaly Pertinent to Allais' Problem
FLAIRS-30 Poster Abstracts
Rethinking Inventory Forecasting Problems in E-commerce: Exploring the effect of integrating forecasting and inventory decisions
MediConceptNet: An Affinity Score Based Medical Concept Network
Mapping Technology for Enterprise Integration
Genetic Programming: Analysis of Optimal Mutation Rates in a Problem with Varying Difficulty
Coalition Formation Meets Information Theory
Reformulating Constraint Models for Classical Planning
Combining Qualitative and Quantitative Reasoning for Solving Kinematics Word Problems
Tradeoffs within Representational Behaviors: Multi-Objective Optimization Strategies for Simulated Military Units
Towards an Embodied and Situated AI
An Argumentation Based Approach to Multi-Agent Learning
Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set
Towards a multi-modal Deep Learning Architecture for User Modeling
Using Enhanced Concept Map for Student Modeling in Programming Tutors
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
Using Latent Semantic Analysis and Word Matching to Enhance Bridging Reading Strategy Identification
Asymptotic Maximum Entropy Principle for Utility Elicitation under High Uncertainty and Partial Information
Learning Behavior from Limited Demonstrations in the Context of Games
Cellular Automata Approach to Aircraft Corrosion Pit Growth
Automated Reasoning for the Dialetheic Logic RM3
Creating a New Angry Birds Competition Track
SAMHT - Suicidal Avatars for Mental Health Training
Agent-based Players for a First-person Entertainment-based Real-time Artificial Environment
A Factorized Representation of Independence of Causal Influence and Lazy Propagation
Experimental Comparison of Online Anomaly Detection Algorithms
Contextual Exploration Processing for Discourse and Automatic Annotations of Texts
Generative NNI Transformation Strategies in Binary Trees Using Reinforcement Learning
Special Track on Case-Based Reasoning
Exploring Solar Granulation: from IMaX/SUNRISE to DKIST
Extract Semantic Pattern from Trolling Data
Reformulating Planning Problems: A Theoretical Point of View
Covid-19 News Clustering using MCMC-Based Learing of finite EMSD Mixture Models
Case-Based Approaches for Diagnosing Multiple Disorders
Fuzzy Spectral Hierarchical Communities in Evolving Political Contribution Networks
Snackbot: The Process to Engage in Human-Robot Conversation
Learning Social Calculus with Genetic Programing
Growing Agents - An Investigation of Architectural Mechanisms for the Specification of "Developing" Agent Architectures
Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts
Different Flavors of Attention Networks for Argument Mining
Authorship Attribution Using Small Sets of Frequent Part-of-Speech Skip-grams
Feature Selection for Learning from Demonstration in Minecraft
DTMF Audio Communication for NAO Robots
An Exploration of Consistency Learning with Data Augmentation
EXCOM: An Automatic Annotation Engine for Semantic Information
Learning to Identify Global Bottlenecks in Constraint Satisfaction Search
Special Track on Data Mining
A Lattice-Based Approach to Hierarchical Clustering
Towards Automated Error Analysis: Learning to Characterize Errors
A Method of Analysis to Uncover Artefact-Communication Relationships
Opinion Extraction and Classification Based on Semantic Similarities
System Z for Conditional Belief Bases with Positive and Negative Information
Learning Picture Languages Represented as Strings
Zooming in on Trade-Offs in Qualitative Probabilistic Networks
Inference with Relational Theories over Infinite Domains
Speeding-up Model Selection for Support Vector Machines
Real-Time Sensor Fusion Framework for Distributed Intelligent Sensors
An Industrial Application of CBR in Manufacturing to Reduce Rejections
Causal Query Elaboration in Conversational Case-Based Reasoning
A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning
Personalized Intelligent Tutoring System Using Reinforcement Learning
Structural Relational Graph Based Data Mining Applied to the Multi-Functional Spaces of Properties in "Puebla of the Angels" in in the XVI, XVII, and XVIII Centuries
Improving Modularity in Genetic Programming Using Graph-Based Data Mining
Interpretive Reasoning with Hypothetical Cases
Assumption-Based Reasoning for Multiagent Case-Based Recommender Systems
Automated Assessment of Paragraph Quality: Introduction, Body, and Conclusion Paragraphs
Some Thoughts on Using Computers to Teach Argumentation
UServ Case Study, Conceptual Design with ARD+ Method
Semantic Derivation Verification
FCP-Growth: Class Itemsets for Class Association Rules
Specialization versus Re-Specialization: Effects of Hebbian Learning in a Dynamic Environment
Evaluating Vision-Language Models on the TriangleCOPA Benchmark
Incendiary News Detection
A Noisy-OR Model for Continuous Time Bayesian Networks
Using Phrasal Verbs as an Index to Distinguish Text Genres
An Automated Approach to the Initialization of the Snakes Algorithm for the Detection of Swimbladder Regions in X-Ray Image Data
Applying Reliability Engineering to Expert Systems
Case-Based Reasoning at General Electric
Intelligent Browsing Assistance for Corporate Knowledge Portals
Justification of Customer Complaints using Emotional States and Mental Actions
Reducing Efficiency Degradation Due to Scheduled Agent Suspensions by Task Handover in Multi-Agent Cooperative Patrol Problems
Ensemble Gene Selection Versus Single Gene Selection: Which Is Better?
Fuzzy Contrast Improvement for Low Altitude Aerial Images
Feeder Setup Optimization in SMT Assembly
Automated Generation of Plans through the Use of Context-Based Reasoning
Uncertainty Reasoning in Description Logics: A Generic Approach
An Orthonormal Basis for Entailment
Exploring Equivalence Metrics to Analyze Behavior in a Naked Mole Rat Colony
Analysis of Coordinating Constructions in a Dependency Treebank
Poster Abstracts
A Scalable Unsupervised Deep Multimodal Learning System
Knowledge Engineering with Didactic Knowledge - First Steps towards an Ultimate Goal
Mining Actionable Patterns
Choosing the Right Metrics: A Study of Performance Measurement for Binary Classification in Imbalanced and Big Data
ViewpointS: When Social Ranking Meets the Semantic Web
Learning Approaches to Wrapper Induction
Building Useful Models from Imbalanced Data with Sampling and Boosting
A Survey of Unsupervised Learning Algorithms for Zero-Day Attacks in Intrusion Detection Systems
Comparison of Google Translation with Human Translation
AI Tutor: Transforming Education with Intelligent Learning
Survey of Crime Analysis and Prediction
Compiling Preference Queries in Qualitative Constraint Problems
A Vector Space Equalization Scheme for a Concept-based Collaborative Information Retrieval System
A General Approach to Uncertainty Representation Using Fuzzy Measures
Relative Effects of Positive and Negative Explanations on Satisfaction and Performance in Human-Agent Teams
Timed Planning
Deep Neural Network Architecture for Character-Level Learning on Short Text
Adopting an Object-Oriented Data Model in Inductive Logic Programming
Image and Text Mining Based on Contextual Exploration from Multiple Points of View
Invariance of MLP Training to Input Feature De-correlation
A Software System for the Computation, Visualization, and Comparison of Conditional Structures for Relational Probabilistic Knowledge Bases
Learning Artifact Capabilities Via a Hybrid Ontology
Content-Learning Correlations in Spoken Tutoring Dialogs at Word, Turn, and Discourse Levels
A Knowledge-Based System for Rehabilitation of Post-Stroke Patients
Learning to Take Cover on Geo-Specific Terrains via Reinforcement Learning
Use of Data Mining on Satellite Data Bases for Knowledge Extraction
A Multiagent Architecture to Support Distance Learning Personalization on the Web
STrXL: Approximating Permutation Invariance/Equivariance to Model Arbitrary Cardinality Sets
Using L-Systems to Generate Fault Trees for Benchmarking and Testing
Adapting Cobot Behavior to Human Task Ordering Variability for Assembly Tasks
Goal Summarization for Human-Human Health Coaching Dialogues
Inference of Edge Replacement Graph Grammars
Augmented Cyberspace Exploiting Real-time Biological Sensor Fusion
Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems
Temporal Aggregates in OWL-Time
Feature Level Sensor Fusion for Improved Fault Detection in MCM Systems for Ocean Turbines
Exploring the Potential for Large Language Models to Demonstrate Rational Probabilistic Beliefs
Better HMM-Based Articulatory Feature Extraction with Context-Dependent Model
Extending Community Ontology Using Automatically Generated Suggestions
Pollen Recognition Using Multi-Layer Feature Decomposition
Initial Goal Allocation for Multi-agent Systems
Towards a Universal Web Wrapper
Detecting the Onset of a Network Layer DoS Attack with a Graph-Based Approach
Studying Properties of Czech Complex Sentences from an Annotated Corpus
Genre-Based Stages Classification for Polarity Analysis
Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults
Dimensional Indexing for Targeted Case-Base Retrieval: The SMIRKS System
Teaching Bottom-up AI from the Top Down
CATCH: Injecting "Contextual and Timely Conversational Humor" into Lifelike Avatars
Topic Extraction and Extension to Support Concept Mapping
A Deep Learning and Transfer Learning Approach for Vehicle Damage Detection
Spatiotemporal Novelty Detection Using Resonance Networks
Implementation of a Transformation System for Relational Probabilistic Knowledge Bases Simplifying the Maximum Entropy Model Computation
Automated Data Fusion and Situation Assessment in Space Systems
A Knowledge-Based Instructional Assistant to Accompany LEO: A Learning Environment Organizer
Implementation Factors and Outcomes for Intelligent Tutoring Systems: A Case Study of Time and Efficiency with Cognitive Tutor Algebra
Leveraging Graph Networks to Model Environments in Reinforcement Learning
Graph Neural Networks for Modeling Causality in International Trade
Case-Based Reasoning in Support of Intelligence Analysis
Measuring the Impact of Scene Level Objects: A Novel Method for Quantitative Explanations
Case-Based Bayesian Network Classifiers
Machine learning prediction of severity and duration of hypoglycemic events in type 1 diabetes patients
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Analysis of Region-Based Integral Calculus Problems
Multilingual Approach to e-Learning from a Monolingual Perspective
Opening Up the Black Box: Auditing Google's Top Stories Algorithm
Supervised Word Sense Disambiguation for Venetan: A Proof-of-Concept Experiment
Relational Forward Backward Algorithm for Multiple Queries
Divergence from Syntax to Linear Order in Ancient Greek Lexical Networks
A Semantic Framework for Uncertainties in Ontologies
Visual Object Detection using Frequent Pattern Mining
Terrain-Aware Military Planning Agents
Ontology-Based Named Entity Recognizer for Behavioral Health