Suche mittels Attribut
Aus International Center for Computational Logic
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
- Blackhole Pushdown Automata + (Fundamenta Informaticae)
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (Fundamenta Informaticae)
- Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (Fundamenta Informaticae)
- On Descriptional Complexity of Partially Parallel Grammars + (Fundamenta Informaticae)
- Automata-Theoretic Decision Procedures for Information Logics + (Fundamenta Informaticae)
- From Tableaux to Automata for Description Logics + (Fundamenta Informaticae)
- On Language Equations with One-sided Concatenation + (Fundamenta Informaticae)
- How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages + (Fundamenta Informaticae)
- On Topological Hierarchies of Temporal Properties + (Fundamenta Informaticae)
- Synthesis of Reo Connectors for Strategies and Controllers + (Fundamenta Informaticae)
- Neural Machine Translating from Natural Language to SPARQL + (Future Generation Computer Systems)
- Reasoning in fuzzy description logics using automata + (Fuzzy Sets and Systems)
- Quantitative Characterization of Reconfigurable Transistor Logic Gates + (IEEE Access)
- Description Logics + (IEEE Intelligent Systems)
- Complexity of Infimal Observable Superlanguages + (IEEE Transactions on Automatic Control)
- Complexity of Verifying Nonblockingness in Modular Supervisory Control + (IEEE Transactions on Automatic Control)
- Scale-Out Processing of Large RDF Datasets + (IEEE Transactions on Big Data)
- Efficient Skew Handling for Outer Joins in a Cloud Computing Environment + (IEEE Transactions on Cloud Computing)
- Managing Structured and Semistructured RDF Data Using Structure Indexes + (IEEE Transactions on Knowledge and Data Engineering)
- A Hardware/Software Stack for Heterogeneous Systems + (IEEE Transactions on Multi-Scale Computing Systems)
- Fast Compression of Large Semantic Web Data using X10 + (IEEE Transactions on Parallel and Distributed Systems)
- Model-Checking Algorithms for Continuous-Time Markov Chains + (IEEE Transactions on Software Engineering)
- Model Checking Markov Chains with Actions and State Labels + (IEEE Transactions on Software Engineering)
- Abstract Dialectical Frameworks. An Overview + (IfCoLog Journal of Logics and their Applications)
- jcel: A Modular Rule-based Reasoner + (In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012))
- DNA-Computing - ein funktionales Modell im laborpraktischen Experiment + (Informatik Forschung und Entwicklung)
- Die Beweisentwicklungsumgebung Omega-MKRP + (Informatik – Forschung und Entwicklung)
- Deduktion: von der Theorie zur Anwendung + (Informatik-Spektrum)
- What's new in Description Logics + (Informatik-Spektrum)
- Unique Supported-Model Classes of Logic Programs + (Information)
- A Note on Unification Type Zero + (Information Processing Letters)
- A note on the attractor-property of infinite-state Markov chains + (Information Processing Letters)
- Denotational Linear Time Semantics and Sequential Composition + (Information Processing Letters)
- Descriptional complexity of multi-parallel grammars + (Information Processing Letters)
- Descriptional complexity of semi-conditional grammars + (Information Processing Letters)
- Model Checking Probabilistic Systems Against Pushdown Specifications + (Information Processing Letters)
- On the Complexity of Boolean Unification + (Information Processing Letters)
- On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints + (Information Processing Letters)
- Probabilistic weak simulation is decidable in polynomial time + (Information Processing Letters)
- Statistical EL is ExpTime-complete + (Information Processing Letters)
- Concept lattices with negative information: A characterization theorem + (Information Sciences)
- RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog + (Information Sciences)
- Description Logics with Aggregates and Concrete Domains + (Information Systems)
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation + (Information and Computation)
- Deciding the Word Problem in the Union of Equational Theories + (Information and Computation)
- The Complexity of Finite Model Reasoning in Description Logics + (Information and Computation)
- Quantitative Temporal Logics: PSpace and below + (Information and Computation)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics + (Information and Computation)
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (Information and Computation)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms + (Information and Computation)
- Weighted automata with storage + (Information and Computation)
- 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)
