Search by property

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 Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report  + (1)
• A Method of Estimating Oriented Surface Elements from Stereo Images  + (1)
• Answer-set programming encodings for argumentation frameworks  + (1)
• Dimensions of neural-symbolic integration — a structured survey  + (1)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (1)
• Medizinische Aus- und Weiterbildung: Mit dem Computer lernen  + (1)
• Scale-Out Processing of Large RDF Datasets  + (1)
• The Subsumption Problem in the Fuzzy Description Logic ALC_FH  + (1)

• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (10)
• Reasoning About Structured Objects: Knowledge Representation Meets Databases  + (10)
• PSpace Reasoning with the Description Logic ALCF(D)  + (10)
• FABEL  + (10)
• The Weak Completion Semantics and Counterexamples  + (10)
• Domain equations for probabilistic processes  + (10)
• A uniform framework for weighted decision diagrams and its implementation  + (10)
• Stochastic Timed Automata  + (10)
• The 10, 000 Facets of MDP Model Checking  + (10000)
• Inconsistency management in reactive multi-context systems  + (10021)
• The Concept Difference for EL-Terminologies using Hypergraphs  + (1008)
• SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings  + (10139)
• Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201  + (1014)
• Rough EL Classification  + (1014)
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes  + (1014)
• LATPub527  + (1014)
• About Subsumption in Fuzzy EL  + (1014)
• Hybrid EL-Unification is NP-Complete  + (1014)
• Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals  + (1014)
• 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)