Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
- 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)
