yusuke1997/dblp-id-title huggingface dataset:
Self-supervised Domain Adaptation for Diabetic Retinopathy Grading Using Vessel Image Reconstruction
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021
Challenges in Using Semantic Knowledge for 3D Object Classification
Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots
Self Learning or How to Make a Knowledge Base Curious about Itself
Sparse Transfer Classification for Text Documents
Learning Choice Functions via Pareto-Embeddings
Finding Optimal Solutions to Atomix
AI Approaches Towards Sensor-Based Driver Support in Road Vehicles
Knowledge Acquisition for Life Counseling
Perfect Hashing for State Spaces in BDD Representation
Dependency Parsing with Efficient Feature Extraction
Conformal Rule-Based Multi-label Classification
Agents in Traffic Modelling - From Reactive to Social Behaviour
Early Explorations of Lightweight Models for Wound Segmentation on Mobile Devices
Time-Effect Relations of Medical Interventions in a Clinical Information System
Mehrwertige Funktionen als Alternative zu Prädikaten
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
Computer-unterstützter Algorithmenentwurf
The Hardest Random SAT Problems
Approximate Probabilistic Parallel Multiset Rewriting Using MCMC
Tolerance Spaces and Approximative Representational Structures
Preselection Strategies for Case Based Classification
Neuere KI-Formalismen zur Repräsentation von Wissen. Eine Fallstudie
Success and Failure of Expert Systems in Different Fields of Industrial Application
Compiling AI Engineering Models for Probabilistic Inference
Multi-context Systems with Activation Rules
Knowledge Acquisition for Simulating Complex Psychological Processes
Optimal Agent Selection
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models
Nichtmonotone Logiken. Ein einführender Überblick
Temporal Reasoning with Generalized Relations
Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control
Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems
Ontology-Based Information Extraction for French Newspaper Articles
Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen
Techniques for Analyzing Empirical Visualization Experiments Through Visual Methods
OBDDs in Heuristic Search
Assoziative Konfigurierung
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction
Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm
Die Behandlung von semantisch unvollständigen Anfragen in einer transportablen natürlichsprachlichen Datenbank-Schnittstelle
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog
Minimizing Necessary Observations for Nondeterministic Planning
Elimination of Redundant Links in Extended Connection Graphs
Avatar communication for a social in-home exercise system: a user study
Sequential Learning Algorithm of Neural Networks Systems for Time Series
FREGE: Ein objektorientierter FRont-End-GEnerator
Modeling of Tutoring Processes in Intelligent Tutoring Systems
Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks
Modifying the Model Set During Diagnosis
Automatic Document Categorization: Interpreting the Perfomance of Clustering Algorithms
Distinction Networks
On the Problem of Computing Small Representations of Least Common Subsumers
Intermediate-Task Transfer Learning for Bioacoustic Data
One Knowledge Graph to Rule Them All? Analyzing the Differences Between DBpedia, YAGO, Wikidata & co
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order
Strong Equivalence for Argumentation Frameworks with Collective Attacks
Zu Wesen und Grenzen der KI
The Praxis of Cognitive Assistance in Smart Homes
LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics
External A*
GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings
Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings
Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen
Combining Terminological and Rule-based Reasoning for Abstraction Processes
The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors
Robotik und Künstliche Intelligenz
Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory
Bildverstehen und Künstliche Intelligenz
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
Agents in Proactive Environments
KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie
Local Adaptive Extraction of References
A Comparison of Disjunctive Well-founded Semantics
The Morphological Principle. A Proposal for Treating Russian Morphology Within an HPSG Framework
Erkennung von 3-D Objekten im Nadeldiagramm mithilfe von Konsistenzbedingungen
Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model
KI: Woher kommt sie, wo steht sie, wohin geht sie?
Dynamic Channel and Layer Gating in Convolutional Neural Networks
Qualitative Modelle in wissensbasierten Systemen
Parallelverarbeitung in Netzwerk-basierten Systemen
Proof Transformation Towards Human Reasoning Style
A Pragmatics-First Approach to the Analysis and Generation of Dialogues
Methods for Automated High-Throughput Toxicity Testing Using Zebrafish Embryos
Symbolic Robot Commanding Utilizing Physical Properties - System Overview
A General Framework for Encoding and Evolving Neural Networks
Programmverifikation
Small Talk Is More than Chit-Chat - Exploiting Structures of Casual Conversations for a Virtual Agent
Trending Topic Aggregation by News-Based Context Modeling
KI-Methoden in der maschinellen Übersetzung
Dynamic Map Update of Non-static Facility Logistics Environment with a Multi-robot System
Why We Need Evolutionary Semantics
Towards the Visualisation of Shape Features The Scope Histogram
OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens
Selective Pseudo-Label Clustering
Expansion von Ereignis-Propositionen zur Visualisierung
State Space Algorithms for Searching Game Trees
Needle's Eyes - A General Decomposition Principle for Practical Uses
Modeling of Individual Naturalistic Decision Making in a Cognitive Architecture
Complexity-Aware Generation of Workflows by Process-Oriented Case-Based Reasoning
Quality-Based Terminological Reasoning for Concept Learning
Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering
Subsumption and Connectionsgraphs
Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory
An Extension of Explanation-Based Generalization to Negation as Failure
Propositional Satisfiability in Answer-Set Programming
KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
Analogical Proportions and Betweenness
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015
What Is a Skeptical Proof?
Generierung aus f-Strukturen als strukturgesteuerte Ableitung
An Exploitative Monte-Carlo Poker Agent
Konzeption und Nutzung von Wissensrepräsentation bei videogestützten Assistenzsystemen für die Straßenfahrzeugführung
Part-Whole Reasoning in Medical Knowledge Bases Using Description Logics
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Automatische Akquisition von inferentiellem Wissen
Projects and Vision in Robotics
Proceedings of the First International Workshop on Explainable and Interpretable Machine Learning (XI-ML 2020) co-located with the 43rd German Conference on Artificial Intelligence (KI 2020), Bamberg, Germany, September 21, 2020 (Virtual Workshop)
Adapting a Virtual Agent's Conversational Behavior by Social Strategies
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings
Relational Exploration - Reconciling Plato and Aristotle
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
Maschinelles Lernen: Theoretische Ansätze und Anwendungsaspekte
Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink
Matching Points of Interest from Different Social Networking Sites
World Modeling for Autonomous Systems
A Semantic View of Explanation
Representation and Processing of Qualitative Orientation Knowledge
Building Geospatial Data Collections with Location-Based Games
Critic Guided Segmentation of Rewarding Objects in First-Person Views
A Parsing System Based on a Deductive Database
Analysing Movement and Behavioural Patterns of Laboratory Mice in a Semi Natural Environment Based on Data collected via RFID-Technology
Ellipsenrekonstruktion in aufgabenorientierten Dialogen
Visual Search Target Inference Using Bag of Deep Visual Words
Towards Semantic Segmentation of Human Motion Sequences
A Robust Number Parser Based on Conditional Random Fields
Incremental Fuzzy Decision Trees
Draw with Me: Human-in-the-Loop for Image Restoration
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
Using Charts for Transfer in MT
Partnermodellierung im Evidenzraum
Decision-Theoretic Planning for Playing Table Soccer
Explainability and the Intention to Use AI-based Conversational Agents (Short Paper)
Formal Methods for Automated Program Improvement
Comparing Two Models for Software Debugging
Homography Based State Estimation for Aerial Robots
Visual Robot Localization and Mapping Based on Attentional Landmarks
Behaviour Monitoring and Interpretation
KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings
FRESCO: Eine Bankenapplikation als Testbed für die föderative Kooperation von Expertensystemen
Machine Learning for Adaptive User Interfaces
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)
Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes
Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS
Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, BMI'08, Kaiserslautern, Germany, September 23, 2008
Integrating an Equality Prover into a Software Development System Based on Type Theory
Planen und Planausführung in verteilten Anwendungsszenarien
Towards Distributed Configuration
Das "Bootstrap-Problem" bei der geometrischen Szenenrekonstruktion - eine Übersicht
A Robotic Home Assistant with Memory Aid Functionality
Hierarchical Diagnosis of Large Configurator Knowledge Bases
Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning
Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?
A Conditional Logic for Updating in the Possible Models Approach
A Comparison between Cognitive and AI Models of Blackjack Strategy Learning
A Completeness Proof Technique for Resolution with Equality
Toward a Rapid Prototyping Environment for Expert Systems
On the Scope of Qualitative Constraint Calculi
Extended Unification and its Implementation
Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata
Reifying Default Reasons in Justification Logic
Non-Monotonic Reasoning For Clause Logic Programming In A General Setting
Thinking in Agents
Wissensbasierte Erdbebenerkennung mit Sonogrammen als mentalen Bildern
Goal Oriented Equational Theorem Proving Using Team Work
Wissensverarbeitung mit neuronalen Netzen
Ein regelbasiertes Klauselgraph-Beweisverfahren
Applications of Automated Reasoning
Hybrid Approaches for Case Retrieval and Adaptation
Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data
Self-Explaining Variational Gaussian Processes for Transparency and Modelling of Prior Knowledge
Hierarchical Clustering of Sensorimotor Features
A Method to Optimize the Parameter Selection in Short Term Load Forecasting
Negotiation Technologies
Towards Simulation-Based Role Optimization in Organizations
Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
The Power of Space and Time
Predict the Individual Reasoner: A New Approach
Formal Representation of Temporal Items of the Diagnostic and Statistic Manual of Mental Disorders
On the Construction and Evaluation of Flexible Plan-Refinement Strategies
Rückkopplungen in einem modellbasierten Diagnostikshell
SASLOG: Lazy Evaluation Meets Backtracking
Verification of Behaviour Networks Using Finite-State Automata
An Intelligent Tutoring System for Classification Problem Solving
A Recognition Interface for Bridging the Semantic Desktop and the Physical World
Communicating Rational Agents
Tutorial: High Level Tools for Knowledge Systems Design
Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation
Representations as Basis of Cognitive Processes
Techniken der Wissensdarstellung
Selecting Users for Sharing Augmented Personal Memories
Cognitive Technical Systems - What Is the Role of Artificial Intelligence?
Social Network Analysis and Co-Occurrence: Identifying the Gaps
Unsupervised Nearest Neighbors with Kernels
New Stability Results for Delayed Neural Networks
From Theory to Practice: AI Planning for High Performance Elevator Control
Gray Box Robustness Testing of Rule Systems
Default Reasoning over Domains and Concept Hierarchies
A Componentwise Simulated Annealing EM Algorithm for Mixtures
To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment
Oldy but Goody Paramodulation Revisited
Workflow Clustering Using Semantic Similarity Measures
Explorations into Belief State Compression
Variance Scaling for EDAs Revisited
Semantic Approach to Identity in Coreference Resolution Task
Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal
Towards Observing the Effect of Abstraction on Understandability of Explanations in Answer Set Programming
A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game
Tutorial: Konnektionismus
Steering Plot Through Personality and Affect: An Extended BDI Model of Fictional Characters
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings
A Uniform Proof Procedure for Classical and Non-Classical Logics
Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
Bildverstehen
Recent Advances in Counting and Sampling Markov Equivalent DAGs
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata
Foundations for Solving Classification Problems with Quantitative Abstract Argumentation
Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data - Benchmark on Two Mixed Training Strategies
Solving Non-deterministic Planning Problems with Pattern Database Heuristics
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation
Application of Machine Learning Techniques to the Re-ranking of Search Results
Putting People's Common Sense into Knowledge Bases of Household Robots
Exploiting Conditional Equivalences in Connection Calculi
Towards Intuitive Robot Programming Using Finite State Automata
Bounded-Memory Stream Processing
On Generalizing Orientation Information in OPRA m
Hierarchy in Fluid Construction Grammars
Keynote: Session-Based Recommendation - Challenges and Recent Advances
# Combining a Lexical Taxonomy with Domain Ontology in the Erlangen Dialogue System
Improving Result Adaptation through 2-step Retrieval
Algorithms for Guiding Clausal Temporal Resolution
Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game
A Heuristic Inductive Generalization Method and its Application to VLSI-Design
Learn, Optimize, Explain: A Neuro-Symbolic Advisor for Personal Finance
Equality Reasoning with Equality-paths
MIND Your Language: A Multilingual Dataset for Cross-Lingual News Recommendation (Extended Abstract)
Classification of Skewed and Homogenous Document Corpora with Class-Based and Corpus-Based Keywords
Knowledge Graph Based Question Answering System for Financial Securities
Shadowing - Tracking - Interviewing: How to Explore Human Spatio-Temporal Behaviour Patterns
Fast Hand Detection Using Posture Invariant Constraints
Räumliche Problemstellungen in technischen Domänen
A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net
A Advisor for the Management of the Acute Radiation Syndrome
Extraction of Image Domain Primitives with a Network of Competitive/Cooperative Processes
A Drum Machine That Learns to Groove
Computing Minimum-Cardinality Diagnoses Using OBDDs
Spatial Inference - Combining Learning and Constraint Solving
Crop It, but Not Too Much: The Effects of Masking on the Classification of Melanoma Images
Zur Implementierbarkeit Analogischer Repräsentationen
Towards a New Semantics for Possibilistic Answer Sets
NetSim: Ein Simulator für Neuronale Netze
The Weak Completion Semantics and Counter Examples
Encoding HTN Heuristics in PDDL Planning Instances - (Extended Abstract)
Task Acquisition with a Description Logic Reasoner
Resolution on Formula-Trees
Positional Overload: Positional Debiasing and Context Window Extension for Large Language Models Using Set Encoding
Improving Case Based Classification with Expert Knowledge
Expertensysteme
InfOCF-Lib: A Java Library for OCF-based Conditional Inference
Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation
Planning Landmark Based Goal Recognition Revisited: Does Using Initial State Landmarks Make Sense?
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection
Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network for Neuro-symbolic Integration
Verwaltung und Verarbeitung von strukturierten Objekten
Comparing Unification Algorithms in First-Order Theorem Proving
Shape Retrieval with Qualitative Relations: The Influence of Part-Order and Approximation Precision on Retrieval Performance and Computational Effort
Dynamically Self-adjusting Gaussian Processes for Data Stream Modelling
Generation of content vs. Generation of Form: A Review of Recent Work in the SEMSYN project
Analogy, Paralogy and Reverse Analogy: Postulates and Inferences
Symbolic Description and Matching of Image Sequences
Improved Query Suggestion by Query Search
FACT-Graph: Trend Visualization by Frequency and Co-occurrence
Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence?
Strongly Solving Fox-and-Geese on Multi-core CPU
KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems
A Modal Computational Framework for Default Reasoning
A Concurrent Chart Parser
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
A Metric to Evaluate a Cluster by Eliminating Effect of Complement Cluster
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems
Phrase-Based Statistical Machine Translation
Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks
Monitoring Pedestrian Spatio-Temporal Behaviour
Exploring Discourse Corpora Using Process Mining Techniques
Bayesian Integration of Uncertain and Conflicting Evidence
Employing a Restricted Set of Qualitative Relations in Recognizing Plain Sketches
An Approach to Parallel Unification Using Transputers
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
Adapting Methods to Novel Tasks in Proof Planning
Proceedings of the KI2003 Workshop on Reference Ontologies and Application Ontologies, Hamburg, Germany, September 16, 2003
Towards Comparing RDF Stream Processing Semantics
KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM
Metaheuristics for Late Work Minimization in Two-Machine Flow Shop with Common Due Date
The Higher-Order Prover Leo-III (Extended Abstract)
Massively Parallel Reasoning about Actions
QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style
Systematic vs. Local Search for SAT
Applying Constrained Linear Regression Models to Predict Interval-Valued Data
Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon
Shape-Based Robot Mapping
On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-stationary Distributions
Simultaneous Quantifier Elimination
Reasoning with Artificial Mental States: An Algebraic Approach
Semantic Networks in a Knowledge Management Portal
Planning with Independent Task Networks
LLMs for Easy Language Translation: A Case Study on German Public Authorities Web Pages
Multimodal User State Recognition in a Modern Dialogue System
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects
Assisting wit Goal Formulation for Domain Independent Planning
A Computational Model of Human Movement Coordination
Adaptive Motion Control: Dynamic Kick for a Humanoid Robot
Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
LiSA: A Robot Assistant for Life Sciences
Planning in Answer Set Programming Using Ordered Task Decomposition
Zielgerichtetes Design von Aminosäuresequenzen mit Künstlichen Neuronalen Netzen
Constructing Programs From Input-Output Pairs
Saxony-Anhalt is the Worst: Bias Towards German Federal States in Large Language Models
Lernen und Wissensakquisitation
Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), Würzburg, Germany, September 23, 2024
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence
Expert System in Additional Finishing
SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints
Towards Participatory Design Spaces for Explainable AI Interfaces in Expert Domains (Short Paper)
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability
History-Based Diagnosis Templates in the Framework of the Situation Calculus
Das System ZORA - Wissensbasierte Generierung von Zeigegesten
Collision Free Path Planning for Intrinsic Safety of Multi-fingered SDH-2
Computing Role-Depth Bounded Generalizations in the Description Logic
A Logic Programming Approach to Collaborative Autonomous Robotics
Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien
Design of Geologic Structure Models with Case Based Reasoning
Classifying Collective Motion
Towards High-Level Human Activity Recognition through Computer Vision and Temporal Logic
Labelled Quantified Modal Logics
Semi-analytic Natural Number Series Induction