yusuke1997/dblp-id-title huggingface dataset:
Semantic Segmentation of Aerial Images Using Binary Space Partitioning
Bayesian Network for Future Home Energy Consumption
A k-Winner-Takes-All Classifier for Structured Data
Parsing N Best Trees from a Word Lattice
Following Conditional Structures of Knowledge
Mating in Matrices
Multi-Type-TD-TSR - Extracting Tables from Document Images Using a Multi-stage Pipeline for Table Detection and Table Structure Recognition: From OCR to Structured Table Representations
HOKUSKOPUS - Verwendung terminologischen Wissens bei der Analyse von Quantorenskopus und Distributivität
Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers
Hierarchien über Relationengebilden
Interaktive Diskursverarbeitung
Optimisation of Matrix Production System Reconfiguration with Reinforcement Learning
Konversationale Modellierung graphisch-interaktiver Systeme: Ein Beispiel
Cognitive Modelling and Education
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 44th German Conference on Artificial Intelligence, September 27 - October 1, 2021: Berlin, Germany (KI2021), Virtual Event, Berlin, Germany, September 28, 2021
Wissen und Können - Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen
A Machine-Learning Framework for Hybrid Machine Translation
Behavioural Congruence in Turing Test-Like Human-Computer Interaction
Possible Worlds Semantics for Credulous and Contraction Inference
Re-evaluating the Robustness and Interpretability of the Contrastive Explanations Method for Image Classification
Knowledge Discovery in Spatial Databases
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2
Dependency Calculus: Reasoning in a General Point Relation Algebra
Model-Based Learning of Rules for Error Diagnosis
Tabu Search vs. Random Walk
Smooth Conditional Transition Paths in Dynamical Gaussian Networks
An Efficient Parser for Lexical Functional grammar
On Modelling Events with an 'Analogical' Representation
Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security
Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations
Variational Bayes for Generic Topic Models
Analyse und Synthese in einer kategorialen Unifikationsgrammatik: Möglichkeiten und Grenzen
An Ontological Modelling of Prototype Theories
Towards Automatic Manipulation Action Planning for Service Robots
THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure
Context-Based Clustering of Image Search Results
PLUG: Benutzerführung auf Basis einer dynamisch veränderlichen Zielhierarchie
Unambiguous Determination of Velocity and Structure of an Accelerating Surface. A Theoretic Framework
Modelling Subjective Distances
DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens
How to Build a Foundational Ontology: The Object-Centered High-level Reference Ontology OCHRE
Money Talk: Hierarchical Consultation Dialogue
Extensions of Concept Languages for a Mechanical Engineering Application
Knowledge Organization Using the Development System FAENSY
Proofs by Induction in "Fairly" Specified Equational Theories
News Annotations for Navigation by Semantic Similarity
When Nonmonotonicity Comes from Distances
From Simulated Dialogues to Interactive Performances with Virtual Actors
Constructing Decision Trees from Examples and Their Explanation-based Generalizations
Linkless Normal Form for ALC Concepts and TBoxes
Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019
Collaborative Multi-Expert-Systems - Realizing Knowledge-Lines with Case Factories and Distributed Learning Systems
Fuzzy Numerical Schemes for Hyperbolic Differential Equations
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions
Program Verification Techniques as a Tool for Reasoning about Action and Change
Grounding Meaning in Perception
SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World
The Polylingual Labeled Topic Model
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs
Recombinant Rule Selection in Evolutionary Algorithm for Fuzzy Path Planner of Robot Soccer
Towards a Framework for Knowledge-Based Machine Translation
Finding Regions for Local Repair in Partial Constraint Satisfaction
Context-Specific Selection of Commonsense Knowledge Using Large Language Models
Concretion Inferences in NAtural Language Understanding
Completeness for Generalized First-Order LTL
Incremental Generation of Abductive Explanations for Tactical Behavior
Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution
Spezielle Sektion: Kognition - Wissensstrukturen beim Aufgabenlösen
Über die Repräsentation von dreidimensionalen natürlichen Objekten
On the Road to High-Quality POS-Tagging
Analogy-Based Preference Learning with Kernels
Solving Decentralized Continuous Markov Decision Problems with Structured Reward
Plan Generation by Linear Proofs: On Semantics
Deduktionsverfahren
On Using Model Checking for the Certification of Iterated Belief Changes
Correlating Natural Language Parser Performance with Statistical Measures of the Text
Representing and Analyzing Time and Causality in HIQUAL Models
Human Perception Based Counterfeit Detection for Automated Teller Machines
Estimating the Driver's Workload - Using Smartphone Data to Adapt In-Vehicle Information Systems
Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval
Object Recognition with Shape Prototypes in a 3D Construction Scenario
Assembly Planning in Cluttered Environments Through Heterogeneous Reasoning
Computing Most Likely Scenarios of Qualitative Constraint Networks
Collectives and How They Move: A Tale of Two Classifications
Entwicklung von Wissensbankbetriebssystemen
Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract)
Combining Spatial and Terminological Reasoning
Towards the Integration of Functions, Relations and Types in an AI Programming Language
PEBAM: A Profile-Based Evaluation Method for Bias Assessment on Mixed Datasets
Consistent 3D Model Construction with Autonomous Mobile Robots
Packing Irregular-Shaped Objects for 3D Printing
A New Method to Fit a Linear Regression Model for Interval-Valued Data
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs
Proceedings of the Workshop on Behaviour Monitoring and Interpretation BMI 2007, Osnabrück, Germany, September 10, 2007
Modelling Heuristic Parsing Strategies
Script-Based Generation and Evaluation of Expectations in Traffic Scenes
A New Combined Approach for Inference in High-Dimensional Regression Models with Correlated Variables
Defining Decision Rules in Signed Horn Clauses
Halbautomatische Erweiterung eines Thesaurus
Einführungsseminar: Maschinelles Lernen
MicroPsi: Contributions to a Broad Architecture of Cognition
Quantified Boolean Solving for Achievement Games
Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation
Expert Systems: State of the Art and Future Prospects
The Role of User Models for Conflicts in a Constraint-based Model of Generation
Optimized Nearest-Neighbor Classifiers Using Generated Instances
Topologische Multisetordnungen
Hybride Diagnosenbewertung
How to Teach a Computer to Learn About Microbes: KG-COVID-19 and Microbial Graph Learning - Abstract
Makrut Attacks Against Black-Box Explanations
A Framework for the Multiple Representation of Structure and Function in Expert Systems
HTN Plan Repair via Model Transformation
A Tool for MDD of Rule-based Web Applications based on OWL and SWRL
The Role of AI in Shaping Smart Services and Smart Systems
Models and Structures in Image Processing
Balanced Reciprocity for Data Sharing - Axiomatization and Mechanism Design
Applying Logical Constraints to Ontology Matching
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-Updates
AI Approaches Overcome Variability Problems in Diachronic Text Analysis: The Case of Identifying Bound Affixes in Middle English
Epistemic Queries in Classic
Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling
Ein Beweisverfahren für Datenbankprädikate
An Intelligent Fuzzy Agent for Spatial Reasoning in GIS
Improvement of Recursive Programs from a Logic Programming Point of View
Integrating Vision and Language: Towards Automatic Description of Human Movements
Künstliche Intelligenz und Kognitive Psychologie: Zum Stand der Beziehung
Context Directed Translation
Qualitative Reasoning
Darstellung von Aktionen in Vererbungshierarchien
Assumptionbased Truth Maintenance (Abstract)
Stable Resolving - A Randomized Local Search Heuristic for MaxSAT
Design Requirements for Knowledge Representation Systems
Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming
Sektion: Expertensystemlabor
Korrespondenzen zwischen KI und Linguistik
Qualitative Velocity and Ball Interception
German-Japanese Speech Translation in CSTAR
Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen Szenen
On-Line Handwriting Recognition with Parallelized Machine Learning Algorithms
Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition
Making a Robot Learn to Play Soccer Using Reward and Punishment
Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data
On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy
Mechanisms for Data Sharing in Collaborative Causal Inference
Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)
Flexible Automation of Quantified Multi-Modal Logics with Interactions
Programming Styles in Artificial Intelligence
Flexible Timeline-Based Plan Verification
Clustering Based on Density Estimation with Sparse Grids
Cardinality Restrictions on Concepts
Iterative Search for Similar Documents on Mobile Devices
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation
The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model
Toward Alignment with a Virtual Human - Achieving Joint Attention
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics
From Natural Language Instructions to Structured Robot Plans
Darstellung des Workshops "Alles für die Katz', KADS?"
Situation-Specific Intention Recognition for Human-Robot Cooperation
Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets
Presenting Proofs with Adapted Granularity
175 Miles Through the Desert
SPICOS II - Linguistische Analyse im Datenbankdialog
A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty
Exploiting Past Experience - Case-Based Decision Support for Soccer Agents
Enabling Supervised Machine Learning Through Data Pooling: A Case Study with Small and Medium-Sized Enterprises in the Service Industry
Low-Rank Subspace Override for Unsupervised Domain Adaptation
A Philosophical Foundation for Ontology Alignments - The Structuralistic Approach
Abductive Partial Order Planning with Dependent Fluents
Visualizing Dissimilarity Data Using Generative Topographic Mapping
Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems
Reference Ontologies - Application Ontologies: Either/Or or Both/And?
Leveraging Weakly Supervised and Multiple Instance Learning for Multi-label Classification of Passive Acoustic Monitoring Data
Problemzerlegung als optimalitätserhaltende Operatorabstraktion
Axiom - A Modular Visual Object Retrieval System
Instance-Based Learning of Credible Label Sets
Semantic Graph Visualisation for Mobile Semantic Web Interfaces
Online Workload Recognition from EEG Data during Cognitive Tests and Human-Machine Interaction
The Ditmarsch Tale of Wonders
A Probabilistic MajorClust Variant for the Clustering of Near-Homogeneous Graphs
Rigid Hypertableaux
Mining Hierarchical Temporal Patterns in Multivariate Time Series
An Introduction to AnyBURL
Reasoning About Exceptions (Extended Abstract)
GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983
Towards Hypervector Representations for Learning and Planning with Schemas
Explanatory Interactive Machine Learning with Counterexamples from Constrained Large Language Models
A New Deductive Approach to Planning
Knowledge Engineering mit einer Expertensystem-Shell
Modeling the Temporal Behaviour of Technical Systems
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017
Image Dataset Quality Assessment Through Descriptive Out-of-Distribution Detection
Effiziente Reduktionsstrategien in Termersetzunssystemen
A Mathematical Model of Heuristic Game Playing
External Sources of Axioms in Automated Theorem Proving
Towards a Methodology for Developing Application-Oriented Report Generation
Computing the Optimal Action Sequence by Niche Genetic Algorithm
Text Generation in the SmartWeb Multimodal Dialogue System
Machine Learning as a Tool for Building a Deterministic Parser
Constructive Theory Formation in Knowledge Based Systems
Knowledge Compilation for Description Logics
Approximating Most Specific Concepts in Description Logics with Existential Restrictions
Bremen Big Data Challenge 2017: Predicting University Cafeteria Load
The Point Algebra for Branching Time Revisited
The NeuDB-System: Towards the Integration of Neural Networks and Database Systems
A Crow Search-Based Genetic Algorithm for Solving Two-Dimensional Bin Packing Problem
OWL and Qualitative Reasoning Models
Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals
Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity
Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene
Data Models in Knowledge Representation System: A Case Study
KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings
Machine Learning for Autonomous Robots
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract)
PAC-Learning with General Class Noise Models
Reducing Lexical Redundancy by Augmenting Conceptual Knowledge
A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory
Partial Symbolic Pattern Databases for Optimal Sequential Planning
Learning Event Time Series for the Automated Quality Control of Videos
Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices
Phonemic Text Transcription Enhances Automated Morpheme Detection: The Importance of Knowing Which Information is Used From the Input
Research Center Ambient Intelligence: Assisted Bicycle Team Training
Augmenting Systematic Literature Reviews: A Human-AI Collaborative Framework
Towards Sentiment Analysis on German Literature
KI in der Praxis - Stand der Kunst und Perspektiven
Inferenzmethoden
A Doppelkopf Player Based on UCT
Unsupervised Anomaly Detection for Financial Auditing with Model-Agnostic Explanations
Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios
Efficient Axiom Pinpointing with EL2MCS
High-Level Expectations for Low-Level Image Processing
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
The Scared Robot: Motivations in a Simulated Robot Arm
Modeling Moving Objects in a Dynamically Changing Robot Application
Public Announcements for Intuitionistic Epistemic Logic IEL
Could the Declarer Have Discarded It? Refined Anticipation of Cards in Skat
Generierung in natürlichsprachlichen Systemen: Beziehungen zwischen der Erzeugung von Inhalt und Form, Spezielle Sektion
FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices
Der META-Beweiser für die Zahlentheorie
A Framework for Quasi-exact Optimization Using Relaxed Best-First Search
GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 18.-22. September 1989, Proceedings
Deviation in Belief Change on Fragments of Propositional Logic
Interaction Pattern Categories - Pragmatic Engineering of Knowledge-Based Systems
Behaviour Monitoring and Interpretation - BMI - Smart Environments [an outgrow of BMI workshops]
AI Viewed as a "Science of the Culture"
Monitoring Agents Using Declarative Planning
Visual-Based Emotion Detection for Natural Man-Machine Interaction
A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction?
Learning to Discriminate Phases in Gas-Liquid Flow
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception
Personalization of Gaze Direction Estimation with Deep Learning
Relaxing Constraint Networks to Resolve Inconsistencies
Caïssa AI: A Neuro-Symbolic Chess Agent for Explainable Move Suggestion and Grounded Commentary
Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks
TabVer: A Case Study in Table Verbalization
Graphische Wissensrepräsentationen
A Hybrid Constraint-Based, Greedy, and Local Search Approach for the Transshipment Problem
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics
Techniques for Fast Query Relaxation in Content-Based Recommender Systems
Speedy Local Search for Semi-Supervised Regularized Least-Squares
Vision-Based Facial and Eye Gaze Tracking System
On the Use of Operation Information in Problem Solving
A Novel Incremental Learning Strategy Based on Synthetic Data Generated from a Random Forest
Modelle beim Konfigurieren
Wissensbasierte Interpretation relationaler Bildbeschreibungen
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020
Expertensysteme im Dienste des Kunden
Heuristics for Resolution in Propositional Logic
Context Logic - An Introduction
Semi-unsupervised Learning: An In-depth Parameter Analysis
Solving Hard Combinatorial Problems with GSAT - A Case Study
Integrating Keywords into BERT4Rec for Sequential Recommendation
Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, Deutschland, 28. März - 5. April 1987, Proceedings
Reasoning about Action with Typical and Atypical Effects
A Formal Cognitive Model of Mathematical Metaphors
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
Pre-Selection in Cluster Lasso Methods for Correlated Variable Selection in High-Dimensional Linear Models
Requirements Selection: Knowledge based optimization techniques for solving the Next Release Problem
Identifying and Analysing Germany's Top Blogs
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics
Structures for Knowledge-Based Chess Programs
PROLOG: PROgrammieren mit LOGik - Eine Einführung
Understanding the Zhangzhung Nyengyu tsakali Collection using Computational Pattern Analysis
zur lexikalischen Wissensquelle des Generierungssystems SEMSYN
Approximate Information Filtering on the Semantic Web
"3D" in NLP: Determiners, Descriptions, and the Dialog Memory in the XTRA Project
A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k
Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception
Parallelizing Description Logics
Applied Connectionistic Methods in Computer Vision to Compare Segmented Images
N.N.: A View of Planning in Chess
An Extensible Modular Recognition Concept That Makes Activity Recognition Practical
Deriving a Primal Form for the Quadratic Power Kernel
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy
Comparing the Complexity of Regular and Unrestricted Resolution
Data Acquisition for Argument Search: The args.me Corpus
Multi-value Classification of Very Short Texts
Complexity of Interval Relaxed Numeric Planning
Learning an Ensemble of Semantic Parsers for Building Dialog-Based Natural Language Interfaces
Classification of Semantic Concepts to Support the Analysis of the Inter-cultural Visual Repertoires of TV News Reviews
Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression
Stochastic Gradient Descent with GPGPU
Learning How to Play Hex
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions
Searching with Partial Belief States in General Games with Incomplete Information
Architectural Concepts for Large Knowledge Bases
Similarity and Contrast on Conceptual Spaces for Pertinent Description Generation
Using Behavioral Knowledge for Situated Prediction of Movements
DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios
Quantifying the Trade-Offs Between Dimensions of Trustworthy AI - An Empirical Study on Fairness, Explainability, Privacy, and Robustness
Building Robots with Analogy-Based Anticipation
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks
On the Domain Robustness of Contrastive Vision-Language Models
On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects
German to English: Fake News Detection with Machine Translation
Relation Instantiation for Ontology Population Using the Web
Multi-agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective
Most Competitive Mechanisms in Online Fair Division
KI 2025: Advances in Artificial Intelligence - 48th German Conference on AI, Potsdam, Germany, September 16-19, 2025, Proceedings
KI-Handlungsplanung - Woran wir arbeiten, und woran wir arbeiten sollten
Lernen von Strukturbeschreibungen für ein wissensbasiertes Bildanalysesystem
Overview of Recommendation Techniques in Business Process Modeling
Multi-flip Networks: Parallelizing GenSAT
The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning
Extracting and Verifying Hyponymy Relations Based on Multiple Patterns and Features
Towards Privacy-Preserving Relational Data Synthesis via Probabilistic Relational Models
Combining Symbolic and Connectionist Techniques for Coordination in Natural Language
Robust Processing of Natural Language
KI-Programmierung
Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen
Machine Learning Techniques for Selforganizing Combustion Control
Representation in Auditory Cortex (Abstract)
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover
Neuere Semantikmodelle für die Verarbeitung natürlicher Sprache
Künstliche Intelligenz und Umweltanwendungen
BONITEX - ein Expertensystem zur Risikoprüfung bei der Vergabe von Konsumentenkrediten
Constraints Applied to Configurations
Demystifying Artificial Intelligence for End-Users: Findings from a Participatory Machine Learning Show
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques
KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings
ALICA 2.0 - Domain-Independent Teamwork
Unsupervised Selection of Features by Their Resilience to the Curse of Dimensionality
Three Decades of Human Language Technology in Germany
Control Strategies in Image and Speech Understanding
Mechanising Partiality With Re-implementation