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

• The DIAMOND System for Argumentation: Preliminary Report  + (Michael Fink and Yuliya Lierler)
• The DIAMOND system for argumentation: Preliminary report  + (Michael Fink, Yuliya Lierler)
• Reasoning about Actions using Description Logics with general TBoxes  + (Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa)
• Towards Building Ontologies with the Wisdom of the Crowd  + (Michael Rovatsos, Ronald Chenu-Abente)
• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (Michael Thielscher and Dongmo Zhang)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (Michael Thielscher, Francesca Toni, Frank Wolter)
• The Bayesian Ontology reasoner is BORN!  + (Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos)
• The Complexity of Enriched µ-Calculi  + (Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (Mikołaj Bojańczyk, Chandra Chekuri)
• DOM: An Active Assistance System for Architectural and Engineering Design  + (Milton Tan and Robert Teh)
• Extensions of Non-standard Inferences to Description Logics with transitive Roles  + (Moshe Vardi and Andrei Voronkov)
• From Tableaux to Automata for Description Logics  + (Moshe Vardi and Andrei Voronkov)
• On Structuring Proof Search for First Order Linear Logic  + (Moshe Y. Vardi and Andrei Voronkov)
• Semantic Operators and Fixed-Point Theory in Logic Programming  + (N. Callaos and others)
• An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification  + (N. Jonoska and N.C. Seeman)
• A Computational Logic Approach to the Suppression Task  + (N. Miyake D. Peebles and R. P. Cooper)
• On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs  + (N. Moreira, R. Reis)
• Axiom Pinpointing in General Tableaux  + (N. Olivetti)
• Data Complexity in the EL family of Description Logics  + (Nachum Dershowitz and Andrei Voronkov)
• Wolpertinger: A Fixed-Domain Reasoner  + (Nadeschda Nikitina, Dezhao Song)
• SQID: Towards Ontological Reasoning for Wikidata  + (Nadeschda Nikitina, Dezhao Song)
• Symbolic Dynamic Programming within the Fluent Calculus  + (Naohiro Ishii)
• Vagueness in Predicates and Objects  + (Nathalie Aussenac-Gilles, Torsten Hahmann, Antony Galton, Maria M. Hedblom)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (Neuhaus F, Brodaric B)
• A Fuzzy Description Logic with Hedges as Concept Modifiers  + (Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob)
• A compact fuzzy extension of the Naive Bayesian classification algorithm  + (Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob)

• A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams  + (Nick Bassiliades, Guido Governatori, Adrian Paschke)
• Retractable Complex Event Processing and Stream Reasoning  + (Nick Bassiliades, Guido Governatori, Adrian Paschke)

• Literal Projection and Circumscription  + (Nicolas Peltier and Viorica Sofronie-Stokkermans)
• Literal Projection and Circumscription  + (Nicolas Peltier and Viorica Sofronie-Stokkermans)
• Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian  + (Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue)
• Minimised Residue Hypotheses in Relevant Logic  + (Nicolò Cesa-Bianchi and Masayuki Numao and Rüdiger Reischuk)
• Learning Formal Definitions for Snomed CT from Text  + (Niels Peek and Roque Marín Morales and Mor Peleg)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (Nikhil Bansal, James Worrell)
• Finding Finite Herbrand Models  + (Nikolaj Bjørner and Andrei Voronkov)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (Nikolaj Bjørner and Andrei Voronkov)
• Unification in the Description Logic EL without the Top Concept  + (Nikolaj Bjørner and Viorica Sofronie-Stokkermans)
• Operational Causality - Necessarily Sufficient and Sufficiently Necessary  + (Nils Jansen and Mariëlle Stoelinga and Petra van den Bos)
• Model Checking Markov Chains as Distribution Transformers  + (Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)  + (Nina Gierasimczuk, Jesse Heyninck)
• Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results  + (Nina Gierasimczuk, Jesse Heyninck)
• Reachability in Dynamical Systems with Rounding  + (Nitin Saxena and Sunil Simon)
• Wheat and Chaff -- Practically Feasible Interactive Ontology Revision  + (Noy et al.)
• Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions  + (O. Herzog and A. Günter)
• Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)  + (Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier)
• Comonadic Semantics for Description Logics Games  + (Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier)
• Uniform and Modular Sequent Systems for Description Logics  + (Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier)
• AGM Revision in Description Logics under Fixed-Domain Semantics  + (Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier)
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)  + (Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier)
• Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique)
• Image Schemas and Conceptual Dependency Primitives: A Comparison  + (Oliver Kutz)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (Oliver Kutz, Ana Ozaki)