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
- Tractable Query Answering for Expressive Ontologies and Existential Rules + (10587)
- Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013 + (1059)
- From Display to Labelled Proofs for Tense Logics + (10703)
- 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)
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation + (1102)
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (11092)
- Faceted Answer-Set Navigation + (11092)
- Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (11137)
- The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events + (11155)
- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance + (11178)
- Blackhole Pushdown Automata + (112)
- EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface + (112)
- EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface + (112)
- Model Checking Probabilistic Systems Against Pushdown Specifications + (112)
- Advances in Artificial Intelligence + (1137)
- Rational Models of Normal Logic Programs + (1137)
- KI-96: Lecture Notes in Artificial Intelligence + (1137)
- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights + (11425)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) + (11429)
- Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, YSIP + (1145)
- On the Complexity of Graded Modal Logics with Converse. + (11468)
- Cut-Free Calculi and Relational Semantics for Temporal STIT Logics + (11468)
- Discovering Implicational Knowledge in Wikidata + (11511)
- Too Much Information: Can AI Cope With Modern Knowledge Graphs? + (11511)
- Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando + (11560)
- Temporally Attributed Description Logics + (11560)
- SPARQL Queries over Ontologies Under the Fixed-Domain Semantics + (11670)
- Neural Machine Translating from Natural Language to SPARQL + (117)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (11715)
