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

DeaLing with Ontologies using CODs + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Evaluation of Extraction Techniques for Ontology Excerpts + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Bayesian Description Logics + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Fuzzy DLs over Finite Lattices with Nominals + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Gödel FL_0 with Greatest Fixed-Point Semantics + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Gödel Description Logics with General Models + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Matching with respect to general concept inclusions in the Description Logic EL + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Admissibility in Probabilistic Argumentation + (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus)
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)
Retractable Complex Event Processing and Stream Reasoning + (Nick Bassiliades, Guido Governatori, Adrian Paschke)
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams + (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)