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
- Temporal Query Answering in DL-Lite + (1014)
- SROIQ Syntax Approximation by Using Nominal Schemas + (1014)
- Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code + (102)
- Maximizing the Conditional Expected Reward for Reaching the Goal + (10206)
- Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (10249)
- A computational logic approach to the belief bias in human syllogistic reasoning + (10257)
- dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base + (10351)
- Contextual reasoning: Usually birds can abductively fly + (10377)
- A Medvedev Characterization of Recognizable Tree Series + (10396)
- Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (104)
- Descriptional complexity of semi-conditional grammars + (104)
- Reasoning About Actions: Steady Versus Stabilizing State Constraints + (104)
- Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (10423)
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes + (10426)
- Towards Automated Variant Selection for Heterogeneous Tiled Architectures + (10460)
- Computing Conditional Probabilities: Implementation and Evaluation + (10469)
- Synthesis of Optimal Resilient Control Strategies + (10482)
- Metric Temporal Description Logics with Interval-Rigid Names + (10483)
- The Boolean Solution Problem from the Perspective of Predicate Logic + (10483)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (10500)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms + (10503)
- Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013 + (1058)
- Attributed Description Logics: Ontologies for Knowledge Graphs + (10587)
- Tractable Query Answering for Expressive Ontologies and Existential Rules + (10587)
- Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013 + (1059)
- Deciding Universality of ptNFAs is PSpace-Complete + (10706)
- Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017 + (10775)
- Descriptional complexity of multi-parallel grammars + (108)
- Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings + (10803)
- Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs + (1081)
- Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings + (10854)
- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination + (10865)
- Efficient Model Construction for Horn Logic with VLog + (10900)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (10997)
- Die Beweisentwicklungsumgebung Omega-MKRP + (11)
- PSPACE Reasoning for Graded Modal Logics + (11)
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks + (11)
- Probabilistic Aspects of Score Systems + (11)
- Two Restrictions on Contraction + (11)
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) + (11)
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (11)
- Investigating subclasses of abstract dialectical frameworks + (11)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (11)
- A general first-order solution to the ramification problem with cycles + (11)
- Model Checking for a Probabilistic Branching Time Logic with Fairness + (11)
- Probabilistic Models for Reo Connector Circuits + (11)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (110)
- A Categorical Characterization of Consistency Results + (1101)
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation + (1102)
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (11092)
