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

• 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)
• 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)