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

• 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)
• Model checking linear-time properties of probabilistic systems  + (Manfred Droste and Werner Kuich and Heiko Vogler)
• The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)  + (Mantas Simkus, Grant E. Weddell)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (Mantas Simkus, Grant E. Weddell)
• Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)  + (Mantas Simkus, Grant E. Weddell)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (Mantas Simkus, Grant E. Weddell)
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Mantas Simkus, Grant E. Weddell)
• Towards a General Argumentation System based on Answer-Set Programming  + (Manuel V. Hermenegildo, Torsten Schaub)
• A Fully Connectionist Model Generator for Covered First-Order Logic Programs  + (Manuela M. Veloso)

• A Description Logic of Change  + (Manuela Veloso)
• Answering conjunctive queries in the SHIQ description logic  + (Manuela Veloso)
• Conservative Extensions in Expressive Description Logics  + (Manuela Veloso)

• Contextual reasoning: Usually birds can abductively fly  + (Marcello Balduccini, Tomi Janhunen)
• A Uniform Account of Realizability in Abstract Argumentation  + (Maria Fox and Gal Kaminka and Frank van Harmelen)
• ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming  + (Maria Garcia de la Banda, Enrico Pontelli)
• All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles  + (Maria Keet, Valentina Tamma)
• Temporalizing Ontology-Based Data Access  + (Maria Paola Bonacina)
• Complexity Results for Probabilistic Datalog+/-  + (Maria S. Fox, Gal A. Kaminka)
• Some Experimental Results on Randomly Generating Formal Contexts  + (Marianne Huchard, Sergei Kuznetsov)
• Porting the xEBR taxonomies to a LOD compliant format  + (Mariano Rico, Maria Mora)
• Dismatching and local disunification in EL  + (Maribel Fernández)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (Maribel Fernández and Anca Muscholl)
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)  + (Mario Alviano, Andreas Pieris)
• Nemo: A Scalable and Versatile Datalog Engine  + (Mario Alviano, Matthias Lanzinger)
• A Practical Approach for Computing Generalization Inferences in EL  + (Marko Grobelnik and Elena Simperl)
• A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices  + (Markus Krötzsch and Umberto Straccia)
• Recent Advances in Integrating OWL and Rules  + (Markus Krötzsch and Umberto Straccia)
• Explaining Data with Formal Concept Analysis  + (Markus Krötzsch, Daria Stepanova)
• A Novel Architecture for Situation Awareness Systems  + (Martin Giese and Arild Waaler)
• Tableaux for Projection Computation and Knowledge Compilation  + (Martin Giese and Arild Waaler)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)  + (Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt)
• Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)  + (Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt)
• A Database Approach for Modeling and Querying Video Data  + (Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou)
• Efficient OWL Reasoning with Logic Programs - Evaluations  + (Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie)
• Concept Adjustment for Description Logics  + (Mathieu d'Aquin and Andrew Gordon)
• Optimizations for the role-depth bounded least common subsumer in el+  + (Matthew Horridge and Pavel Klinov)