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

• Web-Mining Defeasible Knowledge from Concessional Statements  + (Petrova)
• Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß  + (Petzoldt)
• Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß  + (Petzoldt)
• Automata-based Pinpointing for DLs  + (Peñaloza)
• Reasoning With Weighted Ontologies  + (Peñaloza)
• Using Tableaux and Automata for Pinpointing in EL  + (Peñaloza)
• Axiom Pinpointing is Hard  + (Peñaloza)
• Using Sums-of-Products for Non-standard Reasoning  + (Peñaloza)
• LATPub437  + (Peñaloza)
• Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities  + (Peñaloza)
• LATPub439  + (Peñaloza)
• On the Complexity of Axiom Pinpointing in the EL Family of Description Logics  + (Peñaloza)
• Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics  + (Peñaloza)
• Complexity of Axiom Pinpointing in the DL-Lite Family  + (Peñaloza)
• A Practical Approach for Computing Generalization Inferences in EL  + (Peñaloza)
• Roughening the EL Envelope  + (Peñaloza)
• Rough EL Classification  + (Peñaloza)
• Instance-based Non-standard Inferences in EL with Subjective Probabilities  + (Peñaloza)
• Automata-based Reasoning in Fuzzy Description Logics  + (Peñaloza)
• COBRA, a Demo  + (Peñaloza)
• Certain Answers in a Rough World  + (Peñaloza)
• On the Complexity of Axiom Pinpointing in Description Logics  + (Peñaloza)
• LATPub702  + (Peñaloza)
• LATPub703  + (Peñaloza)
• Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm  + (Peñaloza)
• Conjunctive Query Answering in Rough EL  + (Peñaloza)
• Reasoning with Annotated Description Logic Ontologies  + (Peñaloza)

• Clause Simplifications in Search-Space Decomposition-Based SAT Solvers  + (Philipp)
• Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers  + (Philipp)
• Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers  + (Philipp)
• Smoke Test Planning using Answer Set Programming  + (Philipp)
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (Philipp)

• A Method of Estimating Oriented Surface Elements from Stereo Images  + (Pietzsch)
• Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles  + (Pietzsch)
• Planar Features for Visual SLAM  + (Pietzsch)
• Partial and Conditional Expectations in Markov Decision Processes with Integer Weights  + (Piribauer)
• On Skolem-Hardness and Saturation Points in Markov Decision Processes  + (Piribauer)
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking  + (Piribauer)
• The variance-penalized stochastic shortest path problem  + (Piribauer)
• Proceedings 39th International Conference on Logic Programming  + (Pontelli)
• Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz  + (Prasser)
• Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden.  + (Prince Sales, Maria M. Hedblom, He Tan, Gu … Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcosn, Mohammed Diab, Alberto Olivares Alarcos)
• Quantitative Characterization of Reconfigurable Transistor Logic Gates  + (Raitza)
• Initial Computability Algebraic Specifications and Partial Algebras  + (Reichel)
• Modelling the Polysemy of Spatial Prepositions in Referring Expressions  + (Richard-Bollans)
• Investigating the Dimensions of Spatial Language  + (Richard-Bollans)
• Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions  + (Richard-Bollans)
• The role of pragmatics in solving the Winograd Schema Challenge  + (Richard-Bollans)
• Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions  + (Richard-Bollans)
• LATPub37  + (Richts)
• Concept lattices with negative information: A characterization theorem  + (Rodríguez-Jiménez)
• Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011  + (Rosati)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!  + (Rudolph)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (Rudolph)
• A Lexico-Logical Approach to Ontology Engineering  + (Rudolph)