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

• Linear context-free tree languages and inverse homomorphisms  + (Information and Computation)
• Comparative branching-time semantics for Markov chains  + (Information and Computation)
• Simulating perfect channels with probabilistic lossy channels  + (Information and Computation)
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination  + (Information and Computation)
• Automata Can Show PSPACE Results for Description Logics  + (Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07))
• Probabilistic Causes in Markov Chains  + (Innovations in Systems and Software Engineering)
• From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata  + (Innovations in Systems and Software Engineering)
• The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers  + (International Journal of Advanced Computational Intelligence and Intelligent Informatics)
• Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities  + (International Journal of Approximate Reasoning)
• Consistency Reasoning in Lattice-Based Fuzzy Description Logics  + (International Journal of Approximate Reasoning)
• Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics  + (International Journal of Approximate Reasoning)
• An Extension-Based Approach to Belief Revision in Abstract Argumentation  + (International Journal of Approximate Reasoning)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (International Journal of Approximate Reasoning)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (International Journal of Approximate Reasoning)
• Distributed computation of supremal conditionally-controllable sublanguages  + (International Journal of Control)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (International Journal of Foundations of Computer Science)
• Complexity in Union-Free Regular Languages  + (International Journal of Foundations of Computer Science)
• On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components  + (International Journal of Foundations of Computer Science)
• Smoke Test Planning using Answer Set Programming  + (International Journal of Interactive Multimedia and Artificial Intelligence)
• SNOMED reaching its adolescence: Ontologists' and logicians' health check  + (International Journal of Medical Informatics)
• Probabilistic Aspects of Score Systems  + (International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS))
• A uniform framework for weighted decision diagrams and its implementation  + (International Journal on Software Tools for Technology Transfer)
• Some advances in tools and algorithms for the construction and analysis of systems  + (International Journal on Software Tools for Technology Transfer)
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata  + (International Journal on Software Tools for Technology Transfer (STTT))
• Configuration of Inter-Process Communication with Probabilistic Model Checking  + (International Journal on Software Tools for Technology Transfer (STTT))

• A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report  + (Italian Association for Artificial Intelligence AI*IA Notizie)

• Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases  + (J. ACM)
• Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning  + (J. Applicable Algebra in Engineering, Communication and Computing)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (J. Applied Non-Classical Logics)
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (J. Artif. Intell. Res. (JAIR))
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (J. Autom. Reasoning)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (J. Automated Reasoning)
• Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic  + (J. Automated Reasoning)
• Embedding Defaults into Terminological Representation Systems  + (J. Automated Reasoning)
• A rule-based ontological framework for the classification of molecules  + (J. Biomedical Semantics)
• Unification in Commutative Theories  + (J. Symbolic Computation)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (J. Symbolic Computation)
• Unification of Concepts Terms in Description Logics  + (J. Symbolic Computation)
• Unification in Commutative Idempotent Monoids  + (J. Theoretical Computer Science)
• Shortipedia: Aggregating and Curating Semantic Web Data  + (J. Web Sem.)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages  + (J. of Logic and Computation)
• Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems  + (JPL)
• Second-order Confidence in Supervaluationism  + (Journal for General Philosophy of Science)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (Journal of Ambient Intelligence and Smart Environments)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (Journal of Applied Logic)
• Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited  + (Journal of Applied Logic)
• Similarity-based Relaxed Instance Queries  + (Journal of Applied Logic)
• A general first-order solution to the ramification problem with cycles  + (Journal of Applied Logic)
• Logic Programs and Connectionist Networks  + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
• Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks  + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
• The Weak Completion Semantics and Counterexamples  + (Journal of Applied Logics - IfCoLog)