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

• CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing  + (Carsten Lutz and Michael Tielscher)
• Formula Simplifications as DRAT Derivations  + (Carsten Lutz and Michael Tielscher)
• A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained  + (Carsten Lutz and Michael Tielscher)
• Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics  + (Carsten Lutz, Silvio Ranise)
• Decidable Description Logics of Context with Rigid Roles  + (Carsten Lutz, Silvio Ranise)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter)
• Temporally Attributed Description Logics  + (Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter)
• Detecting Cardinality Constraints in CNF  + (Carsten Sinz and Uwe Egly)
• Using OWL DL Reasoning to decide about authorization in RBAC  + (Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler)
• A Tutorial on Proof Theoretic Foundations of Logic Programming  + (Catuscia Palamidessi)
• On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm  + (Cesare Tinelli and Viorica Sofronie-Stokkermans)
• Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs  + (Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther)
• VLog: A Rule Engine for Knowledge Graphs  + (Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon)
• Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference  + (Chitta Baral and Giuseppe De Giacomo and Thomas Eiter)
• Answering Instance Queries Relaxed by Concept Similarity  + (Chitta Baral and Giuseppe De Giacomo and Thomas Eiter)
• Decidable Gödel description logics without the finitely-valued model property  + (Chitta Baral and Giuseppe De Giacomo and Thomas Eiter)
• Ontology-Based Monitoring of Dynamic Systems  + (Chitta Baral and Giuseppe De Giacomo and Thomas Eiter)
• Open-World Probabilistic Databases  + (Chitta Baral and James P. Delgrande and Frank Wolter)
• Nominal Schemas in Description Logics: Complexities Clarified  + (Chitta Baral, Giuseppe De Giacomo, Thomas Eiter)
• A Computational Logic Approach to the Belief Bias Effect  + (Chitta Baral, Giuseppe De Giacomo, Thomas Eiter)
• Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics  + (Chitta Baral, James P. Delgrande, Frank Wolter)
• Proc. of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015.  + (Christel Baier and Cesare Tinelli)
• Special ``TACAS'15 issue  + (Christel Baier and Cesare Tinelli)
• Deciding Hyperproperties Combined with Functional Specifications  + (Christel Baier and Dana Fisman)
• 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  + (Christel Baier and Luís Caires)
• 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  + (Christel Baier and Ugo Dal Lago)

• A Framework for Reasoning about Dynamic Axioms in Description Logics  + (Christian Bessiere)
• All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs  + (Christian Bessiere)
• Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules  + (Christian Bessiere)

• SAT Encoding of Unification in EL  + (Christian G. Fermüller and Andrei Voronkov)
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (Christian G. Fermüller and Andrei Voronkov)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (Christine Golbreich and Aditya Kalyanpur and Bijan Parsia)
• Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles  + (Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm)
• Probabilistic Query Answering in the Bayesian Description Logic BEL  + (Christoph Beierle, Alex Dekhtyar)
• A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)  + (Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm)
• The Weak Completion Semantics and Counter Examples  + (Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm)
• Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics  + (Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman)
• Faceted Answer-Set Navigation  + (Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman)
• Die Zukunft der Wikis: Semantic Web  + (Christoph Lange)
• Defeasible AceRules: A Prototype  + (Claire Gardent and Christian Retoré)
• The Boolean Solution Problem from the Perspective of Predicate Logic  + (Clare Dixon, Marcelo Finger)
• Metric Temporal Description Logics with Interval-Rigid Names  + (Clare Dixon, Marcelo Finger)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin)
• Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing  + (Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea)
• On the Succinctness of Closure Operator Representations  + (Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea)
• Sonic—Non-standard Inferences go OilEd  + (D. Basin and M. Rusinowitch)
• A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics  + (D. Basin and M. Rusinowitch)
• Blocking Automata for PSPACE DLs  + (D. Calvanese and E. Franconi and S. Tessaris)
• Speeding up Approximation with Nicer Concepts  + (D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan)
• Conjunctive Queries for EL with Role Composition  + (D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris)
• Approximation and Difference in Description Logics  + (D. Fensel and F. Giunchiglia and D. McGuiness and M.-A. Williams)
• Description Logics as Ontology Languages for the Semantic Web  + (D. Hutter and W. Stephan)