Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (BaaderSertkayaTurhanDL04.pdf)
• Unification Theory  + (BaaderSnyderHandbook.ps.gz)
• Combining Decision Procedures for Positive Theories Sharing Constructors  + (BaaderTinelliRTA02.ps.gz)
• The Inverse Method Implements the Automata Approach for Modal Satisfiability  + (BaaderTobies-IJCAR.ps.gz)
• The Inverse Method Implements the Automata Approach for Modal Satisfiability  + (BaaderTobies-LTCS-01-03.ps.gz)
• TBoxes do not yield a compact representation of least common subsumers  + (BaaderTurhan-DL.ps.gz)
• On the problem of computing small representations of least common subsumers  + (BaaderTurhan-KI02.ps.gz)
• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (BaaderWG04.pdf)
• Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs  + (Bach knorr.pdf)
• Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.  + (Bachelor mayer-eichberger.pdf)
• Human reasoning and abduction  + (Bachelor tobias.pdf)
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence  + (Bader:04:02.pdf)
• Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —  + (Bader:04:wv05.pdf)
• Computing First-Order Logic Programs by Fibring Artificial Neural Networks  + (Bader:05:01.pdf)
• Dimensions of neural-symbolic integration — a structured survey  + (Bader:05:03.pdf)
• Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach  + (Bader:05:04.pdf)
• The Core Method: Connectionist Model Generation  + (Bader:06:01.pdf)
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence  + (Bader:06:02.pdf)
• A Fully Connectionist Model Generator for Covered First-Order Logic Programs  + (Bader:07:01.pdf)
• Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach  + (Bader:07:02.pdf)
• Approximate Computation of Exact Association Rules  + (Bansal2021approximate.pdf)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (Bednarczyk-FSTTCS2021.pdf)
• Genetische Algorithmen und SAT-Probleme  + (Beleg axel.ps.gz)
• Real-Time Structure from Motion Using Kalman Filtering  + (Beleg bohg.pdf)
• Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme  + (Beleg helko.ps.gz)

• Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen  + (Beleg joerg.ps.gz)

• Indirekte Gewichtskorrekturverfahren für Neuronale Netze  + (Beleg lars.ps.gz)
• Extracting Logic Programs from Artificial Neural Networks  + (Beleg lehmann.pdf)
• Memory Hierarchy Utilization of a SAT Solver  + (Beleg manthey.pdf)
• Position estimation of a mobile robot using a single vehicle-mounted camera  + (Beleg pietzsch.pdf)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (Beleg saalfeld.pdf)
• A revised evaluation framework for region of interest detectors using artificial 3d-scenes  + (Beleg saalfeld.pdf)
• Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung  + (Beleg spallek.pdf)
• Konstruktion eines massiv parallelen Planers auf der Grundlage von AC  + (Beleg torsten.ps.gz)
• Towards a unified view of the hierarchy of logic program classes  + (Beleg wendt.ps.gz)
• Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach  + (Beleg witzel.pdf)
• Kamerabasierte personenortung  + (Beleg zitzmann.pdf)
• Science of Computational Logic  + (Berlin.pdf)
• Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition  + (BiRD.pdf)
• Prime Implicate Normal Form for ALC Concepts  + (BienvenuAAAI08.pdf)
• Complexity of Abduction in the EL Family of Lightweight Description Logics  + (BienvenuKR08.pdf)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (Bischof-Kroetzsch-Polleres-Rudolph Schema-Agnostic-Query-Rewriting ISWC-2014-TR.pdf)
• Blackhole Pushdown Automata  + (Blackhole Pushdown Automata.pdf)
• Blackhole State-Controlled Regulated Pushdown Automata  + (Blackhole State-Controlled Regulated Pushdown Automata.pdf)
• Formale Systeme  + (Blatt--10.pdf)
• Formale Systeme  + (Blatt--7.pdf)
• Formale Systeme  + (Blatt-01.pdf)
• Formale Systeme  + (Blatt-02.pdf)
• Formale Systeme  + (Blatt-03.pdf)
• Formale Systeme  + (Blatt-04.pdf)
• Formale Systeme  + (Blatt-05.pdf)