Search by property

From International Center for Computational Logic

Jump to:navigation, search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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)
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)

Retrieved from "https://iccl.inf.tu-dresden.de/web/Spezial:Suche_mittels_Attribut/:Journal/International-20Journal-20of-20Foundations-20of-20Computer-20Science/en"