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

Optimisation Techniques for Combining Constraint Solvers + (Frontiers of Combining Systems 2, Papers presented at FroCoS'98)
Multidimensional Data Models and Aggregation + (Fundamentals of Data Warehousing)
Extending Description Logics to Vague Knowledge in Medicine + (Fuzzy Systems in Medicine)
Fallverwaltung in heterogenen Fallwissensbasen + (Fälle in hybriden Systemen. Beiträge zum 2. Workshop des Arbeitskreises fallbasiertes Schließen)
Temporal Query Answering in DL-Lite with Negation + (GCAI 2015. Global Conference on Artificial Intelligence)
On conditionals + (Global Conference on Artificial Intelligence)
Humans Reason Skeptically + (Handbook of Abductive Cognition)
Unification Theory + (Handbook of Automated Reasoning)
Business lexicography + (Handbook of Business Communication)
Abstract Dialectical Frameworks + (Handbook of Formal Argumentation)
Description Logics + (Handbook of Knowledge Representation)
Unification Theory + (Handbook of Logic in Artificial Intelligence and Logic Programming)
Model Checking Probabilistic Systems + (Handbook of Model Checking)
Model checking linear-time properties of probabilistic systems + (Handbook of weighted automata)
Foundations of Implementations for Formal Argumentation + (Handbook on Formal Argumentation)
Description Logics + (Handbook on Ontologies)
Probabilistic Model Checking for Energy-Utility Analysis + (Horizons of the Mind. A Tribute to Prakash Panangaden)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Human Reasoning and Automated Deduction: KI 2012 Workshop Proceedings)
A Simple Model for the Wason Selection Task + (Human Reasoning and Automated Deduction: KI 2012 workshop proceedings)
A Recursive Neural Network for Reflexive Reasoning + (Hybrid Neural Symbolic Integration)
Access restriction inside ontologies + (I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium 2008 at International Conference on Interoperability of Enterprise Systems and Applications)
Logics and Networks for Human Reasoning + (ICANN)
Some Notes on Managing Closure Operators + (ICFCA)
RBAC Authorization Decision with DL Reasoning + (ICWI '08: Proceedings of the IADIS International Conference WWW/Internet)
MoDDo - a tailored documentation system for model-driven software development + (ICWI '08: Proceedings of the IADIS International Conference WWW/Internet)

A Conceptual Foundation for Autonomous Learning in Unforeseen Situations + (IEEE International Symposium on Intelligent Control (ISIC/CIRA/ISAS'98))

A computational logic approach to human spatial reasoning + (IEEE Symposium Series on Computational Intelligence)
Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies + (IEEE World Wisemen/Women Workshop (WWW), Nagoya University)
On the Decomposition of ADFs and the Complexity of Naive-based Semantics + (IJCAI 2021 Journal Track)
Wolpertinger: A Fixed-Domain Reasoner + (ISWC 2017 Posters & Demonstration Track)
RFuzzy: An Expressive Simple Fuzzy Compiler + (IWANN (2))
Introductions to Description Logics - A Guided Tour + (In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School)
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL + (In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions)
Pushing the EL Envelope Further + (In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions)
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners + (In Proceedings of the second international workshop OWL: Experiences and Directions)
Reasoning Support for Ontology Design + (In Proceedings of the second international workshop OWL: Experiences and Directions)
Explaining User Errors in Description Logic Knowledge Base Completion + (Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08))
SROIQ Syntax Approximation by Using Nominal Schemas + (Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany.)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria.)
Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß + (Informatik für den Umweltschutz)
Multimedia Technology in Medical Training + (Informatik'97: Informatik als Innovationsmotor)
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions + (Inspiration and Application - Contributions to ICCS 2006)
A New Method for Image Segmentation Based on Fuzzy Knowledge + (Int. IEEE Symposia on Intelligence and Systems)
Complex Plans in the Fluent Calculus + (Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel)
Knowledge Representation in a World with Vague Concepts + (Intelligent Systems: A semiotic perspective)
Medical Terminology Processing for a Tutoring System + (International Conference on Computational Intelligence and Multimedia Applications (ICCIMA98))
Fast Computation of Proper Premises + (International Conference on Concept Lattices and Their Applications)
Model Checking Performability Properties + (International Conference on Dependable Systems and Networks (DSN))
Model Checking Action- and State-Labelled Markov Chains + (International Conference on Dependable Systems and Networks (DSN))
Some Complexity Results about Essential Closed Sets + (International Conference on Formal Concept Analysis)
High Quality Data Generation: An Ontology Reasoning based Approach + (International Workshop on Artificial Intelligence for Big Data (in conjunction with IJCAI'13))