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

• Investigating the Dimensions of Spatial Language  + (K Stock, CB Jones, T Tenbrink)
• SAT-Based Analysis and Quantification of Information Flow in Programs  + (K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux)
• Exploring Relational Structures via FLE  + (Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach)
• A cartesian closed category of approximable concept structures  + (Karl-Erich Wolff and Heather D. Pfeiffer and Harry S. Delugach)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)  + (Kate Larson)
• Learning Formal Definitions for Biomedical Concepts  + (Kavitha Srinivas and Simon Jupp)
• OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context  + (Kavitha Srinivas and Simon Jupp)
• CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL  + (Kendall Clark and Peter F. Patel-Schneider)
• Pushing the EL Envelope Further  + (Kendall Clark and Peter F. Patel-Schneider)
• Semantic Description of Distributed Business Processes  + (Knut Hinkelmann, Andreas Abecker, Harold Boley, John Hall, Martin Hepp, Amit Sheth, Barbara Thönssen)
• Representative Answer Sets: Collecting Something of Everything  + (Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu)
• On the Limits of Decision: the Adjacent Fragment of First-Order Logic  + (Kousha Etessami, Uriel Feige, and Gabriele Puppis)
• On the Adequateness of AI-Systems.  + (L. Dreschler-Fischer and B. Nebel)
• Objects, Specificity, Logic, and Change  + (L. Dreschler-Fischer and S. Pribbenow)
• Non-commutativity and MELL in the Calculus of Structures  + (L. Fribourg)
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence  + (L. Li and K. K. Yen)
• Towards State Update Axioms: Reifying Successor State Axioms  + (L.F. del Cerro and J. Dix and U. Furbach)
• RDF syntax normalization using XML validation  + (Lalana Kagal, Ora Lassila, Tim Finin)
• A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set  + (Laszlo Szathmary, Uta Priss)
• The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains  + (Laura Giordano, Jean Christoph Jung, Ana Ozaki)
• Application Patterns of Projection/Forgetting  + (Laura Kovacs and Georg Weissenbacher)
• Description Logics That Count, and What They Can and Cannot Count  + (Laura Kovacs, Konstantin Korovin, Giles Reger)
• Contraction Properties of a Semantic Operator for Human Reasoning  + (Lei Li and K. K. Yen)
• Query Containment in Very Expressive XPath dialects  + (Leonid Libkin)

• A Journey to the Frontiers of Query Rewritability  + (Leonid Libkin, Pablo Barceló)

• Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes  + (Lipo Rajapakse, Jagath C.; Wang)
• Inconsistency management in reactive multi-context systems  + (Loizos Michael, Antonis C. Kakas)
• A Generic Approach for Correcting Access Restrictions to a Consequence  + (Lora Aroyo and Grigoris Antoniou and Eero Hyvönen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache)
• Tempus Fugit - Towards an Ontology Update Language  + (Lora Aroyo et al.)
• Concurrent Classification of EL Ontologies  + (Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist)
• Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics  + (Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann, Kristijonas Čyras, Tiago Oliveira, Matthew Williams)
• Simulating Sets in Answer Set Programming  + (Luc De Raedt)
• A Framework for Semantic-based Similarity Measures for ELH-Concepts  + (Luis Fariñas del Cerro and Andreas Herzig and Jérôme Mengin)
• Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects  + (Lydia Pintscher)
• Cognitive Science, Computational Logic and Connectionism  + (M. Adriani et.al.)
• Atomic Cut Elimination for Classical Logic  + (M. Baaz and J.A. Makowsky)
• User Adaptation in a Web Shop System  + (M. H. Hamza)
• Circumscription and Projection as Primitives of Logic Programming  + (M. Hermenegildo and T. Schaub)
• Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß  + (M. Hilty and A. Jaeschke)
• State Complexity of Projected Languages  + (M. Holzer, M. Kutrib, G. Pighizzini)
• Multimedia Technology in Medical Training  + (M. Jarke and K. Parsedach and K. Pohl)
• Multidimensional Data Models and Aggregation  + (M. Jarke and M. Lenzerini and Y. Vassilious and P. Vassiliadis)
• Parallel MUS Extraction  + (M. Järvisalo and A. Van Gelder)
• An open architecture for multiple case retrieval methods  + (M. Keane and J. Haton and M. Manago)
• Generating Rational Models  + (M. Maher)
• Equational Logic and Theories of Action  + (M. Navarro P. Lucio, M. Martelli)
• DOM-ArC: An Active Decision Support System for Quality Assessment of Cases  + (M. Veloso and A. Aamodt)
• Concurrent Production, Consumption and Occupation  + (M.-A. Williams)
• Matching in Description Logics: Preliminary Results  + (M.-L. Mugnier and M. Chein)
• Towards Planning as Concurrency  + (M.H.Hamza)