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

PDL with Negation of Atomic Programs + (To appear)
Description Logics with Concrete Domains and Functional Dependencies + (To appear)
Reasoning Support for Ontology Design + (To appear)
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + (To appear)
The Logical Difference for EL: from Terminologies towards TBoxes + (To appear)
A systematic proof theory for several modal logics + (To appear)
A System of Interaction and Structure + (To appear in ACM Transactions on Computational Logic. Download: PDF filewv-02-10.pdf)
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes + (To appear.)
Inverse Roles Make Conjunctive Queries Hard + (To appear.)
Data Complexity in the EL family of DLs + (To appear.)
High Quality Data Generation: An Ontology Reasoning based Approach + (To appear.)
Semantic Annotation in Specific Domains with rich Ontologies (in French) + (To appear.)
Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers + (To appear.)
A hybrid approach for learning concept definitions from text + (To appear.)
On the Decidability of Verifying LTL Properties of Golog Programs + (To appear.)
Similarity-based Relaxed Instance Queries in EL^++ + (To appear.)
A First Order System with Finite Choice of Premises + (To appear.)
Proceedings of the First International Workshop on Uncertainty in Description Logics + (UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/)
Terminological Knowledge Representation: A Proposal for a Terminological Logic + (Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.)
Description Logic Rules + (Volume 8 Studies on the Semantic Web, IOS Press)
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj + (Vortrag im Workshop for FCA Tools and Applications, ICFCA 2013.)
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Winner of the EPIA 2017 Best Paper Award.)
Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + ([http://open-advice.org Open Advice] is a … [http://open-advice.org Open Advice] is a collection of 42 short essays by prominent contributors of Free Software projects, each inspired by the question “What would I have wished to know when I started?” It covers a wide range of related topics, ranging from code development, project management, and mentoring to community building, business exploitation, and legal aspects. Staying true to its title, Open Advice is freely available under a Creative Commons license.</br></br></br>For more information and free download, see [http://open-advice.org the book's web site]. Paper copies are available from [http://www.lulu.com/product/paperback/open-advice/18865584 Lulu] at a very reasonable price.18865584 Lulu] at a very reasonable price.)
The Complexity of Subsumption in Fuzzy EL + ([http://www.ijcai.org © IJCAI])
Temporal Query Answering in the Description Logic EL + ([http://www.ijcai.org © IJCAI])

A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning + (accepted)

On Indicative Conditionals + (http://ceur-ws.org/Vol-1339/)
Proceedings of the First International Workshop on Semantic Technologies + (http://ceur-ws.org/Vol-1339/)
An Abductive Model for Human Reasoning + (http://commonsensereasoning.org/2011/proceedings.html)
Probabilistic Aspects of Score Systems + (http://www.ep.liu.se/ea/cis/2002/007/http://www.ep.liu.se/ea/cis/2002/007/)
Pushing the SONIC border — SONIC 1.0 + (http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf)
On the Succinctness of Closure Operator Representations + (invited paper)
Temporal Query Answering in a Fuzzy World + (long title: Joint Proceedings of the Posters and Demos Track of 11th International Conference on Semantic Systems - SEMANTiCS2015 and 1st Workshop on Data Science: Methods, Technology and Applications (DSci15), Vienna, Austria, September 15-17, 2015.)
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement + (regular paper)
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (supervised by David Carral and Markus Krötzsch)
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (supervised by David Carral and Markus Krötzsch)
Chase-Based Computation of Cores for Existential Rules + (supervised by Markus Krötzsch)
Compositional Matrix-Space Models of Language + (to appear)
A fuzzy extension of explanatory relations based on mathematical morphology + (to appear)
Uniform and Modular Sequent Systems for Description Logics + (to appear)
Reasoning-Supported Interactive Revision of Knowledge Bases + (to appear.)
Connectionist Model Generation: A First-Order Approach + (to be published.)
Scalable Understanding: Navigation Approaches for Answer Sets + (virtual)
A formal assessment result for fluent calculus using the action description language A_k + (© Springer-Verlag Berlin Heidelberg 2003)
A cartesian closed category of approximable concept structures + (© Springer-Verlag Berlin Heidelberg 2004, the original publicationhttp://www.springerlink.com/content/67c0cm6aulnnmfmh/ is available at www.springerlink.com.)
System BV without the Equalities for Unit + (© Springer-Verlag Berlin Heidelberg 2004, the original publicationhttp://www.springerlink.com/content/x1y9b7t6lw4ymffj/ is available at www.springerlink.com.)
The Core Method: Connectionist Model Generation + (© Springer-Verlag Berlin Heidelberg 2006, the original publicationhttp://springerlink.com/content/p9q886g45k324742/?p=9469b8cf16d74e9c8f4fe7f2a0a00e7b&pi=0 is available at www.springerlink.com)