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 New Equational Foundation for the Fluent Calculus  + (733-745)
• ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming  + (734-738)
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies  + (741-808)
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit  + (743-754)
• Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams  + (747-761)
• Modeling component connectors in Reo by constraint automata  + (75--113)
• Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability  + (75-105)
• Convergence Classes and Spaces of Partial Functions  + (75-115)
• Relative Observability in Coordination Control  + (75-80)
• Model Checking for Performability  + (751--795)
• Fuzzy Answer Sets Approximations  + (753-767)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (754-761)
• Description Logic  + (757-820)
• Performance evaluation and model checking join forces  + (76--85)
• Quantitative Analysis of Communication Scenarios  + (76--92)
• An Ontology Design Pattern for Cartographic Map Scaling  + (76--93)
• Foundations of Description Logics  + (76-136)
• The Hybrid mu-Calculus  + (76-91)
• ATL is Indeed ExpTime-complete  + (765-787)
• Description Logics over Lattices with Multi-valued Ontologies  + (768-773)
• Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules  + (769-773)
• SparrowToRiss  + (77)
• Summary Report of the Second International Competition on Computational Models of Argumentation  + (77-79)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (77-91)
• A Novel Architecture for Situation Awareness Systems  + (77-92)

• Winning Snake: Design Choices in Multi-Shot ASP  + (772-789)

• Neuro-Symbolic Word Tagging  + (779-790)
• An Ontology Design Pattern for Activity Reasoning  + (78--81)
• Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance  + (78--93)
• Wikidata: a free collaborative knowledgebase  + (78-85)
• On the Logical Characterisation of Performability Properties  + (780--792)
• Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars  + (783-793)
• Positive Subsumption in Fuzzy EL with General t-norms  + (789-795)
• Die Zukunft der Wikis: Semantic Web  + (789-810)
• On conditionals  + (79--92)
• Kontraktionssätze auf verallgemeinerten metrischen Räumen  + (79-88)
• On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.  + (79-93)
• Humans Reason Skeptically  + (797--832)
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking  + (7:1--7:18)
• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.  + (7:1–7:31)
• KRIS: Knowledge Representation and Inference System, System Description  + (8-14)
• The Bayesian Ontology reasoner is BORN!  + (8-14)
• Logik-basierte Wissensrepräsentation  + (8-16)
• On the complexity of entailment in existential conjunctive first-order logic with atomic negation  + (8-31)
• Description Logic Rules  + (80--84)
• Instance-based Non-standard Inferences in EL with Subjective Probabilities  + (80-98)
• LIFT-UP: Lifted First-Order Planning Under Uncertainty  + (80-99)
• Abstract Dialectical Frameworks Revisited  + (803--809)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (803-819)
• KEIM: A Toolkit for Automated Deduction  + (807-810)
• Terminological Logics with Modal Operators  + (808-814)