yusuke1997/dblp-id-title huggingface dataset:
Self-sustained Thought Processes in a Dense Associative Network
Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform
Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF
Mechanismen der Mustererkennung im Sehsystem
Energy-Efficient Routing: Taking Speed into Account
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages
EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains
Rock, Paper, Scissors What Can I Use in Place of a Hammer? - (Extended Abstract)
Agent Logics as Program Logics: Grounding KARO
The Representation of Program Synthesis in Higher Order Logic
Approaches to Semi-supervised Learning of Fuzzy Classifiers
Representation and Manipulation of Process Plans in Generic Expert Planning Systems
Believing Finite-State Cascades in Knowledge-Based Information Extraction
KL-One-basierte, hybride Repräsentationssysteme
Object Anchoring for Autonomous Robots Using the Spatio-Temporal-Semantic Environment Representation SEEREP
Opportunistic Planning with Recovery for Robot Safety
A Noetherian Rewrite System for Idempotent Semigroups
Prozeßsicherheit durch wissensbasierte Systeme
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders
Hybrid Natural Language Generation in a Spoken Language Dialog System
Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten?
Mentale Bilder und Wegbedeutungen
The Enhancement of Low-Level Classifications for Ambient Assisted Living
Class Instances in a Terminological Framework - An Experience Report
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science
Improving the Detection of Unknown Computer Worms Activity Using Active Learning
Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT
Searching for Locomotion Patterns that Suffer from Imprecise Details
Natürlichsprachliche Systeme - Eine Einführung in die sprachorientierte KI-Forschung
Using UML for Knowledge Engineering - A Critical Overview
The Role of Knowledge in Intelligent Agents
Processing Description containing Words and Gestures -A System Architecture-
Exploiting Contexts of LLM-based Code-Completion
Conversational Agents in a Virtual World
Autonomous Learning of User's Preferences Improved through User Feedback
Model Representation And Taxonomic Reasoning In Configuration Problem Solving
Positions, Regions, and Clusters: Strata of Granularity in Location Modelling
On Computational Problems for Infinite Argumentation Frameworks: Hardness of Finding Acceptable Extensions
On the Unification Hierarchy
A Comparative Study of Video-Based Analysis Using Machine Learning for Polyp Classification
Maximizing Expected Impact in an Agent Reputation Network
Eine neue Implementation von SRL
Architektur und Anwendung des bildverstehenden Expertensystems VES
Imitation Learning of Logical Program Policies for Multi-Agent Reinforcement Learning
Training on the Job - Collecting Experience with Hierarchical Hybrid Automata
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
Surrogate Constraint Functions for CMA Evolution Strategies
A Vision on Analysing Approaches for Knowledge Representation and Reasoning Using Computer Games
Earnings Prediction with Deep Learning
Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning
Maximum a Posteriori Estimation of Dynamically Changing Distributions
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis
Generating small Models of First Order Axioms
A Multi-Objective Approach for both Makespan- and Energy-Efficient Scheduling in Injection Molding
Proposal of Generalized Rule Programming Model
A Framework for General Trick-Taking Card Games
Vivid Logic and Directly Skeptical Inheritance
Probabilistic Justification of Default Reasoning
Learning to Execute Navigation Plans
What You See Is What You Set - The Position of Moving Objects
On Mutation Rate Tuning and Control for the (1+1)-EA
KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques
Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem
Planning for Distributed Theorem Proving: The Teamwork Approach
Inferring Flow of Control in Program Synthesis by Example
Towards First-order Deduction Based on Shannon Graphs
Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-organization of Feature Extraction
Out-of-Distribution Detection with Logical Reasoning (Extended Abstract)
Wissenspräsentation und -repräsentation
KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
Automated Design in Hybrid Action Spaces by Reinforcement Learning and Differential Evolution
Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung
OFFICE-PLAN: Tackling the Synthesis-Frontier
Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen
Online Multi-object Tracking-by-Clustering for Intelligent Transportation System with Neuromorphic Vision Sensor
Hybride und integrierte Ansätze zur Raumrepräsentation und ihre Anwendung
Plan Repair in Hybrid Planning
Connection Cutting for Contraction Free Logic
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract
Health and Habit: An Agent-based Approach
Minimal Model Generation Based on E-hyper Tableaux
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), Dresden, Germany, September 22, 2015
Diagnosis of Plan Execution and the Executing Agent
Agent-Based Multimodal Transport Planning in Dynamic Environments
Towards Large-Scale Inconsistency Measurement
A Kripke-Kleene Logic over General Logic Programs
Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering
Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema
Plan Assessment for Autonomous Manufacturing as Bayesian Inference
A System for Diagnostic Evaluation of Scintigraphic Image Sequences
Interval Situation Calculus
Explanation and Connectionism
Ist LISP eine 'langsame' Sprache?
Learning Plan Abstractions
Robotics Research: From Toy Worlds to Industrial Applications
PapagAI: Automated Feedback for Reflective Essays
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Algorithmic Debugging to Support Cognitive Diagnosis in Tutoring Systems
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 45th German Conference on Artificial Intelligence, September 19 - September 23, 2022: Trier, Germany (KI2021), Virtual Event, Trier, Germany, September 19, 2022
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account
On Verbalizing Real-World Events: An Interface of Natural Language and Vision
Towards Finding The Reasons Behind - Generating The Content Of Explanation
Kognitive Kategorien
Handling Negative Assumptions in a Generic User Modeling Framework
Improving Operating System Usage
Comparison of Laser-Based Person Tracking at Feet and Upper-Body Height
Automated Kantian Ethics: A Faithful Implementation
Rational Models of Normal Logic Programs
A Testbed for Adaptive Human-Robot Collaboration
Counter Model Transformation for Explaining Non-Subsumption in EL
BiosignalsStudio: A Flexible Framework for Biosignal Capturing and Processing
Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken
Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure
Unification in a Many-sorted Calculus with Declarations
Towards First-Order Temporal Resolution
Low-level global features for vision-based localizations
A Framework for Interactive Hybrid Planning
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward
Identifying Guidelines for Designing and Engineering Human-Centered Context-Aware Systems
Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition
Model Checking for Coalition Announcement Logic
Presenting Sets of Problem Solutions Concisely
Erschließen impliziter Information aus zeitlich parametrisierten Wirtschaftsdaten
Symbolic Classification of General Two-Player Games
A Note on Linear Time Series Prediction
Detecting Gestalts in CAD-Plans to be Used as Indices for Case-Retrieval in Architecture
Condorcet's Jury Theorem for Consensus Clustering
Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems
Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained
Exploring the Effects of Role Design on Agent Learning
Against the "Anti Waltz Effect" in Equality Reasoning
KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings
Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-Based Mobility Simulation
PRO_PLANT - Planzenschutz mit Hilfe eines Expertensystems
Fusing Probabilistic Information on Maximum Entropy
Subsumption in w.r.t. Hybrid TBoxes
SocialCOP: Reusable Building Blocks for Collective Constraint Optimization
Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings
A Manifold Representation as Common Basis for Action Production and Recognition
From Resolving Inconsistencies in Qualitative Constraints Networks to Identifying Robust Solutions: A Universal Encoding in ASP
Towards Explanation Generation using Feature Models in Software Product Lines
Semantikkonzepte in der Künstlichen Intelligenz
Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure
A Technical Note on Splitting and Clausal Normal Form Algorithms
Lost in Dialogue: A Review and Categorisation of Current Dialogue System Approaches and Technical Solutions
A Brief Introduction Into Activation-Based Conditional Inference
The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies
Probabilistic Models for the Verification of Human-Computer Interaction
Deep FAIR - Knowledge Representation for Research Data about Complex Objects
Grundzüge der Situationssemantik
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing
Computational Properties of Qualitative Spatial Reasoning: First Results
The Origins of AI Research in the Federal Republic of Germany
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
Repräsentationssysteme für Grammatik und Lexikon - Einleitung
1996-2006 Autonomous Robots
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics
Robust Processing of Situated Spoken Dialogue
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report)
A Comparative Study of Explainer Modules Applied to Automated Skin Lesion Classification
Verarbeitung von externer und interner Situation in Überzeugungssystemen
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine
Natural Language Descriptions of Human Behavior from Video Sequences
OBDA for Temporal Querying and Streams
Automobile Driving Behavior Recognition Using Boosting Sequential Labeling Method for Adaptive Driver Assistance Systems
Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam
User-aware Explications of Ontology Consequences: Levelling Technicality
Formula Simplifications as DRAT Derivations
Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings
A Symbolic Pattern Classifier for Interval Data Based on Binary Probit Analysis
Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology
Robust Constructive Induction
Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm
A Frame-Based Computational Model of Generic Generalisations
Fast Grid-Based Position TRacking for Mobile Robots
Expected Outcomes and Manipulations in Online Fair Division
Towards Recognizing Abstract Activities: An Unsupervised Approach
Natural Language Description of Image Sequences as a Form of Knowledge Representation
Associative Reasoning for Commonsense Knowledge
Using Structural Matching for Generalizing Examples
Design Principles for Embodied Interaction: The Case of Ubiquitous Computing
Accurate Online Social Network User Profiling
Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms
Two Algorithms for Additive and Fair Division of Mixed Manna
GeRReT - Ein generisches Werkzeug zur Validierung von Regelbasen aus der medizinischen Diagnostik
A Flexible Architecture for Driver Assistance Systems
ATLAST: A Three-level Language Analysis System
Extracting Spatial Relations Among Objects for Failure Detection
Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
Distributed Multi-robot Localization Based on Mutual Path Detection
Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German
Toward Heterogeneous Cardinal Direction Calculus
KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
Efficient Sequential Clamping for Lifted Message Passing
On Identifying Tree-Structured Perfect Maps
Hierarchische linienbasierte Tiefenbestimmung in einem Stereobild
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings
Dynamic Play via Suit Factorization Search in Skat
Adaptive Multi-agent Programming in GTGolog
Hierarchische Decomposition und Synthese von Objekten
Human Head Pose Estimation Using Multi-appearance Features
Ontology Pre-training for Poison Prediction
Knowledge-Level Modularization of a Complex Knowledge Base
Evaluation of Deep Learning Accelerators for Object Detection at the Edge
A Compact Encoding of Pseudo-Boolean Constraints into SAT
SHERLOCK.0 - Kognitive Modellierung von Debuggingstrategien
Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers
Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems
Logic-Based Trajectory Evaluation in Videos
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
How to Handle Incomplete Knowledge Concerning Moving Objects
Default Entailment: A Preferential Construction Semantics for Defeasible Inference
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study
Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural Networks
Constructing, Weighing and Evaluating Arguments to Solve Wicked Problems
An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System
κ-Circulant Maximum Variance Bases
Mining Interesting Outlier Subgraphs in Attributed Graphs
Knowledge Sharing for Population Based Neural Network Training
On the Joint Revision of Belief and Trust
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine
Delegated Negotiation for Resource Re-Allocation
A High-Speed Neural Architecture Search Considering the Number of Weights
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface
Towards a Lexicon for German Organized by Communicative Function: an Application of 'Lexical Functions'
Ein wissensbasiertes Fahrzeug-Diagnosesystem für den Einsatz in der Kfz-Werkstatt
Logic-Based Choice of Projective Terms
Foundational Ontologies and the Realist Bias
Improving Fault Localization of Programs by Using Labeled Dependencies
Comparing the Visual Quality of Deep Generative Models for Steel Microstructures
Extracting and Querying Relations in Scientific Papers
Nogoods in Qualitative Constraint-Based Reasoning
Dependency Graphs as a Generic Interface between Parsers and Relation Extraction Rule Learning
Universal Unification
Representing and Processing Copula and Full-Verb Sentences in HAM-ANS
A Flexible Meta-solver Framework for Constraint Solver Collaboration
Evolutionary Counterfactual Visual Explanation
Analogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning
A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot
Solving Proportional Analogies by E -Generalization
Reflection and competent problem solving
UML Representation Proposal for XTT Rule Design Method
Formal Semantics of Model Fields in Annotation-Based Specifications
KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings
Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items
Haptic Object Exploration Using Attention Cubes
Vollständige Reduktionssysteme
Abducing Hypotheses About Past Events from Observed Environment Changes
Variations of the Turing Test in the Age of Internet and Virtual Reality
Wissensrepräsentation
Inductive Synthesis of Recursive Functional Programs
Learning about preferences and common behaviours of the user in an intelligent environment
Programmverification at Stanford: Past, Present Future
Learning Rules for Cooperative Solving of Spatio-Temporal Problems
Suffix Tree Automata in State Space Search
Ranking-based Semantics for Assumption-based Argumentation
A Theory of First-Order Counterfactual Reasoning
An Empirical Comparison of Some Multiobjective Graph Search Algorithms
Behaviorism Revisited: Linking Perception and Action Through Symbolic Models of Cognition
Proceedings of the 4th Workshop on Knowledge Engineering and Software Engineering (KESE-2008) at the 31st German Conference on Artificial Intelligence, Kaiserslautern, Germany, September 23, 2008
Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems
Automatische kognitive Diagnose in einem Programmier-Tutor
Data Generation for Explainable Occupational Fraud Detection
Model-based Inference Techniques for detecting High-Level Team Intentions
Semi-automatic Creation of Resources for Spoken Dialog Systems
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions
HanKA: Enriched Knowledge Used by an Adaptive Cooking Assistant
Formalizing Cognitive Biases in Diagnostic Reasoning
Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships
A Proposed Methodology for the Development of Application-Based Formal Ontologies
Wissensrepräsentationen und Problemlösungstrategien in Expertensystemen
How to Construct a Logic for Your Application
Weighted Defaults in Description Logics: Formal Properties and Proof Theory
Parallel Fitting of Additive Models for Regression
Probabilistic Inheritance and Reasoning in Hybrid Knowledge Representation Systems
Local Feature Extractors Accelerating HNNP for Phoneme Recognition
KADS: Model Based KBS Development
Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning
Linear Paramodulation modulo Equality
Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen
Expert Systems in Statistics: Some Problems and Some New Views
On the Selection of Verbs for Natural Language Description of Traffic Scenes
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023
Generierung struktureller Konzepte im Version-Space
Application of Neural Networks in Pulp Production
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser
Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks
Problem Solver Control Over the ATMS
Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz
Experiments with an Agent-Oriented Reasoning System
Qualitative Probabilistic Inference with Default Inheritance
A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics
Designing Agents with MicroPsi Node Nets
LESS is More: LEan Computing for Selective Summaries
Feature-Logik
Preference-Based Monte Carlo Tree Search
Empathy and Its Modulation in a Virtual Human
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic
COLBERT: A Language for Reactive Control in Sapphira
A Human-in-the-Loop Tool for Annotating Passive Acoustic Monitoring Datasets (Extended Abstract)
Multi-stage Constraint Surrogate Models for Evolution Strategies
Omega: Computer Supported Mathematics
Text Planning in ITEX: A Hybrid Approach
Spatial Inference - Learning vs. Constraint Solving
Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, Deutschland, 8.-16. März 1985 und 8.-16. März 1986
Image-Based Identification of Plant Species Using a Model-Free Approach and Active Learning
Efficient Memory-Limited Graph Search
Raum-zeitliche Filter für eine top-down Steuerung der Bewegungsanalyse
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
Evaluating AI-Based Components in Autonomous Railway Systems - A Methodology
Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th German Conference on Artificial Intelligence (KI-2007), Osnabrück, Germany, September 10, 2007
From Neurons to Robots: Towards Efficient Biologically Inspired Filtering and SLAM
Exploring Spatio-Temporal Data Modeled as Dynamic Weighted Relations
An Artificial Neural Network for High Precision Eye Movement Tracking
Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data
Swarm-Based Cluster Analysis for Knowledge Discovery
Generation of Sentence Parse Trees Using Parts of Speech
An Integrative Model of Learning by Being Told, from Examples and by Exploration
Conference Paper Assignment Problem - A new System for Recommending and Assigning Reviewers to Scientific Articles
Logic and Psychology: A Couple of Case Studies
Indefinite Noun Phrases and the Limits of Logic
Analysis of Sound Localization Data Generated by the Extended Mainzer Kindertisch
Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study
A Demonstrator for Interactive Image Clustering and Fine-Tuning Neural Networks in Virtual Reality
Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies
The 9+-Intersection for Topological Relations between a Directed Line Segment and a Region
Über ein Meta-Prinzip zur Explikation von Kontrollwissen
RP-DQN: An Application of Q-Learning to Vehicle Routing Problems
GAN Path Finder: Preliminary Results
Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics
Knowledge Graph Embeddings with Ontologies: Reification for Representing Arbitrary Relations
Qualitative Spatial Reasoning for Navigating Agents - Behavior Formalization with Qualitative Representations
Answers for disjunctive logic programs
Noise Robustness by Using Inverse Mutations
Explaining Hate Speech Classification with Model-Agnostic Methods
Semantic Reflection - Knowledge Based Design of Intelligent Simulation Environments
Kategoriales Parsing mit definiten Klauseln
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies
Towards Model Transformation in Description Logics - Investigating the Case of Transductions
KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings