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
- 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)
- Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog + (Logical Methods in Computer Science)
- Modal Logics of Topological Relations + (Logical Methods in Computer Science)
- Unification in the Description Logic EL + (Logical Methods in Computer Science)
- Partially Ordered Automata and Piecewise Testability + (Logical Methods in Computer Science)
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? + (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)
- About the Expressive Power and Complexity of Order-Invariance with Two Variables + (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)
- Symbolic model checking for channel-based component connectors + (Science of Computer Programming)
- Alternating-time stream logic for multi-agent systems + (Science of Computer Programming)
- Synthesis of Reo circuits from scenario-based interaction specifications + (Science of Computer Programming)
- Order matters! Harnessing a world of orderings for reasoning over massive data + (Semantic Web)
- Stream reasoning and complex event processing in ETALIS + (Semantic Web)
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (Semantic Web)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (Semantic Web)
