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
- 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)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics + (Information and Computation)
- Comparative branching-time semantics for Markov chains + (Information and Computation)
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (Information and Computation)
- Deciding the Word Problem in the Union of Equational Theories + (Information and Computation)
- Linear context-free tree languages and inverse homomorphisms + (Information and Computation)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms + (Information and Computation)
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation + (Information and Computation)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination + (Information and Computation)
- Quantitative Temporal Logics: PSpace and below + (Information and Computation)
- Simulating perfect channels with probabilistic lossy channels + (Information and Computation)
- The Complexity of Finite Model Reasoning in Description Logics + (Information and Computation)
- Weighted automata with storage + (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)