Baader, Franz, 1959-
Baader, Franz.
Baader, Franz, 19..-....
Baader, Franz 19..-... informaticien
Franz Baader
Baader, Franz (Franz Josef), 1959-
VIAF ID: 34634110 ( Personal )
Permalink: http://viaf.org/viaf/34634110
Preferred Forms
- 200 _ | ‡a Baader ‡b Franz
-
- 100 1 0 ‡a Baader, Franz
-
-
-
- 100 1 _ ‡a Baader, Franz ‡d 19..-... ‡c informaticien
-
- 100 1 _ ‡a Baader, Franz ‡d 1959-
-
- 100 1 _ ‡a Baader, Franz, ‡d 19..-....
-
-
- 100 1 _ ‡a Baader, Franz, ‡d 1959-
-
-
- 100 0 _ ‡a Franz Baader
4xx's: Alternate Name Forms (15)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Adding homomorphisms to commutative, monoidal theories, or: how algebra can help in equational unification | |
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles | |
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings | |
Beiträge zur dinamischen Philosophie im Gegensaze der Mechanischen. | |
CADE-19 | |
Combination techniques and decision problems for disunification | |
Concept logics | |
The Description logic handbook : theory, implementation, and applications | |
Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday | |
empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on" | |
Executive summary [deduction and decision procedures] | |
Extending the Description Logic τEL(deg) with Acyclic TBoxes | |
Extensions of concept languages for a mechanical engineering application | |
Frontiers of combining systems : first international workshop, Munich, March 1996 | |
General A- and AX-unification via optimized combination procedures | |
Guarded Fragment of Conceptual Graphs | |
How to prefer more specific defaults in terminological default logic | |
Intelligent acces to heterogeneous information : proceedings of the 4th Workshop KRDB-97, Athens, Greece, august 30, 1997 | |
An introduction to description logic | |
Inverse Method Implements the Automata Approach for Modal Satisfiability | |
KI 2001 : advances in artificial intelligence : joint German/Austrian conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings | |
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings | |
LPAR 2004 | |
Matching Concept Descriptions with Existential Restrictions | |
Matching under Side Conditions in Description Logics | |
multi-dimensional terminological knowledge representation language | |
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics | |
On the combination of symbolic constraints, solution domains, and constraint solvers | |
On the Complexity and Expressiveness of Description Logics with Counting | |
On the expressivity of feature logics with negation, functional uncertainty, and sort equations | |
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox | |
Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96 | |
PSpace Automata with Blocking for Description Logics | |
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs | |
Pushing the EL Envelope | |
Putting ABox Updates into Action | |
Qualifying number restrictions in concept languages | |
Query Rewriting for DL-Lite with n-ary Concrete Domains Extended Version | |
Repairing Description Logic Ontologies by Weakening Axioms | |
Restricted Unification in the DL FL₀ Extended Version | |
Rewriting Concepts Using Terminologies - Revisited | |
RTA 2007 | |
Runtime Verification Using a Temporal Description Logic Revisited | |
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies | |
scheme for integrating concrete domains into concept languages | |
... Schriften zur Gesellschaftsphilosophie. Mit einem Anhang von exstmaligen Veröffentlichungen: Frz. Baaders Briefe an König Ludwig I. von Bayern, Jos. Baaders Denkschriften an die bayrische Regierung. Herausgegeben, eingeleitet und erläutert von Johannes Sauter. | |
semantics for open normal defaults via a modified preferential approach | |
So spricht Franz von Baader | |
Solving Language Equations and Disequations Using Looping Tree Automata with Colors | |
Structural Subsumption Considered from an Automata-Theoretic Point of View | |
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles | |
Term rewriting and all that | |
Terminological logics with modal operators | |
Unification in a Description Logic with Transitive Closure of Roles | |
Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases | |
Unification in the union of disjoint equational theories combining decision procedures | |
Unification Theory - An Introduction | |
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems | |
Unifikation und Reduktionssysteme für Halbgruppenvarietäten | |
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains | |
Using Ontologies to Query Probabilistic Numerical Data Extended Version | |
Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects knowledge representation meets databases ; [Bielefeld, Germany, September 11 - 12, 1995] |