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
- A Description Logic with Concrete Domains and Role-forming Predicates +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- A Hardware/Software Stack for Heterogeneous Systems +
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
- A general first-order solution to the ramification problem with cycles +
- Argumentation and Logic Programming (Revised Selected Papers of ArgLP 2015) +
- Cognitive Argumentation for Human Syllogistic Reasoning +
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements +
- Computing Intensional Answers to Questions - An Inductive Logic Programming Approach +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Denotational Linear Time Semantics and Sequential Composition +
- Display to Labeled Proofs and Back Again for Tense Logics +
- Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations +
- Expressive Number Restrictions in Description Logics +
- FABEL +
- How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- LTL over Description Logic Axioms +
- Logic Programs and Connectionist Networks +
- Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks +
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability +
- Matching in Description Logics +
- Model Checking for a Probabilistic Branching Time Logic with Fairness +
- On Topological Hierarchies of Temporal Properties +
- Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications +
- Practical Reasoning for Very Expressive Description Logics +
- Probabilistic weak simulation is decidable in polynomial time +
- SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT +
- Shortipedia: Aggregating and Curating Semantic Web Data +
- Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction +
- The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers +
- Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases +
- Unification in the Description Logic EL +
- Unification of Concepts Terms in Description Logics +
- Unique Supported-Model Classes of Logic Programs +
