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
- Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies + (Journal of Web Semantics)
- Temporalizing Rewritable Query Languages over Knowledge Bases + (Journal of Web Semantics)
- Temporal Query Entailment in the Description Logic SHQ + (Journal of Web Semantics)
- Probabilistic $ømega$-Automata + (Journal of the ACM)
- Representing Concurrent Action and Solving Conflicts + (Journal of the IGPL)
- The Complexity of Lattice-Based Fuzzy Description Logics + (Journal on Data Semantics)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (Journal on Data Semantics)
- Terminologische Logiken + (KI)
- Logik-basierte Wissensrepräsentation + (KI)
- FABEL + (KI)
- Is Your Database System a Semantic Web Reasoner? + (KI)
- Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract) + (KI)
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (KI)
- Cognitive Argumentation for Human Syllogistic Reasoning + (KI)
- Reasoner = Logical Calculus + Rule Engine + (KI)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (KI - Künstliche Intelligenz)
- Advanced Solving Technology for Dynamic and Reactive Applications + (KI - Künstliche Intelligenz)
- Description Logics for the Semantic Web + (KI – Künstliche Intelligenz)
- Small is again Beautiful in Description Logics + (KI – Künstliche Intelligenz)
- The Basics of Display Calculi + (Kriterion -- Journal of Philosophy)
- Decidability and Complexity of Fuzzy Description Logics + (Künstliche Intelligenz)
- SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT + (Künstliche Intelligenz)
- In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning + (Künstliche Intelligenz)
- Probabilistic Aspects of Score Systems + (Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841)
- Wissen als Code: Die Welt der Wissensgraphen und Ontologien + (Linux-Magazin)
- Practical Reasoning for Very Expressive Description Logics + (Logic Journal of the IGPL)
- PSpace Reasoning with the Description Logic ALCF(D) + (Logic Journal of the IGPL)
- Unification in Modal and Description Logics + (Logic Journal of the IGPL)
- Two Restrictions on Contraction + (Logic Journal of the IGPL)
- About the Expressive Power and Complexity of Order-Invariance with Two Variables + (Logical Methods in Computer Science)
- Decidability of Querying First-Order Theories via Countermodels of Finite Width + (Logical Methods in Computer Science)
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. + (Logical Methods in Computer Science)
- Foundations of probability-raising causality in Markov decision processes + (Logical Methods in Computer Science)
- Modal Logics of Topological Relations + (Logical Methods in Computer Science)
- Partially Ordered Automata and Piecewise Testability + (Logical Methods in Computer Science)
- Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog + (Logical Methods in Computer Science)
- Unification in the Description Logic EL + (Logical Methods in Computer Science)
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? + (Logical Methods in Computer Science)
- Stochastic Timed Automata + (Logical Methods in Computer Science (LMCS))
- Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification + (Logical Methods of Computer Science)
- A Modified Supervaluationist Framework for Decision-Making + (Logos & Episteme)
- Domain equations for probabilistic processes + (Mathematical Structures in Computer Science)
- Model Checking for Performability + (Mathematical Structures in Computer Science)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (Natural Language Engineering)
- Connectionist Model Generation: A First-Order Approach + (Neurocomputing)
- Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor + (Notre Dame Journal of Formal Logic)
- Decision making improves sperm chemotaxis in the presence of noise + (PLOS Computational Biology)
- Chase Termination Beyond Polynomial Time + (Proc. ACM Manag. Data)
- Restricted Chase Termination: You Want More than Fairness + (Proc. ACM Manag. Data)
- Responsibility Attribution in Parameterized Markovian Models + (Proceedings of the AAAI Conference on Artificial Intelligence)
- On context-free rewriting with a simple restriction and its computational completeness + (RAIRO - Theoretical Informatics and Applications)
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) + (Revista Nebrija)
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids + (Robotics and Autonomous Systems)
- Distributed Splicing of RE with 6 Test Tubes + (Romanian Journal of Information Science and Technology)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (SIGAPP Appl. Comput. Rev.)
- ProbMela and verification of Markov decision processes + (SIGMETRICS Performance Evaluation Review)
- Model checking meets performance evaluation + (SIGMETRICS Performance Evaluation Review)
- ProbMeLa and Verification of Markov Decision Processes + (SIGMETRICS Performance Evaluation Review)
- Modeling component connectors in Reo by constraint automata + (Science of Computer Programming)
