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

• Computing First-Order Logic Programs by Fibring Artificial Neural Networks  + (I. Russell and Z. Markov)
• Neue Entwicklungen in der Informatikausbildung  + (I. Schmitt S. Conrad, G. Saake)
• A Short Overview on Modern Parallel SAT-Solvers  + (I. Wasito et.al.)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (IEEE)
• Computing Role-depth Bounded Generalizations in the Description Logic ELOR  + (Ingo J. Timm and Matthias Thimm)
• Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs  + (Irene Krebs and others)
• Semantic MediaWiki  + (Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Uschold and Lora Aroyo)
• A Logical Geo-Ontology Design Pattern for Quantifying over Types  + (Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer)
• SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors  + (Ivica Crnkovic and Antonia Bertolino)
• On Properties and State Complexity of Deterministic State-Partition Automata  + (J. C. M. Baeten, T. Ball, F. S. de Boer)
• Using Connectionist Term Representations for First-Order-Deduction- A Critical View  + (J. Diederich F. Maire, R. Hayward)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (J. Flum and M. Rodríguez-Artalejo)
• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (J. Hromkovic and M. Nagl)
• A New Equational Foundation for the Fluent Calculus  + (J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and L. M. Pereira and Y. Sagiv and P. J. Stuckey)
• Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers  + (J. P. Carvalho and D. Dubois and U. Kaymak and J. M. C. Sousa)
• DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts  + (J. S. Gero and F. Sudweeks)
• Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs  + (J. Slaney G. Antoniou)
• Computing in Civil Engineering  + (J. Vanegas and P. Chinowsky)
• Unification Theory  + (J.A. Robinson and A. Voronkov)
• Supervisory Control of Discrete-Event Systems  + (J.H. van Schuppen and T. Villa)
• Coordination Control of Distributed Discrete-Event Systems  + (J.H. van Schuppen and T. Villa)
• Pushing Doors for Modeling Contexts with OWL DL –a Case Study  + (Jadwiga Indulska and Daniela Nicklas)
• Automatic Verification of Liveness Properties of Randomized Systems  + (James E. Burns and Hagit Attiya)
• Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes  + (Jane Hillston and Sadegh Soudjani and Masaki Waga)
• Exploring Faulty Data  + (Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego)

• A Description Logic Primer  + (Jens Lehmann, Johanna Völker)

• Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning, Action and Change (NRAC 2013)  + (Jianmin Ji and Hannes Strass and Xun Wang)
• Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators  + (Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna)
• Towards Building Ontologies from Crowdsourced Data  + (Joanna Bryson, Marina De Vos, Julian Padget)
• A Modularization-based Approach to Finding All Justifications for OWL DL Entailments  + (John Domingue and Chutiporn Anutariya)
• Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations  + (Jordi Levy)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (José Júlio Alferes and João Alexandre Leite)
• Neuro-Symbolic Word Tagging  + (José Machado José Neves, Manuel Filipe Santos)
• Instantiating Knowledge Bases in Abstract Dialectical Frameworks  + (João Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran)
• Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract  + (Juan L. Reutter, Divesh Srivastava)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (Juha Kärkkäinen and Jakub Radoszewski and Wojciech Rytter)
• Attributed Description Logics: Reasoning on Knowledge Graphs  + (Jérôme Lang)
• Entropic Risk for Turn-Based Stochastic Games  + (Jérôme Leroux and Sylvain Lombardy and David Peleg)
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents  + (Jörg Endrullis, Sylvain Schmitz)
• Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations  + (Jörg Endrullis, Sylvain Schmitz)
• 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)