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
- Ongoing Research in the NAVAS Project + (Dominik Rusovac)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Dominik Rusovac)
- Answer Set Navigation alongside Quantitative Reasoning + (Dominik Rusovac)
- Notation3 Logic: From informal to formal semantics + (Dörthe Arndt)
- Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration + (Dörthe Arndt)
- Notation3 as an Existential Rule Language + (Dörthe Arndt)
- Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg + (Elisa Böhl)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Elisa Böhl)
- Representative Answer Sets: Collecting Something of Everything + (Elisa Böhl)
- Winning Snake: Design Choices in Multi-Shot ASP + (Elisa Böhl)
- Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium + (Emma Reyner-Fuentes)
- Enterprise Management in the Presence of Data + (Evellin Cardoso)
- On the Complexity of Synthesis of nop-Free Boolean Petri Nets + (Evgeny Erofeev)
- A diamond in the rough: Theorizing column stores + (Eyal Rozenberg)
- Epistemic Answer Set Programming + (Ezgi Iraz Su)
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics + (Faiq Miftakhul Falakh)
- Enabling Fine-grained RDF Data Completeness Assessment + (Fariz Darari)
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements + (Fariz Darari)
- Managing and Consuming Completeness Information for RDF Data Sources + (Fariz Darari)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (Filippo De Bortoli)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (Filippo De Bortoli)
- Modeling Concept Learning Problems with Second-Order Description Logics + (Francesca Alessandra Lisi)
- Learning in Fuzzy Description Logics + (Francesca Alessandra Lisi)
- NextClosures: Parallel Computation of the Canonical Base + (Francesco Kriegel)
- The Relevance of Formal Logics for Cognitive Logics, and Vice Versa + (Gabriele Kern-Isberner)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Georg Wild)
- ASYDE: An Argumentation-based System for classifYing Driving bEhaviors + (Giuseppina Monterosso)
- Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning + (Hannes Straß)
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics + (Hannes Straß)
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 + (Hannes Straß)
- Strong Equivalence in Non-monotonic Reasoning + (Hannes Straß)
- Quine's Fluted Fragment + (Ian Pratt-Hartmann)
- Fluted Logic with Counting + (Ian Pratt-Hartmann)
- Ontology Evolution trough Interaction + (Irina Dragoste)
- Efficient Model Construction for Horn Logic with VLog + (Irina Dragoste)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (Irina Dragoste)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (Irina Dragoste)
- Tracking False Information Online + (Isabelle Augenstein)
- Most Probable Explanations for Probabilistic Database Queries + (Ismail Ilkan Ceylan)
- VLog: A Column-oriented Rule-Based Engine + (Jacopo Urbani)
- Positivity-Hardness and Saturation Points in Markov Decision Processes + (Jakob Piribauer)
- Temporal constraint satisfaction problems in least fixed point logic + (Jakub Rydval)
- Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains + (Jakub Rydval)
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics + (Javanshir Alammadli)
- What makes a variant of query determinacy (un)decidable? + (Jerzy Marcinkowski)
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation + (Jesse Heyninck)
- Weighted Model Counting on the GPU by Exploiting Small Treewidth + (Johannes Fichte)
- A Glimpse into Propositional Model Counting + (Johannes K. Fichte)
- Imprecise Probabilities in Decision-making + (Jonas Karge)
- The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (Jonas Karge)
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (Jonas Karge)
- A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications + (Jonathan Goldstein)
- Knowledge graphs: description, validation and subsetting + (Jose Emilio Labra Gayo)
- Integrating Semantic Web in the Real World: A journey between two cities + (Juan Sequeda)
