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 Brief Introduction to Formal Concept Analysis +
- A Description Logic Primer +
- A First Order System with Finite Choice of Premises +
- A Lexico-Logical Approach to Ontology Engineering +
- A Recursive Neural Network for Reflexive Reasoning +
- A Theory of Hypothesis Finding in Clausal Logic +
- A cross-lingual correcting and completive method for multilingual ontology labels +
- Abstract Dialectical Frameworks +
- Advances in Artificial Intelligence +
- Automated Deduction - A Basis for Applications +
- BCU Mathematics Contest 2001 — Problems and Solutions +
- BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) +
- Basic Description Logics +
- Benchmark libraries for argumentation +
- Business lexicography +
- Combining Constraint Solving +
- Complex Plans in the Fluent Calculus +
- Computing extensions of terminological default theories +
- Computing in Civil Engineering +
- Coordination Control of Distributed Discrete-Event Systems +
- Coordination Control of Distributed Discrete-Event Systems +
- Description Logic +
- Description Logic Terminology +
- Description Logics +
- Description Logics +
- Description Logics +
- Description Logics as Ontology Languages for the Semantic Web +
- Die Zukunft der Wikis: Semantic Web +
- Die zwei Kulturen +
- Dimensions of neural-symbolic integration — a structured survey +
- ETALIS: Rule-Based Reasoning in Event Processing +
- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination +
- Extending Description Logics to Vague Knowledge in Medicine +
- Extensions to Description Logics +
- FABEL +
- Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes +
- Foundations of Description Logics +
- Foundations of Implementations for Formal Argumentation +
- Guiding Backprob by Inserting Rules +
- Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación +
- Humans Reason Skeptically +
- Hybrid Neural Systems +
- Intellectics and Computational Logic +
- KI-96: Abvances in Artificial Intelligence +
- KI-96: Lecture Notes in Artificial Intelligence +
- Kontraktionssätze auf verallgemeinerten metrischen Räumen +
- Languages, Decidability, and Complexity +
- Model Checking Probabilistic Systems +
- Model checking linear-time properties of probabilistic systems +
- Multidimensional Data Models and Aggregation +
