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

• 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)
• Fallverwaltung in heterogenen Fallwissensbasen  + (D. Janetzko and T. Schult)
• Satisfiability of ECTL* with tree constraints  + (D. Lev Beklemishev, V. Daniil Musatov)
• Disjunction in Resource-Oriented Deductive Planning  + (D. Miller)
• Actions and Specificity  + (D. Miller)
• Description Logics and the Two-Variable Fragment  + (D.L. McGuiness and P.F. Pater-Schneider and C. Goble and R. Möller)
• Unification Theory  + (D.M. Gabbay and C.J. Hogger and J.A. Robinson)
• Nonstandard Inferences in Description Logics: The Story So Far  + (D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev)
• Boolean Functions with Ordered Domains in Answer Set Programming  + (Dale Schuurmans and Michael Wellman)
• Column-Oriented Datalog Materialization for Large Knowledge Graphs  + (Dale Schuurmans, Michael P. Wellman)
• Decidable Verification of Golog Programs over Non-Local Effect Actions  + (Dale Schuurmans, Michael Wellman)
• Tuple-Generating Dependencies Capture Complex Values  + (Dan Olteanu, Nils Vortmeier)
• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic  + (Dana Fisman, Grigore Rosu)
• Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers  + (Daniel Le Berre)
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (Daniel Le Berre)
• New CNF Features and Formula Classification  + (Daniel Le Berre)
• News on Temporal Conjunctive Queries  + (Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello)
• Reasoning with Individuals for the Description Logic SHIQ  + (David MacAllester)
• Reasoning about Actions Meets Strategic Logics  + (Davide Grossi and Olivier Roy and Huaxin Huang)
• Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl)
• Discovering Implicational Knowledge in Wikidata  + (Diana Cristea, Florence Le Ber, Baris Sertkaya)
• Too Much Information: Can AI Cope With Modern Knowledge Graphs?  + (Diana Cristea, Florence Le Ber, Baris Sertkaya)

• Efficient Model Construction for Horn Logic with VLog  + (Didier Galmiche, Stephan Schulz, Roberto Sebastiani)

• What Is Approximate Reasoning?  + (Diego Calvanese and Georg Lausen)
• Approximate OWL-Reasoning with Screech  + (Diego Calvanese and Georg Lausen)
• Conjunctive Query Answering with Finitely Many Truth Degrees  + (Diego Calvanese, Boris Konev)
• Answering EL Queries in the Presence of Preferences  + (Diego Calvanese, Boris Konev)
• Dynamic Bayesian Description Logics  + (Diego Calvanese, Boris Konev)
• Query Answering in Bayesian Description Logics  + (Diego Calvanese, Boris Konev)
• Schema-Agnostic Query Rewriting for OWL QL  + (Diego Calvanese, Boris Konev)
• Extending the Combined Approach Beyond Lightweight Description Logics  + (Diego Calvanese, Boris Konev)
• Computing Cores for Existential Rules with the Standard Chase and ASP  + (Diego Calvanese, Esra Erdem, Michael Thielscher)
• Modelling the Polysemy of Spatial Prepositions in Referring Expressions  + (Diego Calvanese, Esra Erdem, Michael Thielscher)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (Dieter Fox, Carla P. Gomes)
• The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters  + (Dietmar Seipel and Michael Hanus and Salvador Abreu)
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion  + (Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein)
• On topological hierarchies of temporal properties  + (Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann)
• Optimisation Techniques for Combining Constraint Solvers  + (Dov Gabbay and Maarten de Rijke)
• On Upper and Lower Bounds on the Length of Alternating Towers  + (E. Csuhaj-Varju, M. Dietzfelbinger, Z. Esik)
• More for Less: Safe Policy Improvement with Stronger Performance Guarantees  + (Edith Elkind)
• Model Checking Probabilistic Systems  + (Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem)
• Error-Tolerant Reasoning in the Description Logic EL  + (Eduardo Fermé and João Leite)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (Eduardo Fermé and João Leite)
• The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics  + (Eduardo Fermé and João Leite)
• Verification of Context-Sensitive Knowledge and Action Bases  + (Eduardo Fermé and João Leite)
• Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics  + (Egré, P. and Ripley, R.)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan)
• What Is a Reasonable Argumentation Semantics?  + (Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan)