sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000114414448 | 1 hits
Person
ISNI: 
0000 0001 1441 4448
Name: 
Baader, F.
Baader, Frans
Baader, Franz
Baader, Franz (informaticien)
Baader, Franz Josef
Franz Baader (deutscher Informatiker)
Franz Baader (Duits informaticus)
Franz Baader (German computer scientist)
Franz Baader (informaticien allemand)
Franz Baader (tysk ingeniør og informatikar)
Franz Baader (tysk ingeniør og informatiker)
Franz Baader (tysk ingenjör och datavetare)
Dates: 
1959-
Creation class: 
article
Computer file
cre
Language material
Manuscript language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Brewka, Gerhard (1955-)
Deutsches Forschungszentrum für Künstliche Intelligenz
Eiter, Thomas (1966-)
Hanschke, Philipp
Hollunder, Bernhard
Nieuwenhuis, Robert
Nipkow, Tobias
Schulz, K. U.
Schulz, K. U. (1957-)
Schulz, Klaus U.
Schulz, Klaus Ulrich (1957-)
Voronkov, Andrei
Titles: 
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
Axiom Pinpointing in General Tableaux
Beiträge zur dinamischen Philosophie im Gegensaze der Mechanischen.
CADE-19
Combination techniques and decision problems for disunification
Computing the least common subsumer w.r.t. a background terminology
Concept logics
Deduction and applications 05431 abstracts collection ; Dagstuhl seminar
description logic handbook, The : theory, implementation, and applications
description logic handbook: theory, implementation, and applications, The
Description logics with aggregates and concrete domains
empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Executive summary [deduction and decision procedures]
Expressive number restrictions in description logics
Extensions of concept languages for a mechanical engineering application
From Tableaux to Automata for Description Logics
Frontiers of combining systems. -
General A- and AX-unification via optimized combination procedures
How to prefer more specific defaults in terminological default logic
International Workshop on Description Logics
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
multi-dimensional terminological knowledge representation language
On the combination of symbolic constraints, solution domains, and constraint solvers
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP '96 [August 30, 1996]
Qualifying number restrictions in concept languages
RTA 2007
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
SNOMED CT's problem list: ontologists' and logicians' therapy suggestions.
SNOMED reaching its adolescence: ontologists' and logicians' health check.
So spricht Franz von Baader
Term rewriting and all that
Terminological logics with modal operators
Unification in commutative theories, Hilbert's basis theorem, and Grobner bases
Unification in the union of disjoint equational theories combining decision procedures
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Working notes of the KI'95 Workshop: KRDB 95 - Reasoning about structured objects: knowledge representation meets databases
Contributed to or performed: 
JOURNAL OF LOGIC AND COMPUTATION
Notes: 
Sources: 
VIAF DNB LC NKC NLI NSK NUKAT SELIBR SUDOC WKD
BOWKER
NTA
TEL
ZETO