yusuke1997/dblp-id-title huggingface dataset:
Multi-agent Systems as Intelligent Virtual Environments
Context-Aware Service Discovery Using Case-Based Reasoning Methods
Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts
Wortorientiertes Parsing mit erweiterter Chart-Repräsentation
Tailoring the Presentation of Plans to Users' Knowledge and Capabilites
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings
Strategies for Semantical Contractions
On Contextual Programs Under Three-Valued Łukasiewicz Logic
Value-Difference Based Exploration: Adaptive Control between Epsilon-Greedy and Softmax
Towards a Mapping from ERDF(S) to Take Vocabulary
Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering, Karlsruhe, Germany, September 21, 2010
Inferring Implicit State Knowledge and Plans with Sensing Actions
Robotertechnologie
WUEVEL - ein wissensbasiertes System zur Unterstützung bei der Ermittlung von Vorgabedaten zur Einrichtung von Lackieranlagen
An Explanatory Framework for Human Theorem Proving
A System for Understanding Continuous German Speech
Syntax and Semantics of Some Noun Phrases
Deductive Verification of Invariants of State-Transition Systems
Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis
From Theory to Practice in Multiagent System Design: The Case of Structural Co-operation
Instantiating General Games Using Prolog or Dependency Graphs
An Arrangement Calculus, Its Complexity and Algorithmic Properties
A Critical Review on the Symbol Grounding Problem as an Issue of Autonomous Agents
Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache
Dynamic Bayesian Networks for Learning Interactions between Assistive Robotic Walker and Human Users
Communicating Safety of Planned Paths via Optimally-Simple Explanations
Planar Features for Visual SLAM
Safety Constraints and Ethical Principles in Collective Decision Making Systems
Decision Making in Unclear Situations
Solver Tuning and Model Configuration
GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings
Methodik des Programmierens in Prolog
Syllogistic Reasoning in Seven Spaces
Genre Classification of Web Pages.
Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework
KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
Towards a Totally Distributed Meeting Scheduling System
Joint Proceedings of Workshops, Tutorials and Doctoral Consortium co-located with the 45rd German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19-20, 2022
Some Fundamental Issues in Knowledge Representation
Putting Default Logics in Perspective
Propagation of Temporally Indexed Values in Multiple Contexts
Causation and Nonmonotonic Temporal Reasoning
Abbildung von Frames auf neuere Datenmodelle
ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions
Hamburger Ansichten oder Ein Problem der Repräsentation räumlichen Wissens
Mixing Description Logics in Privacy-Preserving Ontology Publishing
Real-Time Public Transport Delay Prediction for Situation-Aware Routing
Learning Expert Knowledge and Theorem Proving
Remarks to Shoham's Temporal Logic
Fünf Thesen zum kognitiven Anspruch und der Industriellen Relevanz Künstlicher Intelligenz
Negation in Cognitive Reasoning
Everything You Always Wanted to Know about Planning - (But Were Afraid to Ask)
Cross System Personalization and Collaborative Filtering by Learning Manifold Alignments
EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks
Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz
Human-Machine Corpus Analysis for Generation and Interaction with Spoken Dialog Systems
Efficient Hierarchical Reasoning about Functions over Numerical Domains
Necessary Observations in Nondeterministic Planning
Fachdialogwissen als Mittler zwischen Fachwissen und Dialogwissen
A Robot Learns to Know People - First Contacts of a Robot
Pattern-Database Heuristics for Partially Observable Nondeterministic Planning
Instance Segmentation with a Novel Tree Log Detection Dataset
GeTS - A Specification Language for Geo-Temporal Notions
The Stable Semantics and its Variants: A Comparison of Recent Approaches
Towards Inferring Labelling Heuristics for CSP Application Domains
TEMPO- ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen
Approximate Reasoning with Fuzzy-Syllogistic Systems
Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and Techniques
Rigid Unification by Completion and Rigid Paramodulation
Belief Systems: Ascribing Belief
Translating Cooperative Strategies for Robot Behavior
Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System
Meme Media and Knowledge Federation
Short-Term Wind Power Prediction with Combination of Speed and Power Time Series
Bayesian Metanetworks for Modelling User Preferences in Mobile Environment
Automated Robot Skill Learning from Demonstration for Various Robot Systems
Affective Cognitive Modeling for Autonomous Agents Based on Scherer's Emotion Theory
Ontology Modelling in the Legal Domain - Realism Without Revisionism
Künstliche Intelligenz und Operations Research
Flexible Concept-Based Argumentation in Dynamic Scenes
Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations
Belief Update in the pGOLOG Framework
Reasoning about Action and Change: Actions with Abnormal Effects
Eine psychologische Kritik des Intuitionismus in der Kognitionsforschung
Completion of Globally Finite Term Rewriting Systems for Inductive Proofs
Generierung mit GPSG
Fast Winner-Takes-All Networks for the Maximum Clique Problem
Explicit and Implicit Beliefs
Many-Sorted Resolution
Error-Tolerant Finite-State Lookup for Trademark Search
Towards a Systematic Account of Different Logic Programming Semantics
Foundations of Artificial Intelligence FAInt 2007, Osnabrück, Germany, September 10, 2007
Accessible Language Simplification: Large Language Models for Generating Easy German
A Revision of Dependency-Directed Backtracking for JTMS
Narrowing Techniques Applied to Idempotent Unification
Towards the AI Summer
Automatic Identification of Human Strategies by Cognitive Agents
A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System
A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems
Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu Berlin, 13.-16. September 1993, Proceedings
On the KL Divergence of Probability Mixtures for Belief Contraction
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model
KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings
Planungssysteme in der Robotik
Machine-Assisted Program Construction and Modification
MED2: How Domain Characteristics Induce Expert System Features
SPREADIAC - Intelligente Pfadsuche und -bewertung auf Vererbungsnetzen zur Verarbeitung impliziter Referenzen
A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support - (Software Demonstration)
Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations
Folk Reducibility and AI-Complete Problems
Data Mining with Graphical Models
Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models
Types of Efficient Query Learning
ClassifyHub: An Algorithm to Classify GitHub Repositories
A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom
A Sequence-Based Neuronal Model for Mobile Robot Localization
Theory Unification in Abstract Clause Graphs
Optimal Scheduling with Resources for Application Execution in 3G Networks
Conceptualizing Adjectives
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge
Werarbeitung natürlicher Sprache
Gates for Handling Occlusion in Bayesian Models of Images: An Initial Study
A Methodological Approach for the Effective Modeling of Bayesian Networks
Clustering of Argument Graphs Using Semantic Similarity Measures
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics
Incorporating Specificity into Circumscriptive Theories
Object-Oriented Concurrent Constraint Programming in Oz
Vision, Logic, and Language - Toward Analyzable Encompassing Systems
Negation in Spatial Reasoning
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings
HUI-Audio-Corpus-German: A High Quality TTS Dataset
Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects
SceneMaker: Automatic Visualisation of Screenplays
Computational Game Theory and AI
A New and Simple Method for Explicit Computation of a Circumscription
Imagining Contexts
An Efficient Decision Algorithm for Feature Logic
Deep Neural Networks for Geometric Shape Deformation
Using Rippling for Equational Reasoning
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Kontrainduktives Lernen von Konzepten aus Fakten
A Theory for Causal Reasoning
Wissensrepräsentation. Grundkurs
What Will Happen in Algorithm Country?
Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges
Emotion Based Control Architecture for Robotics Applications
SWISS - A Natural Language Question Answering System for Scene Analysis
The Semantic Clause Graph Procedure - A First Overview
A Partitioning Method for Mixed Feature-Type Symbolic Data Using a Squared Euclidean Distance
A Unifying Framework for Hybrid Planning and Scheduling
Utterance Generation Without Choice
An Experimental Study of Dimensionality Reduction Methods
Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer Agenten
Conscious Behavior through Reflexive Dialogs
Visualizing and Interpreting Neural Network Focus Regions: A Comparative Study of Vision Transformers on Synthetic and Real Data
Trajectory Generation and Control for a High-DOF Articulated Robot with Dynamic Constraints
Bayesian Learning and Evolutionary Parameter Optimization
Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence
Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction
Temporal Logic Based on Characteristic Functions
Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences
Using Resolution and Paramodulation for Induction Proofs
Inducing Integrity Constraints from Knowledge Bases
Towards Continuous Knowledge Representations in Episodic and Collaborative Decision Making
Techniken des Wissenserwerbs
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis
Online Full Body Human Motion Tracking Based on Dense Volumetric 3D Reconstructions from Multi Camera Setups
'No-Match' Punkte: Informationsquelle für die Detektion von Bewegung
How to Say WHAT - IT or SOMETHING?
A Bimodal Simulation of Defeasibility in the Normative Domain
Towards the Computation of Stable Probabilistic Model Semantics
Logic Programming Development (Abstract)
Integration of Prosodic and Grammatical Information in the Analysis of Dialogs
Prediction of Regular Search Tree Growth by Spectral Analysis
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm
Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens
KI-Methoden in der Finanzwirtschaft
Alarm Management on a Liquid Bulk Terminal
Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data
Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II
Universal Unification and a Class of Equational Theories
LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations
Belief Revision in Diagnosis
Knowledge Based Image Understanding by Iterative Optimization
Assessing the Performance Gain on Retail Article Categorization at the Expense of Explainability and Resource Efficiency
Modal Categorical Inferences in Quarc
Computational Psychophysics of Stereoscopic Depth Perception
Pellet-HeaRT - Proposal of an Architecture for Ontology Systems with Rules
Acceleration of DBSCAN-Based Clustering with Reduced Neighborhood Evaluations
Model Based Deduction for Database Schema Reasoning
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies
Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018
Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation
Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection
The SNNS Neural Network Simulator
A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
Enhancing Semi-supervised Learning with a Meta-feature Based Safeguard System
An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind
A Parallel Connection Graph Proof Procedure
Model-Based Object Recognition from 3D Laser Data
Consciousness and Automated Reasoning
Parallel Variable Elimination on CNF Formulas
Active Learning in Multi-label Classification of Bioacoustic Data
Interpretation of Behaviours from a Viewpoint of Topology
Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm
The AI Domain Definition Language (AIDDL) for Integrated Systems
BACK to Consistency and Incompleteness
Zur Generierung zusammenhängender Texte
Meta-level Information Extraction
TGA-Based Controllers for Flexible Plan Execution
Die Kategorie des Gebiets und ihre Wirkung auf Himmelsrichtungen
Unsupervised Alignment of Distributional Word Embeddings
RECol: Reconstruction Error Columns for Outlier Detection
Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract)
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning
A Note on Tableaux of Logic of Paradox
Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective
Monotone and Online Fair Division
Towards Opportunistic Action Selection in Human-Robot Cooperation
Resolving Inconsistencies in Probabilistic Knowledge Bases
The SEASALT Architecture and Its Realization within the docQuery Project
Information Environments for Software Agents
A Concept Language Extended with Different Kinds of Transitive Roles
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks
Optimality Theory through Default Logic
Universally Quantified Queries in Language with Order-Sorted Logics
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles
Efficient Computation of Solutions for Contradictory Time Interval Networks
Grenzen der KI
Resource-Adaptive Action Planning in a Dialogue System for Repair Support
Conditioned Circumscription: Translating Defaults to Circumscription
Interaction of Control and Knowledge in a Structural Recognition System
Active Monte Carlo Recognition
Enhancing Animated Agents in an Instrumented Poker Game
Towards a Specification Language for Cooperation Methods
Towards Principles of Ontology
Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM
Generic Performance Metrics for Continuous Activity Recognition
ATN-Steuerung durch Kasusrahmen
Evaluation von Grammatiken für die Analyse natürlicher Sprache durch Generierung einer repräsentativen Satzmenge
Erweiterungen des Basic ATMS
External Analogy in Inductive Theorem Proving
Modellierung von Szenarien kooperierender Akteure
Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Data
AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit
Evolutionary Turbine Selection for Wind Power Predictions
What Observations Really Tell Us
On Defaults in Action Theories
Specifying Meta-Level Architectures for Rule-Based Systems
VARDA Rule Design and Visualization Tool-Chain
Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation
Case Retrieval in Ontology-Based CBR Systems
Recognizing 2D Image Structures by Automatically Adjusting Matching Parameters
Extracting Reasons for Moral Judgments Under Various Ethical Principles
Constructive Disjunction Revisited
Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework
Description Logic Programs: Normal Forms
Toward Simple and Robust Contrastive Explanations for Image Classification by Leveraging Instance Similarity and Concept Relevance
Dynamic Structuring of Lexical Knowledge in a Reusability Scenario
JSON Rules
What is Common Sense and How to Formalize it? (Condensed Slides)
An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure
Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, September 17, 2013
Reasonable Machines: A Research Manifesto
Uli-RL: A Real-World Deep Reinforcement Learning Pedagogical Agent for Children
The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles
Location-Based Activity Recognition
Model Based Augmentation and Testing of an Annotated Hand Pose Dataset
Modellierung epistemischer Propositionen
Improving the Cache-Efficiency of Shortest Path Search
Swarm Intelligence for Medical Volume Segmentation: The Contribution of Self-reproduction
Goals in Knowledge-Based Office Systems
LaFAM: Unsupervised Feature Attribution with Label-Free Activation Maps
Assessing the Strength of Structural Changes in Cooccurrence Graphs
Diagnostic Reasoning with a Working Memory
Diagnose und Simulation einer Hochtemperatur-Düsenfärbemaschine für Textilstränge mit Hilfe des modellbasierten Diagnose- und Simulationssystems ROSE
Extending Markov Logic to Model Probability Distributions in Relational Domains
A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty
Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI
Allocation in Practice
Terminological Representation, Natural Language & Relation Algebra
Generalized Clustering via Kernel Embeddings
On Constructing a Communicative Space in HRI
Architekturkonzepte zur Bildauswertung
Integrating Function Application in State-Based Planning
Case Retrieval Nets: Basic Ideas and Extensions
Leveraging YOLO for Real-Time Video Analysis of Animal Welfare in Pig Slaughtering Processes
Hybrid Knowledge Acquisition
Remarks on Consistency and Completeness of Circumscription
Leveraging Metadata Creation for the Semantic Web with CREAM
Towards More Explicit Interaction Modelling in Agent-Based Simulation Using Affordance Schemata
Selecting What Is Important: Training Visual Attention
Firefighter Virtual Reality Simulation for Personalized Stress Detection
Ein erster Blick auf POPEL - Wie wird was gesagt?
Learning to Cope with Critical Situations - an Agent based Approach
A Brief Systematization of Explanation-Aware Attacks
A Virtual Caregiver for Assisted Daily Living of Pre-frail Users
Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge
Two Views of Motion: On Representing Move Events in a Language-Vision System
Semantic Object Recognition with Segment Faces
A Hybrid Time Management Approach to Agent-Based Simulation
Parameter Evolution: A Design Pattern for Active Vision
Lifted Junction Tree Algorithm
Event Detection in Marine Time Series Data
Modeling Ontological Concepts of Motions with Two Projection-Based Spatial Models
A Two-Level Environment for Morphological Descriptions
Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach
Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen Systemen
Hybrid Control for Embodied Agents Applications
The Universal Medical Language System and the Gene Ontology: Some Critical Reflections
KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings
Collaborative Supply Net Management
Axiomatization of Finite Algebras
XAIRob - An Explainable-AI-Based Relative Robustness Measure for Object Detection
Qualitative Spatial Representation and Reasoning Techniques
Expressivity-Preserving Tempo Transformation for Music - A Case-Based Approach
Qualitative Reasoning under Uncertainty with Symbolic Probabilities
An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
Partially Observable Markov Decision Processes for Artificial Intelligence
Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithm
An Implementation of Nonmonotonic Reasoning with System W
KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
Ordinal Data Analysis
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
Planning with h + in Theory and Practice
On-Line Decision-Theoretic Golog for Unpredictable Domains
A Fast Elimination Method for Pruning in POMDPs
DFG Priority Program (SPP-1077) Socionics - Investigating and Modelling Artificial Societies
Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS
Concepts for a Diagnostic Critiquing System in Vague Domains
BehavE: Behaviour Understanding Through Automated Generation of Situation Models
COSAIR: A Platform for AI Education and Research in Computer Strategy Games
Inductive Inference in Finite Algebraic Structures
Event Extraction and Discourse Monitoring
DiKe - A Model-Based Diagnosis Kernel and Its Application
A Goodman-style Betweenness Relation on Orthoframes
A Note on Chances and Limitations of Psychometric AI
STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen
A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation
A Qualitative Model for Visibility Relations
Fusing DL Reasoning with HTN Planning
A Logical Approach to Data-Driven Classification
Perception and Developmental Learning of Affordances in Autonomous Robots
Higher-order Concepts in a Tractable Knowledge Representation
Pushing the Limit in Visual Data Exploration: Techniques and Applications
Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key
Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings
Automated Reasoning Tools for Molecular Biology
Tutors, Instructions and Helps
Goal-Driven Similarity Assessment
From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing
A Multi-Agent Based Framework for Controlling Self Managing Fleets of Autonomous Vehicles with a Transparent Reasoning Process
Computing Probabilistic Least Common Subsumers in Description Logics
A Stochastic Local Search Approach to Vertex Cover
Unsupervised Text Annotation
A Serendipity Model for News Recommendation