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
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan)
- Kontraktionssätze auf verallgemeinerten metrischen Räumen + (Anatolij Dvurecenskij and Gudrun Kalmbach)
- BCU Mathematics Contest 2001 — Problems and Solutions + (Anatolij Dvurecenskij and Gudrun Kalmbach)
- Die zwei Kulturen + (Andreas Blumauer and Tassilo Pellegrini)
- Semantic Wikipedia + (Andreas Blumauer and Tassilo Pellegrini)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (Andreas Herzig, Andrei Popescu)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (Andreas Maletti)
- KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge + (Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen)
- How to decide Query Containment under Constraints using a Description Logic + (Andrei Voronkov)
- Generalizing multi-context systems for reactive stream reasoning applications + (Andrew V. Jones, Nicholas Ng)
- Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks + (André, Étienne and Sun, Jun)
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (Aniello Murano, Alexandra Silva)
- Simple Default Reasoning in Theories of Action + (Ann Nicholson and Xiaodong Li)
- Semantik, Linked Data, Web-Präsentation: Grundlagen der NachlasserschlieÃung im Portal www.pueckler-digital.de + (Anne Baillot and Anna Busch)
- Pcasso -- a Parallel CooperAtive Sat SOlver + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Generating Clique Coloring Problem Formulas + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Riss 4.27 + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- SparrowToRiss + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Too Many Rooks + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- MinitSAT + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Riss 4.27 BlackBox + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
- Counterfactual Causality for Reachability and Safety based on Distance Functions + (Antonis Achilleos and Dario Della Monica)
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement + (Anupam Das, Sara Negri)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints + (Armin Biere and David Parker)
- From Display to Labelled Proofs for Tense Logics + (Artemov, Sergei and Nerode, Anil)
- On Skolem-Hardness and Saturation Points in Markov Decision Processes + (Artur Czumaj and Anuj Dawar and Emanuela Merelli)
- Guiding Backprob by Inserting Rules + (Artur D'Avila Garcez and Pascal Hitzler)
- Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach + (Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler)
- Extracting Reduced Logic Programs from Artificial Neural Networks + (Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (Aurona Gerber, Jacques Maritz, Anban W. Pillay)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (Aurona Gerber, Jacques Maritz, Anban W. Pillay)
- Foundations of Description Logics + (Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider)
- Quality Assessment of Design Cases within the DOM Environment + (B. Bartsch-Spörl and D. Janetzko and S. Wess)
- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis + (B. Ganter and G. Mineau)
- Relative Observability in Coordination Control + (B. Lennartson)
- On Defaults in Action Theories + (B. Mertsching and M. Hund and Z. Aziz)
- Matching under Side Conditions in Description Logics + (B. Nebel)
- PSPACE Automata for Description Logics + (B. Parsia and U. Sattler and D. Toman)
- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics + (Baldoni, Matteo and Dastani, Mehdi and Liao, Beishui and Sakurai, Yuko and Zalila Wenkstern, Rym)
- From Verification to Causality-Based Explications + (Bansal, Nikhil and Merelli, Emanuela and Worrell, James)
- Hybrid Unification in the Description Logic EL + (Barbara Morawska and Konstantin Korovin)
- Default Reasoning about Actions via Abstract Argumentation + (Bart Verheij and Stefan Szeider and Stefan Woltran)
- Computational Aspects of cf2 and stage2 Argumentation Semantics + (Bart Verheij, Stefan Szeider, Stefan Woltran)
- Evaluating Abstract Dialectical Frameworks with ASP + (Bart Verheij, Stefan Szeider, Stefan Woltran)
- An Approach to Exploring Description Logic Knowledge Bases + (Barış Sertkaya and Léonard Kwuida)
- Hardness of Enumerating Pseudo-Intents in the Lectic Order + (Barış Sertkaya and Léonard Kwuida)
- Preserving Constraints with the Stable Chase + (Benny Kimelfeld and Yael Amsterdamer)
- Efficient Dependency Analysis for Existential Rules + (Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles)
- OntoComP System Description + (Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler)
- Reasoning With Weighted Ontologies + (Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler)
