yusuke1997/dblp-id-title huggingface dataset:
On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985 (Islamorada, FL, USA)
Efficient Representation of Incomplete Information About Structured Objects
Concluding Remarks from the Database Perspective
Design of Optimal Balanced Filing Schemes
Parallel Computers for AI Databases
A Programming Language Perspective
Pictorial Information Systems
Abstraction and Inference Mechanism for Knowledge Representation
Verteilte Datenbanken im Kommunikationssystem der Finanzverwaltung des Landes Nordrhein-Westfalen
Knowledge Bases vs. Databases
Questions, Answers and Responses: Interacting with Knowledge-Base Systems
Negation in Knowledge Base Management Systems
The Knowledge Level of a KBMS
On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982
Similarity Retrieval Techniques
Software Engineering Environments - What Do We Want?
A View Of Knowledge Representation
Naive Evaluation of Recursively Defined Relations
Picture Syntax
Spatial Access Methods based on Dynamic Hashing
A Brief Survey of Logic and Database Systems
On Knowledge Base Management Systems
The Role of Logic for Data and Knowledge Bases: A Brief Summary
Types, Algebras, and Modelling
Evaluation of a Communication Architecture by means of Simulation
On the Design and Specification of Database Transactions
An Integration of Knowledge and Data Representation
Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases
Knowledge Base Retrieval
An Approach to Implement Dynamically Defined Complex Objects
Triggers and Inference In Database Systems
Duplicates and Translation of Nested SQL Queries into XRA
Cartographic Databases
Zum Verbund existierender Datenbanken
Control of Search and Knowledge Acquisition in Large-Scale KBMS
A Requirements Modeling Language and Its Logic
Using VDM Within an Object-Oriented Framework
Organizing A Design Database Across Time
Learning in Knowledge-Base Management Systems
Logging and Recovery in PRISMA
Conceptual Modeling of Information Systems
Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
Access to Data Base Systems via Natural Language
A Database Perspective
KBMS Requirements of Knowledge-Based Systems
Generalization/Specialization as a Basis for Software Specification
Konzepte zur Suche geometrisch ähnlicher Bauteile
The PRISMA Experiment
The Design of an Integrated Data Dictionary Directory System
Data Management with Massive Memory: A Summary
Towards Databases for Knowledge Representation
Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems
AI Knowledge Bases And Databases
POOL-X and its Implementation
A Unified Model and Methodology for Conceptual Database Design
On different classes of predicates for distributing data
Electronic File for X-ray Pictures
The POOMA Architecture
Structural Descriptions and Graph Grammars
Languages for Parallel Programming
Data Types For Database Programming
Zugriff auf Dateien in Rechnernetzen über Sekundärschlüssel: zur Minimalzahl der beteiligten Rechner
An Approach To Processing Queries In A Logic-Based Query Language
Parallel Query Execution in PRISMA/DB
A Technique for Automated Logical Database Design
Anatomical Cross-Sectional Geometry and Density Distribution Data Base
A portable relational interface for the distributed DBMS POREL
Context Structures/Versioning: A Survey
Datenbanken in Rechnernetzen mit Kleinrechnern, GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11./12. April 1978, Kernforschungszentrum Karlsruhe
Class Hierarchies in Information Systems: Sets, Types, or Prototypes?
Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, Book resulting from the Xania Workshop 1985
Design of Intelligent Query Systems for Large Databases
LDDM - A Structured Logical Database Design Methodology
Conceptual Languages: A Comparison of ADAPLEX, Galileo and Taxis
Image Database Management for Pattern Information Processing Studies
The Role of Databases in Knowledge-Based Systems
On Application-Oriented and Tool-Oriented Theories
Parallel Join and Sorting Algorithms
Automatic recovery of a parallel stable file system
An Artificial Intelligence Perspective
Abarbeitung von Anfragen in verteilten Datenbanksystemen
The Software Development Environment as a Knowledge Base Management System
Types in the Programming Language Ada
A Parallel Implementation of the EQUIP Expert System
Performance Analysis of a Dynamic Query Processing Scheme
Convex Polygons, Hypercubes, and Encoding Techniques
EDAPLEX, an Object-Oriented Extension of DAPLEX for Engineering Applications
Architektur und operationales Modell eines verteilten Dateiverwaltungssystems
Metalanguage and Databases
Language and Methodology for Object-Oriented Database Environments
A Formal Representation For Plans In The Programmer's Apprentice
Non-Standard Datenbanken für Anwendungen der Graphischen Datenverarbeitung, GI-Fachgespräch, Dortmund, 21./22. März 1988, Proceedings
Extending a Relational DBMS Towards a Rule-Based System: An Approach Using Predicate Transition Nets
Data Selection, Sharing, and Access Control In a Relational Scenario
Natural Language Communication with Computers
Towards a Logical Reconstruction of Relational Database Theory
Knowledge Level Interfaces to Information Systems
Syntactic Analysis of Written Polish
APAD: An Application-Adaptable Database System - Its Architecture and Design
The POOMA operating system
The Functional Data Model and Its Uses for Interaction with Databases
Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases
Tools for the Automation of Database Design
The Theory and Practice of Augmented Transition Network Grammars
Metamorphosis Grammars
The Limitaions of Logic and Its Role in Artificial Intelligence
A Logic-Based Calculus of Events
An Integrated Approach to Database Design
The Logic of Incomplete Knowledge Bases
Synchronisation durch Locking in verteilten Datenbanken
On the Development of Data Models
DB Ideas for KBMS
Hierarchical Data Structures for Picture Storage, Retrieval and Classification
Languages and The Engineering of Large Knowledge Bases
Adding Semantic Knowledge to a Relational Database System
The Need for a Knowledge Representation Framework
Der Einsatz von Prolog-Werkzeugen für Geo-Datenbanken
Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming
Designing an Image Based Information System
Experience with MIMD Message-Passing Systems: Towards General Purpose Parallel Computing
Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings
An Incremental Concept Formation Approach for Learning from Databases
Physical Database Design Techniques
A Unified Framework for Database Specification: Functional Approach
Notes on Inference: A Somewhat Skewed Survey
Some Remarks on the Semantics of Representation Languages
Parallel Associative Processing for Knowledge Bases
Knowledge Based and Database Systems: Enhancements, Coupling or Integration
On Querying Temporal Deductive Databases
Integrated Fact and Rule Management Based on Relational Technology
How to Look at Deductive Databases
Problems of Relational Database Design
Knowledge Base Management Systems: A Database View
Realisierung eines Datenbanksystems mittels Spezialhardware und Kleinrechnern
Pattern Databases
New Computer Architectures: A Survey
A Relational Database System for Images
Knowledge versus Data
Concluding Remarks from the Artificial Intelligence Perspective
Data Base Design Techniques II: Physical Structures and Applications, The Symposium on Data Base Engineering, Tokyo, Japan, November 1979, Proceedings
Instance Optimal Join Size Estimation
Stretching Operations Applied to Cliques of Edge Intersection Graphs of Paths in Trees
Semi-proper orientations of dense graphs
Type 1 and Type 2 Kochol superposition snarks
Graphs with Two Moplexes
The Graph Coloring Game on 4 x n-Grids
Diameter constraints in 2-distance graphs
An efficient parameterized approximation scheme for the Star k-Hub Center
Optimized Routing for Residential Waste Collection in Mixed-Density Areas
Maximum number of r-edge-colorings such that all copies of K k are rainbow
Characterization of balanced graphs within claw-free graphs
Parameterized algorithms for locating-dominating sets
Game chromatic number of split and threshold graphs
A polyhedral study of the berth allocation problem with tides
Online vector bin packing and hypergraph coloring illuminated: simpler proofs and new connections
On the structure and diameter of graph associahedra of graphs with a set of true twins
Codegree conditions for cycle decompositions and Euler tours in 3-uniform hypergraphs
Survival for a Galton-Watson tree with cousin mergers
Acyclic α-diperfect digraphs with stability number two
Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021, Online Event / São Paulo, Brazil, May 2021
Hitting times for arc-disjoint arborescences in random digraph processes
Vertex-separating path systems in trees
Backbone colouring of chordal graphs
Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity
Polarity graphs and C 4 -free multipartite graphs
Greediness is not always a vice: Efficient Discovery Algorithms for Assignment Problems
k-Sachs-Critical Graphs
Turán density of cliques of order five in 3-uniform hypergraphs with quasirandom links
Integer linear programs for the power dominating set problem with channel limitation
Lower Bounds for Induced-Universal Graphs
Crossing numbers of complete bipartite graphs
On total coloring the direct product of complete graphs
Totally odd immersions of complete graphs in graph products
Positional Knapsack Problem: NP-hardness and approximation scheme (Brief Announcement)
Trees with proper thinness 2
Spherical fullerene graphs that do not satisfy Andova and Škrekovski's conjecture
A Parameterized Perspective on Uniquely Restricted Matchings
On nonrepetitive colorings of cycles
Identifying codes in bipartite graphs of given maximum degree
Computacional complexity of Hajós constructions of symmetric odd cycles
A branch-and-price algorithm for the ring/ring problem
Partitioning problems in concave-round digraphs and tournaments
On feedback vertex set in reducible flow hypergraphs
A polyhedral study of a relaxation of the routing and spectrum allocation problem (Brief Announcement)
A canonical Ramsey theorem with list constraints in random graphs
The oriented chromatic number of a wheel and of the disjoint union of a wheel with a complete graph
Minimum Number of Distinct Eigenvalues of Sunlet Graphs
Tutte's 3-flow Conjecture for almost even graphs
Recovering cyclic tilings through β-skeletons
Maya-Tupi graphs: a generalization of split graphs
On the 2D Demand Bin Packing Problem: Hardness and Approximation Algorithms
On the diameter of Schrijver graphs
The 2-Decomposition Conjecture for a new class of graphs
Least corank for the nonexistence of uniformly most reliable graphs
Proceedings of the XIII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2025, Buenos Aires, Argentina, November 10-14, 2025
Recognizing IO-RDV graphs in polynomial time
A general approximation for multistage subgraph problems
Separating edges by linearly many subdivisions
On the absolute and relative oriented clique problems' time complexity
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023
Mutual-visibility in distance-hereditary graphs: a linear-time algorithm
Adjacent vertex distinguishing total coloring of corona products (Brief Announcement)
An Approximate Blow-up Lemma for Sparse Hypergraphs
Resilience for loose Hamilton cycles
Total b-chromatic Colouring of Graphs
Target set selection with maximum activation time
Combinatorial Properties for the Green Vehicle Routing Problem
Most reliable two-terminal graphs with distance constraints
On total {k}-domination in caterpillar graphs
Preprocessing complexity for some graph problems parameterized by structural parameters
Cliques in exact distance powers of graphs of given maximum degree
Finding subdigraphs in digraphs of bounded directed treewidth
Tridiagonal Maximum-Entropy Sampling and Tridiagonal Masks
Riffle Rank
On the detection of local and global amoebas: theoretical insights and practical algorithms (Brief Announcement)
An initial polyhedral study of the DR-AOV formulation for the routing and spectrum allocation problem
On prescribing total orders for bipartite sets of distances in the Euclidean Plane
Upper Bounds on the Boolean Rank of Kronecker Products
Reversal and Transposition Distance of Genomes Considering Flexible Intergenic Regions
On structural parameterizations of the selective coloring problem
Edge and non-edge differentiated biclique graphs
Spectral properties of stellohedra
Valid inequalities and complete characterizations of the 2-domination and the P 3 -hull number polytopes
Graphs with asymmetric Ramsey properties
Graphs whose line graph square is P-free
Intersection models for 2-thin and proper 2-thin graphs
Strong conformable coloring: the conformable coloring for Type 1 graphs
Kernelization results for Equitable Coloring
Five edge-independent spanning trees
Cops and robber on variants of retracts and subdivisions of oriented graphs (Brief Announcement)
Polarity on H-split graphs
On {k}-Roman graphs
How to detect whether Shor's algorithm succeeds against large integers without a quantum computer
The Speed and Threshold of the Biased Hamilton Cycle Game
Automating Tree-Like Resolution in Time n o (log n ) Is ETH-Hard
The Interplay Between Domination and Separation in Graphs
Domination in Johnson graphs
Biclique coloring game (Brief Announcement)
Extending an Integer Formulation for the Guillotine 2D Bin Packing Problem
A first exploration of the split-interval coloring polytope
Effective Heuristics for the Perfect Awareness Problem
Resource Augmentation Analysis of the Greedy Algorithm for the Online Transportation Problem
Voltage graphs as a technique to obtaining semi-cubic cages (Brief Announcement)
On total coloring of 4-regular circulant graphs
How to go from partial to full retroactivity in detail
Diameter in linear time for constant-dimension median graphs
Constrained colourings of random graphs
Constructions of Small Regular Mixed Graphs with Girth 5 and 6
Unlabelled ordered DAGs and labelled DAGs: constructive enumeration and uniform random sampling
On general packing functions in graphs (Brief Announcement)
Partitioning Into Prescribed Number of Cycles and Mod k T -join With Slack
The Problem of Discovery in Version Control Systems
Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2019, Belo Horizonte, Brazil, June 2-7, 2019
Min-max coverage problems on tree-like metrics
Colouring defect of strong snarks
Descriptive complexity of controllable graphs
Degree conditions for embedding antidirected trees in digraphs
The (a, b)-monochromatic transversal game on biclique-hypergraphs of powers of paths and of powers of cycles
Biclique transversal and biclique independen set
Fair subgraph selection for contagion containment (Brief Announcement)
Reductions for the 3-Decomposition Conjecture
Perfect versus imperfect matching covers of cubic graphs
Recursive constructions of amoebas
Complexity and winning strategies of graph convexity games (Brief Announcement)
Rainbow separating path systems
Counting lines in semi-complete digraphs *
Treelength of Series-parallel Graphs
Some complexity results on cycle-convex partitions
P3-Carathéodory number on graphs with diameter two (Brief Announcement)
On musical arrangement problems time complexity
Construction of infinitely many trace-minimal graphs with maximum number of spanning trees
Universality for degenerate hypergraphs
Lower bounds and exact values of the 2-color off-diagonal generalized weak Schur numbers WS (2; k 1 , k 2 ) (Brief Announcement)
The signature matrix for 6-Pfaffian graphs
Inclusion graphs of biclique parts of K3-free graphs
Biclique Graphs of K 3 -free Graphs and Bipartite Graphs
A Weight Function Lemma Heuristic for Graph Pebbling
Are there any permutation snarks on 6 (mod 8) vertices?
Cycle factors in randomly perturbed graphs
Valid inequalities and a branch-and-cut algorithm for the routing and spectrum allocation problem
Space-Efficient Lyndon Array Construction from Compressed Texts
Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and Coexistence
A de Bruijn and Erdös property in quasi-metric spaces with four points
Hyper-heuristics with Path Relinking applied to the Generalised Time-Dependent ATSP in air travel
On equitable total coloring of snarks
On complete immersions and topological bounds
On the Inapproximability of the Cable-Trench Problem
Kochol superposition of Goldberg with Semi-blowup snarks is Type 1
Characterization of graphs with perfect closed neighbourhood matrices
Generating a cyclic 3-Gray code for integer partitions with maximum parts in constant amortized time
Sidon sets and Sidon-partitions in cyclic groups through almost different sets
A polynomial-time algorithm recognizing exact cubes of trees
The Speed and Threshold of the Biased Perfect Matching Game
The crossing number of centrally symmetric complete geometric graphs
New lower bounds for the order of cages
Maximum size of r -cross t -intersecting families
Simple certifying algorithms for variants of the (2, 1)-colouring problem
Freeze-Tag is NP-hard in 3D with L 1 distance
Unique maximum independent sets in graphs on monomials of a fixed degree
Minimum Number of Bends of Paths of Trees in a Grid Embedding
Graphs with constant balancing number
Canonical colourings in random graphs
Exploring subgraph complementation to bounded degree graphs
Realizable signatures in upward pointset embeddings of directed paths
Partitioning P5-free graphs into an independent set and a complete multipartite graph
Tromino Tilings with Pegs via Flow Networks
Mixed integer programming and quadratic programming formulations for the interval count problem
Cops and Robbers on Token Graphs
A solution approach to districting modification and route optimization in waste collection
Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism
Short cycle covers and the colouring defect of a cubic graph
A new formulation for the Weighted Safe Set Problem
Managing Time Expanded Networks through Project and Lift: the Lift Issue
Trading Determinism for Time: The k-Reach Problem
Complete immersions in graphs with independence number two and small forbidden subgraphs
New framework for conflict-free coloring of hypergraphs and other graph coloring problems
Bounds on the Diameter of Graph Associahedra
Generalized Capacitated Vertex Separator Problem: Models and Algorithms
The chromatic index of split-interval graphs
Unavoidable patterns in 2-colorings of the complete bipartite graph
The Conversion Set Problem on Graphs
Common edge independence number of a tree (Brief Announcement)
On the hull and interval numbers of oriented graphs (Brief Announcement)
Minimizing breaks in incomplete round-robin tournaments
Obstructions for χ-diperfectness
Counting orientations of graphs with no strongly connected tournaments
Graphs of minimum degree at least ⌊d/2⌋ and large enough maximum degree embed every tree with d vertices
Computational aspects of disks enclosing many points
Minimum-density locating-dominating sets on infinite hexagonal grids with bounded height
Research on Target Tracking Algorithm Based on SiamRPN
Joint Optimization Method of Dimensionality Reduction and Clustering for Big Data
Future Education: Freedom and Comprehensive Human Development in the Age of Artificial Intelligence
Research on the Design of Network Publicity and Education Platform of Craftsman Spirit in Vocational Colleges under the Background of Information Education
Analysis of Influencing Factors of Vocational Skill Formation of College Students Based on Data Mining
Empowering Innovation and Entrepreneurship Education in Universities through AI: A Case Study of a Tourism Platform Powered by the ELO Algorithm
User-centred product design visualisation and trend analysis in the view of artificial intelligence
Finite-time Synchronization of Complex Networks with Time-varying Delays via Periodically Intermittent Control
Exploration of Feature Engineering Teaching Based on Max-Relevance Min-Redundancy
Research on Vehicle Detection Algorithm Based on Improved YOLOv5 and Kalman filter
A study on the effect of psychological factors on academic emotions of master's degree students
Online intelligent dispatching strategy of housekeeping order based on multi-agent reinforcement learning
Research on the Digital Reform Strategies of Higher Education Teaching from the Perspective of Cultivating New-quality Talents
Combination of Knowledge Graphs to Make Personalized Recommendations for English Teaching Content
Advancing path of digital empowerment in the reform of intelligent teaching design
Proceedings of the 2024 3rd International Conference on Artificial Intelligence and Education, ICAIE 2024, Xiamen, China, November 22-24, 2024
Deep Reinforcement Learning-Based Mobile Health Task Offloading Strategy for Vehicle Fog Computing
Teaching reform of data structure course based on outcomes-based education
Agent4EDU: Advancing AI for Education with Agentic Workflows
Improving the Teaching Assessment System for the AI Comprehensive Practice Course Based on the K-means Algorithm within the CBA Framework
Construction of an AI Course Cluster System for Robotics Specialization Based on PBL Framework
Improving Fully Non-Autoregressive Translation with Pre-Trained Language Models
Exploration and Practice of AI Application-oriented Talent Training Model Based on OBE Concept
Generative AI Integrated Educational Model for User-Centered Design
Design and Implementation of an Emotion-Aware Learning System Based on Facial Expression Recognition
AI Empowers the Construction of Marketing Courses in Application-Oriented Universities - - From the Perspective of OBE Teaching Philosophy
Research on Immersive Virtual Reality Visualization Display System Based on Big Data Technology
Applications and Challenges of Generative Artificial Intelligence Enabling Critical Thinking Development in International Undergraduate Education
Research on Semantic Network Construction and Critical Discourse Analysis Methods in the Context of Big Data
Analysis of a Comparative Study between Traditional Online Automatic Writing Evaluation Systems and Large Language Model-Assisted Online Revision for Second Language Writing
Challenges and Countermeasures in Cultivating Financial Talent in Vocational Colleges under the Impact of Financial Robots: A Study Using SPSS Regression Analysis
Prediction of the Scale of Graduate Education in China Using a Combined Weighting GM(1, 1) Model
Generative AI in Education: Developing Personalized Learning Experiences with Hyperspherical Variational Self-Attention Autoencoder
Research on AI-Assisted Teaching Strategies and Educational Technology System Models
Research on the Application Strategy of Artificial Intelligence in Cyberspace Security
Integrating Finite Element Analysis into Structural Testing Course for Enhanced Practical Learning
Research on the Innovation of Teaching Strategies for College Students' Labor Education Driven by Artificial Intelligence: Based on Learning Data Analysis and Feedback Mechanisms
Research on Emotional Education of College Students in the Age of Artificial Intelligence
Application of Artificial Intelligence in the Cultivation of Non-Technical Competencies in Engineering Management Majors
Crossing the Digital Divide: Issues and Countermeasures of Artificial Intelligence for Quality Development of Rural Education in China