Suche mittels Attribut

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

Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting + (Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz)
Temporal Query Answering in a Fuzzy World + (Agata Filipowska and Ruben Verborgh and Axel Polleres)
Visualization of Statistical Information in Concept Lattice Diagrams + (Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber)
Approximate Computation of Exact Association Rules + (Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber)
KEIM: A Toolkit for Automated Deduction + (Alan Bundy)
Approximated Determinisation of Weighted Tree Automata + (Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron)
Sequentiality of Group-Weighted Tree Automata + (Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron)
Terminology-based patterns for natural language definitions in ontologies + (Aldo Gangemi, Michael Gruninger, Karl Hammar, Laurent Lefort, Valentina Presutti, Ansgar Scherp)
Formal Concept Analysis and Resolution in Algebraic Domains + (Aldo de Moor and Bernhard Ganter)
The Complexity of Conjunctive Query Answering in Expressive Description Logics + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
Formal Properties of Modularisation + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
Automata-Based Axiom Pinpointing + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Alessandro Artale, Birte Glimm and Roman Kontchakov)
Reasoning with Attributed Description Logics + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
Ontologies for Knowledge Graphs? + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
Second-Order Characterizations of Definientia in Formula Classes + (Alexander Bolotov and Manfred Kerber)
Fast Computation of Proper Premises + (Amedeo Napoli and Vilem Vychodil)
ELP: Tractable Rules for OWL 2 + (Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan)
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)