yusuke1997/dblp-id-title huggingface dataset:
Duality between Two Cryptographic Primitives
Optimal Algorithms for Finite Dimensional Simply Generated Algebras
Arithmetic on Non-Supersingular Elliptic Curves
On Elliptic Convolutional Goppa Codes
Non Simple Tournaments: Theoretical Properties and a Polynomial Algorithm
Some Constructions of Perfect Binary Codes
Optimal 2-Dimensional 3-Dispersion Lattices
Backtrack Searching in the Presence of Symmetry
Normalized Minimum Determinant Calculation for Multi-block and Asymmetric Space-Time Codes
A New Class of Sequences: Mapping Sequences
The Tangent FFT
Algebraic Constructions of Quasi-cyclic LDPC Codes - Part I: For AWGN and Binary Random Erasure Channels
Polynomial Gcd Computations over Towers of Algebraic Extensions
Very-Efficient Anonymous Password-Authenticated Key Exchange and Its Extensions
CRYPTIM: Graphs as Tools for Symmetric Encryption
Rooted Trees Searching for Cocyclic Hadamard Matrices over D4t
Bounds on the Number of Users for Random 2-Secure Codes
The Algorithmic Structure of sl(2, k)
Computing the Genus of a Class of Curves
Displacements of Matrix Products
Automorphisms and Isometries of Some Modular Algebras
Nonbinary Quantum Codes from Hermitian Curves
Trace-Function on a Galois Ring in Coding Theory
Critical Noise for Convergence of Iterative Probabilistic Decoding with Belief Propagation in Cryptographic Applications
A Unifying System-Theoretic Framework for Errors-and-Erasures Reed-Solomon Decoding
An Algorithm for the Computation of the Radical of an Ideal in the Ring of Polynomials
Quantifier Elimination for Real Closed Fields
Concurrent Error Detection in Sequential Circuits Using Convolutional Codes
Groebner Bases for Non-Commutative Polynomial Rings
Chemical Isomerism, a Challenge for Algebraic Combinatorics and for Computer Science
Finding a Minimal Polynomial Vector Set of a Vector of nD Arrays
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings
Copyright Control and Separating Systems
The Split Weight ( w L , w R ) Enumeration of Reed-Muller Codes for w L + w R < 2 d min
An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes and Its Computational Complexity
Buchberger Algorithm and Integer Programming
On Algebraic Methods in Covering Radius Problems
Symmetry and Duality in Normal Basis Multiplication
Supports of a Code
On Strongly Tactical Codes
Exponential Sums as Discrete Fourier Transform with Invariant Phase Functions
On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities
VLSI Designs for Multiplication over Finite Fields GF (2 m )
On the Apparent Duality of the Kerdock and Preparata Codes
Iterations of Multivariate Polynomials and Discrepancy of Pseudorandom Numbers
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings
A Path to Hadamard Matrices
Bounds for Degrees and Number of Elements in Gröbner Bases
Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings
Orthogonal Transform Encoding of Cyclic Codes
Coded Modulation with Generalized Multiple Concatenation of Block Codes
Order Functions and Evaluation Codes
Information Extraction and Automatic Markup for XML Documents
Classification and Focused Crawling for Semistructured Data
Tree Awareness for Relational DBMS Kernels: Staircase Join
A Look Back on the XML Benchmark Project
Ontology-Enabled XML Search
Full-Text Search with XQuery: A Status Report
Web-Based Distributed XML Query Processing
The INEX Evaluation Initiative
Demand for Intelligent Search Tools in Medicine and Health Care
A Query Language and User Interface for XML Information Retrieval
PowerDB-XML: Scalable XML Processing with a Database Cluster
Tamino - A Database System Combining Text Retrieval and XML
Flexible Information Retrieval on XML Documents
Processing XML Queries with Tree Signatures
Using Relevance Feedback in XML Retrieval
Intelligent Search on XML Data, Applications, Languages, Models, Implementations, and Benchmarks
The Use of XML in a Video Digital Library
The Multi-model DBMS Architecture and XML Information Retrieval
Statistical Language Models for Intelligent XML Retrieval
Combining Concept-with Content-Based Multimedia Retrieval
Quasi-Equations for Logic Programming
Fifth Scandinavian Conference on Artificial Intelligence, SCAI 1995, Trondheim, Norway, 29-31 May, 1995
Visualization of Domain and Concept Descriptions
Restructuring, Reminding and Repair: What's Missing from Models of Analogy?
An Intelligent User Interface for an Environmental Information System
Helping with a Humanly Impossible Task: Integrating Knowledge Based Systems into Clinical Care
Parsing Finnish Sentences by Performing Functionally Defined Sequential Subtasks
Incremental Concept Formation in an Object-Oriented Representation
User-Generated AI for Interactive Digital Entertainment
Machine Learning for Lithology Analysis using a Multi-Modal Approach of Integrating XRF and XCT data
PROSPEX: A Knowledge-Based Case Tool
Predicting Adverse Drug Events with Confidence
A Case-Based Answer to Some Problems of Knowledge-Based Systems
A New Approach towards Monitoring in Intelligent Autonomous Robots
The Structure and Process of Linearization: Prolegomena for a General Theory of Communication (III) - Knowledge Representation and Inference: A Non-Linear Approach to Natural Language Processing
An Approach for Qualitatively Predicting Relations from Relations
Query-Focused Association Rule Mining for Information Retrieval
Task Decomposition in Distributed Problem Solving Systems: A Special Case
Investigation of Decision Strategies in Evolutionary Optimization
Improving the Efficiency of Plan Optimisation Techniques
A Function Evaluator for Imprecise Numerical Inference
A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment
Expert System for Key Combination Design of Door Locks
A Denotational Semantics for Joining Description Logics and Object-Oriented Programming
Situation Semantics and the Speech Act of Informing
Class Directed Generalization
Case-based Reasoning Applications in Process Equipment Selection and Design
An Expert System Shell for Planning with Automatic Feedback Learning
A Computationally Tractable Terminological Logic
Generative AI and Teachers - For Us or Against Us? A Case Study
Obligations in Multiagent Systems
Exploring Design Space and Niche Space
Learning Rules for Early Diagnosis of Rheumatic Diseases
Intelligent Transport and Energy Systems Using Agent Technology
SVARNE - An Expert System Based on Tacit Knowledge
Revisiting Inner Entanglements in Classical Planning
On Some Problems in Applying Artificial Intelligence in Large Industrial Systems
Resource Allocation in Industrial Cloud Computing Using Artificial Intelligence Algorithms
Heterogeneous data fusion with multiple kernel growing self organizing maps
Should You Trust Your Voice Assistant? It's Complicated, but No
14th Scandinavian Conference on Artificial Intelligence SCAI 2024, June 10-11, 2024, Jönköping, Sweden
A Memory Model for Reasoning both from Experimental and from Theoretical Knowlege
Alternative Roles for Knowledge Engineers
Knowledge-Based Pagination
Learning Multi-Label Predictors under Sparsity Budget
Heuristics for Determining the Elimination Ordering in the Influence Diagram Evaluation with Binary Trees
Knowledge Based Intensive Care Alarming System
Structural Contradictions in Knowledge Base
Using Multi-Agent Systems to Represent Uncertainty (invited talk)
GCLA: Generalized Horn Clauses as a Programming Language
A General Tolerance Information System
Coordinating multi-agent systems using social laws
Agents as Experts: Overcoming Terminological Problems
Extended Abstract: Combining CBR and BN using metareasoning
Combining Symbolic Computing with Conventional Design and Analysis Techniques
Defect Prediction in Hot Strip Rolling Using ANN and SVM
Concurrent Learning of Large-Scale Random Forests
Evolutionary Optimization of Artificial Neural Networks and Tree-Based Ensemble Models for Diagnosing Deep Vein Thrombosis
Asking about Negative Knowledge
Visualization in Mechanical Geometry Theorem Proving
Expansion of the Variational Garrote to a Multiple Measurement Vectors Model
Intelligence, Agency and Interaction
The Bias that Lies Beneath: Qualitative Uncovering of Stereotypes in Large Language Models
Word Sense Disambiguation by a Hybrid Approach
How to Pass an Intersetcion, or Automata Theory Is Still Useful
Learning to Perform Weather Forecasting Operations
Modelling Configuration Expert Systems
The Observer Algorithm for Visibility Approximation
Learning in a Knowledge Acquisition Toolkit
SALMEX: An Intelligent Knowledge Based System for the Diagnosis of Salmonid Fish Diseases
Combining Similarity Measures and Preference Measures when Measuring Distance
Beating the bookie: A look at statistical models for prediction of football matches
AATU: Expert System in Advice Giving and Decision Making in Municipal Organizations
Case-Based Reasoning in a System Architecture for Intelligent Fish Farming
Committing to User Choices in Mixed Initiative CSPs
Hypothetical Reasoning with Well Founded Semantics
Combining Measurement Data and Erlang-B Formula for Blocking Prediction in GSM Networks
Evaluation of Two Knowledge Acquisition Methods
Some Problems Concercing the Representation of Legal Norms
Generating Database Queries from a Constraint Network Representation
Hypothetical Query Answering in First-Order Databases
On Programming Organization-Aware Agents
Mental Models as Cognitive Entities
TAO: A Multi-Agent Technology Based on Constraint Programming
Methodology of Qualitative Modeling
Task Assignment and Trajectory Planning in Dynamic environments for Multiple Vehicles
Supporting Maritime Situation Awareness Using Self Organizing Maps and Gaussian Mixture Models
Integration of Expert Systems in Casework
Intelligent Knowledge Based Systems for Diagnosis of Machinery
Structures in an Assertional Box
Extended Abstract: Detecting Scareware by Mining Variable Length Instruction Sequences
Bayesian Inference Under Probability Constraints
Acting under Interference by other Agents with unknown Goals
Interfacing Agents to Real-Time Strategy Games
Nonmonotonicity as the Resolution of Contradictions
Learning Air Combat Parameters using Differential Evolution
Applications of Interval Domain Library: Expressing Connectivity via Non-Linear Constraints
AI and Law: Will the Marriage Last?
Fast Learning in an Actor-Critic Architecture with Reward and Punishment
A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System
Knowledge Acquisition Process: Some Issues for Further Research
Rough Enough - A System Supporting the Rough Sets Approach
Iterative-Deepening Prolog
Robot Visions, Robot Vision
Towards Unsupervised Learning, Classification and Prediction of Activities in a Stream-Based Framework
The Houria Constraint Solver
Integration of Temporal and Incomplete Aspects at the Knowledge Level
Applications of AI in Education: An Overview
Using Path-Algebras and Conceptual Graphs to Encode Knowledge-Bases
A Clearer View on Fairness: Visual and Formal Representations for Comparative Analysis
Twelfth Scandinavian Conference on Artificial Intelligence, SCAI 2013, Aalborg, Denmark, November 20-22, 2013
Towards Automatic Model Generation by Optimization
Industrial Robot Skills
Debugging Pascal Programs Using a Flowgraph Chart Parser
Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings of the 2nd SCAI, Tampere, Finland, June 12-15, 1989
Probabilistic-Logic Models: Reasoning and Learning with Relational Structures
Buidling an Embedded Knowledge-Based Application Using Abstractions
Machine Learning Methods for Spatial Clustering on Precision Agriculture Data
Neural Network for Prediction of Glucose Concentration in Type 1 Diabetic Patients
An Architecture for Building Multi-Agent Systems
Detection of Process Disturbances Using Model-Based Reasoning
Negotiating Inheritance Taxonomies in Conceptual Structures
Extended Abstract: BusTUC - a savant level intelligent bus oracle
Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL
Incorporating Prior Knowledge when Learning Mixtures of Truncated Basis Functions from Data
Computers in Education: Prolog as a Cognitive Tool
Parallel Monte Carlo Tree Search on GPU
Learning a Subclass of Regular Expressions by Recognizing Periodic Repetitions
Learning Propositional Default Rules Using the Rough Set Approach
On Population Fidelity as an Estimator for the Utility of Synthetic Training Data
TELA: A Platform for Experimenting with Attribute-based Learning Programs
Coding Plan Logic in a Dependency Net: The PLANET System
Enhancing Indoor Temperature Forecasting through Synthetic Data in Low-Data Regime
Classification of movement patterns in skiing
Formalizing Theatrical Performances Using Multi-Agent Organizations
Formalization of Algorithms and Logical Inference Systems in Proof Assistants
Instance Based Symbolic Pattern Association
MICROBE: A Prototype Expert System for Treatment Planning in Bacterial Infections
Using Situated Communication in Distributed Autonomous Mobile Robotics
Incremental Stream Clustering for Anomaly Detection and Classification
Guidelines for the Evaluation of Computer-Based Support to Clinical Decision Making
Expert System to Find Hardware Faults on a PABX
V.I.P. - An Intelligent Pagination System
A Resolution Framework for Finitely-Valued First-Order Logics
Internal Simulation in a Bimodal System
An Overview of Fault Detection Techniques in Automated Monitoring Systems
Traceable Uncertainty for Threat Evaluation in Air to Ground Scenarios
Efficient AUC Maximization with Regularized Least-Squares
An Intention MAintenance Mechanism
User-oriented Assessment of Classification Model Understandability
Building Embedded Real Time Expert Systems
The SACSO System for Troubleshooting of Printing Systems
Time Series Prediction by Cascade-Correlation Neural Networks
Bilingual Robots: Extracting Robot Program Statements from Swedish Natural Language Instructions
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic
Using a Logic Grammar to Learn a Lexicon
Interpretation of Test Results in Clinical Chemistry: A Protosystem for Thyroid Function Diagnostics
State Space Generation with Induction
Hierarchical Decision Making for Vessel Performance and Control
A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators
Knowledge-Based Systems: A New Stage in Banking and Finance
Fourth Scandinavian Conference on Artificial Intelligence, SCAI 1993, Stockholm, Sweden, May 4-7, 1993
A Method for Automatic Generation of Statements from Examples
Clustering based Approach for Automated EEG Artifacts Handling
Discovering the Periodic Table: An Application of Discovery Systems in Chemistry
Reasoning about Human Activities: an Argumentative Approach
QSQR: Quantitatively Scoped Qualitative Reasoning
Towards a System for Temporal Reasoning
Lazy Induction Triggered by CBR
The Use of Planning and Interpretation in Developing an On-Line EMACS Help Facility
LIRE - Language Interface for Requirements Engineering
An Object-Oriented Approach to the Automation of Form-Based Procedures
A Knowledge-based Approch to Synthesis of Intelligent Control of DEDS
Self-Exploration of Autonomous Robots Using Attractor-Based Behavior Control and ABC-Learning
Towards a Machine Learning Algorithm for Predicting Truck Compressor Failures Using Logged Vehicle Data
Deductive Planning Revisited
Cutting Influence Diagrams Down to the Core
EXACT - Model-based Diagnosis for Satellite Testing
Knowledge-Based Systems for Commercial Line Insurance: An Exciting Application of AI-Techniques in the Service Sector
On the Well-Behavedness of Important Attribute Evaluation Functions
Computing Minimal Refutations
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine
A Connetcionist Model for Analysis of Temporal Sequences with Noise
Structured Expanations as a Support to Model Problem-Solving in a Task-Method Paradigm
On the Combination of Algorithmic and Symbolic Computation for Monitoring Industrial Processes
Run-Time Adaptation of Robot Soccer Players
Diagnosis of Dynamic Systems Based on Explicit and Implicit Behavioural Models: An Application to Gas Turbines in Esprit Project TIGER
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories
Complexity of Sets of Logical Functions
Probabilistic Decision Graphs for optimization under Uncertainty
CBR for Advice Giving in a Data-Intensive Environment
Machine Translation from a Natural Sublanguage to Another
Re-Use of Problem Solving Experience for the Weekly Planning of School Meals
Can predicate invention compensate for incomplete background knowledge?
On Constraint Models for Parallel Planning: The Novel Transition Scheme
Semi-Supervised Hierarchical Clustering Algorithms
A Control-Strategy-Independent Parser for PATR
A Grammar-based Rule Formalism for a Text-to-Speech Interface System
Weight Rescaling: Applying Initialization Strategies During Training
Multiple Explanation-based Learning Guided by Space Fragmenting
Verification of OPS5-Based AI Applications
Local Interpretable Model-Agnostic Explanations for Neural Ranking Models
A Cost-based Non-monotonic Truth Maintenance System
A Constraint Programming Approach to the Cluster Deletion Problem
On Iterated Belief Change
Perspectives on artificial intelligence in a business environment
Modeling Habituation in the Cnidarian Hydra
Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies
Navigation Dimensions in Knowledge-Based Software Reuse
Solving the 15-Puzzle Game Using Local Value-Iteration
Investigating ESD in Some Swedish Organizations: An Empirical Study
Reducing temporal delays in a real time train management system
The Pension Choice: An Expert System Project
Machine Learning Techniques for Knowledge-Based Systems
Parallel Distributed Procesing and the Logical Categories of Learning
OOC: An Object Oriented Constraint Model
On Associative Confounder Bias
A Semiotic Perspective on the Development of (Artificial) Consciousness
A Heuristic-Based Approach for a Betting Strategy in Texas Hold'em Poker
IANI: Intelligent Access to Nordic Information Systems
Combination and Updating for Belief Revision in the Theory of Evidence
Knowledge-Based Industrial Robotics
Trap escape for local search by backtracking and conflict reverse
Metric Unified Approach to the Exclusive-Or Problem
Knowledge Modelling and Representation to Support an Interpretation Task: Experiences from Thyroid Function Diagnostics
Applying Symbolic Computing Techniques to Solve Knowledge Inference Problems: Examples and Experiences
Load Prediction Using Combination of Neural Networks and Simple Strategies
Computing Extensions of Nonmonotonic Logics
Use of Dynamical Network in Machine Maintenance
An Architectural View on Intelligent Articulated Systems
Better Safe than Sorry - Optimal Troubleshooting through A* Search with Efficiency-based Pruning
Knowledge-Based Spectrum Estimation
Fast Approximation of Shapley Values with Limited Data
Combining Constraint Types From Public Data in Aerial Image Segmentation
Semantical Correspondence Properties of Some Modal Systems of Logic
Respiratory motion prediction: A fuzzy logic approach
A System to Aid the Specification of Knowledge-Based Systems
On the Qualitative Models
Knowledge Elicitation: Some Implications for Research and Practice
Interactive Multi-Level Systems for Correction of Ill-Formed French Texts
In Search for Flexible Decision Procedures for Real-World Applications
Formal Reasoning about Plan-Controlled Vehicles
Application of the Symmetric Logarithmoid as a Activation Function for Neurons in a Feed-Forward Neural Network
Eleventh Scandinavian Conference on Artificial Intelligence, SCAI 2011, Trondheim, Norway, May 24th - 26th, 2011
Data Mining-based Facial Expressions Recognition System
Specialization in Populations of Artificial Neural Networks
Stable Walking of Bipedal Robots
Interacting with Artificial Agents
Sharing Moral Responsibility with Robots: A Pragmatic Approach
Exploring demonstration pre-training with improved Deep Q-learning
Rhetorical Variance in Natural Language Descriptions
Automated Theorem Proving in Non-Classical Logics
Poisoning Attacks on Federated Learning for Autonomous Driving
Decremental Possibilistic K-Modes
Program Derivation and its Interactive Environment
A Sparse Regularized Least-Squares Preference Learning Algorithm
Explanatory Capabilities in the CREEK Knowledge-Intensive Case-Based Reasoner
Learning by Experimentation in a Robot World
Handling Uncertainty in a System for Text-Symbol Context Analysis
Ontology-Based Introspection in Support of Stream Reasoning
Handling Imperfetc Data in Inductive Logic Programming
The Use of a Rule-Based System for Qualitative Reasoning
Machines That Learn and Machines That Teach
Meaning and Partiality Revised
Extended Abstract: A design for a tourist CF system
Knowledge-Based Support for Event Tree Construction
Talking to a Computer Is Not like Talking to Your Best Friend
Enhancing Recall in Semantic Querying
Motives for Intelligent Agents: Computational Scripts for Emotion Concepts
User Interface in Signal Analysis Expert System
An Agent-Based Framework for Special Needs Education
Behavioural Trajectories of Adaptive Mobile Robot for Animal Behaviour Studies
Expanding Man-Machine Communication by Computer Aided Creativity
Unsupervised Rank Aggregation using Hierarchical User Similarity Clustering
On the Use of Object-Oriented Paradigm in a Distributed Problem Solver
Design Elements for a Better AI-Language
Qualitative Modalities
SCAI'01 - Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence, Odense, Denmark, 19-21 February, 2001
Theories of Agenthood
Incremental Arbiter Learning Method
Heuristic Search within Strict Time Limits
Object-Oriented Signal Processing: Principles and Experiments
Can machine learning help reveal the competitive advantage of elite beach volleyball players?
Learning inverse kinematics problem in changing task environment
From Object-Oriented Programming Towards Agent-Oriented Programming
A Case-based Filter for Diagnostic Belief Networks
Reliability Based Maintenance Systems: A Knowledge Based Approach
Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning
A Hierarchical Model for Continuous Gesture Recognition Using Kinect
The Social Life of Algorithmic Values: Examining the Impact of Value-Based Frameworks in Everyday Life
Rule-based Explanation in Connectionist Networks
Evolutionary Computation: An Overview
Analysing Unlabeled Data with Randomness and Noise: The Case of Fishery Catch Reports
A Practical Introduction to Well Founded Semantics
An Open Platform for an Image Retrieval System
Goal-driven, assistive agents for instructing and guiding user activities
ViSe2 - An Application of Intelligent Agents Approaching Efficient Cooperation in a Multi-Agent System
A Novel Framework for Case-Based Decision Analysis
We're all going on a summer holiday: An Exercise in Non-Cardinal Case Base Retrieval
The Analytic Tableaux for Linear Minscoped Temporal Logic
Detecting and Segmenting Solar Farms in Satellite Imagery: A Study of Deep Neural Network Architectures
Incremental Planning for Truly Intergarted Planning and Reaction
Safe Reinforcement Learning for Continuous Spaces through Lyapunov-Constrained Behavior
Hypermedia in Knowledge Acquisition and Specification of User Interface for KBS: An Approach and a Case Study
Learning First-order Clausal Theories in the Presence of Noise
Computer-aided Scheduling of the Police Force
Trajectory Planning on Grids: Considering Speed Limit Constraints
Distributed Recursive Structure Processing
Genetic Algorithms and Production Scheduling
Reasoning about Knowledge: The Meta-Level Approach
Anchor-Profiles for Ontology Mapping with Partial Alignments
Integrating Tutoring in Knowledge-Based Systems