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

• A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed  + (Acta Anatomica)

• Self-Regulating Finite Automata  + (Acta Cybernetica)
• Cooperating Distributed Grammar Systems with Random Context Grammars as Components  + (Acta Cybernetica)
• On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops  + (Acta Cybernetica)
• Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars  + (Acta Cybernetica)
• The Connection between an Event Structure Semantics and an Operational Semantics for TCSP  + (Acta Informatica)
• Metric Semantics from Partial Order Semantics  + (Acta Informatica)
• Stochastic Game Logic  + (Acta Informatica)
• On the probabilistic bisimulation spectrum with silent moves  + (Acta Informatica)
• Compositional Construction of Most General Controllers  + (Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2)
• Using Automata Theory for Characterizing the Semantics of Terminological Cycles  + (Annals of Mathematics and Artificial Intelligence)
• Fast algorithms for implication bases and attribute exploration using proper premises  + (Annals of Mathematics and Artificial Intelligence)
• Computing Change and Specificity with Equational Logic Programs  + (Annals of Mathematics and Artificial Intelligence)
• Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach  + (Applied Artificial Intelligence)
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems  + (Applied Intelligence)
• Approximating the Semantics of Logic Programs by Recurrent Neural Networks  + (Applied Intelligence)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Applied Intelligence)
• Answer-set programming encodings for argumentation frameworks  + (Argument & Computation)
• Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas  + (Argument & Computation)
• Investigating subclasses of abstract dialectical frameworks  + (Argument & Computation)
• (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ  + (Artificial Intelligence)
• Cardinality Restrictions on Concepts  + (Artificial Intelligence)
• Combining Interval-based Temporal Reasoning with General TBoxes  + (Artificial Intelligence)
• E-Connections of Abstract Description Systems  + (Artificial Intelligence)
• Foundations of instance level updates in expressive description logics  + (Artificial Intelligence)
• The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions  + (Artificial Intelligence)
• Design and results of the second international competition on computational models of argumentation  + (Artificial Intelligence)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (Artificial Intelligence)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (Artificial Intelligence)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (Artificial Intelligence)
• On rejected arguments and implicit conflicts: The hidden power of argumentation semantics  + (Artificial Intelligence)
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms  + (Artificial Intelligence)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (Artificial Intelligence Journal)