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

• 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)
• Logic-Based Knowledge Representation  + (M.J. Wooldridge and M. Veloso)
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks  + (Madalina Croitoru, Sébastien Ferré, Dickson Lukose)
• Revisiting Grounded Circumscription in Description Logics  + (Magdalena Ortiz, Stefan Schlobach)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (Magdalena Ortiz, Thomas Schneider)
• Happy Ever After: Temporally Attributed Description Logics  + (Magdalena Ortiz, Thomas Schneider)
• Description Logic Rules  + (Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris)
• Semantic Modularity and Module Extraction in Description Logics  + (Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris)
• Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes  + (Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris)