Search by property
From International Center for Computational Logic
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
- 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 +
