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
- From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (Formal Methods in System Design)
- Hybride Wissensorganisation mittels Objektstrukturen + (Fortschritte in der Künstlichen Intelligenz (KI 96), Dresden University Press)
- ??? + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)
- Parallele Lokale Suchverfahren + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)
- Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme + (Fortschritte in der Künstlichen Intelligenz, Dresden University Press)
- A categorical view on algebraic lattices in formal concept analysis + (Fundamenta Informaticae)
- 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)
- Descriptional complexity of semi-conditional grammars + (Information Processing Letters)
- Descriptional complexity of multi-parallel grammars + (Information Processing Letters)
- A Note on Unification Type Zero + (Information Processing Letters)
- On the Complexity of Boolean Unification + (Information Processing Letters)
- Statistical EL is ExpTime-complete + (Information Processing Letters)
- Denotational Linear Time Semantics and Sequential Composition + (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)
- A note on the attractor-property of infinite-state Markov chains + (Information Processing Letters)
- Model Checking Probabilistic Systems Against Pushdown Specifications + (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)
