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
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals + (65-79)
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models + (65-80)
- Coordination control of discrete-event systems revisited + (65-94)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (651--666)
- Synthesis of Reo circuits from scenario-based interaction specifications + (651--680)
- Runtime Characterisation of Triple Stores + (66-73)
- Description Logics and the Two-Variable Fragment + (66-75)
- Domain equations for probabilistic processes + (665--717)
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (666-671)
- Keys, Nominals, and Concrete Domains + (667-726)
- How to Prefer More Specific Defaults in Terminological Default Logic + (669-674)
- NExpTime-complete Description Logics with Concrete Domains + (669-705)
- The Bayesian Ontology Language BEL + (67--95)
- Incremental Fuzzy Decision Trees + (67-81)
- A Terminological Knowledge Representation System with Complete Inference Algorithms + (67-85)
- Disjunction in Resource-Oriented Deductive Planning + (670)
- LATPub527 + (670-688)
- Ontology-Based Monitoring of Dynamic Systems + (678-681)
- Piecewise Testable Languages and Nondeterministic Automata + (67:1--67:14)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (68-104)
- Riss 4.27 BlackBox + (68-69)
- Descriptional complexity of multi-parallel grammars + (68-70)
- Towards a Massively Parallel Computational Model for Logic Programming. + (68-77)
- Line Drawing, Leap Years, and Euclid + (68-80)
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (68-80)
- DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts + (681-699)
- Symbolic model checking for channel-based component connectors + (688--701)
- Foundations of Implementations for Formal Argumentation + (688-767)
- Compact Argumentation Frameworks + (69--74)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) + (69--92)
- A Rule-Based Language for Ordered Multidimensional Databases + (69-81)
- A Multi-Dimensional Terminological Knowledge Representation Language + (690-695)
- A computational logic approach to the belief bias in human syllogistic reasoning + (691--707)
- Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (695-708)
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence + (7-20)
- FABEL + (70-76)
- Fuzzy Ontologies over Lattices with T-norms + (70-80)
- Unification in the Description Logic EL without the Top Concept + (70-84)
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies + (70-85)
- Model Checking Action- and State-Labelled Markov Chains + (701--710)
- Metric Semantics from Partial Order Semantics + (701--735)
- Unification in Modal and Description Logics + (705-730)
- Certain Answers in a Rough World + (709-712)
- On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints + (71--79)
- Gödel FL_0 with Greatest Fixed-Point Semantics + (71-82)
- Roughening the EL Envelope + (71-86)
- More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation + (71-90)
- Walking the Complexity Lines for Generalized Guarded Existential Rules + (712-717)
- Temporal Query Entailment in the Description Logic SHQ + (71–93)
- Reasoning About Structured Objects: Knowledge Representation Meets Databases + (73-76)
