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
- 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)
- Attributed Description Logics: Ontologies for Knowledge Graphs + (10587)
- Tractable Query Answering for Expressive Ontologies and Existential Rules + (10587)
- Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013 + (1059)
- Deciding Universality of ptNFAs is PSpace-Complete + (10706)
- Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017 + (10775)
- Descriptional complexity of multi-parallel grammars + (108)
- Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings + (10803)
- Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs + (1081)
- Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings + (10854)
- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination + (10865)
- Efficient Model Construction for Horn Logic with VLog + (10900)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (10997)
- Die Beweisentwicklungsumgebung Omega-MKRP + (11)
- PSPACE Reasoning for Graded Modal Logics + (11)
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks + (11)
- Probabilistic Aspects of Score Systems + (11)
- Two Restrictions on Contraction + (11)
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) + (11)
- Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements + (11)
- Investigating subclasses of abstract dialectical frameworks + (11)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (11)
- A general first-order solution to the ramification problem with cycles + (11)
- Model Checking for a Probabilistic Branching Time Logic with Fairness + (11)
- Probabilistic Models for Reo Connector Circuits + (11)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (110)
- A Categorical Characterization of Consistency Results + (1101)
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation + (1102)
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (11092)
