Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(109)
Andrei Voronkov
39
Werner Nutt
24
Ulrike Sattler
24
Bernhard Hollunder
20
Carsten Lutz
20
Conferences
(33)
DLog
23
IJCAI
10
KI
10
RTA
10
CADE
8
Journals
(32)
JAR
7
KI
6
LOGCOM
5
IANDC
3
JSC
3
Keywords
(229)
Embed
Subscribe
Academic
Authors
Franz Baader
Franz Baader,Dresden University of Technology,Artificial Intelligence,Algorithms & Theory,Software Engineering
Edit
Franz Baader
Dresden University of Technology
Publications:
268
|
Citations:
8362
Fields:
Artificial Intelligence
,
Algorithms & Theory
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
109 co-authors
from 1986 to 2011
|
Cited by
5911 authors
Cumulative
Annual
Sort by:
Publications
(268)
BibTeX
|
RIS
|
RefWorks
Download
Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods
Martin Giese
,
Arild Waaler
,
Franz Baader
Journal:
Logical Methods in Computer Science - LMCS
, 2011
Are fuzzy description logics with general concept inclusion axioms decidable?
Franz Baader
,
Rafael Penaloza
Conference:
IEEE International Conference on Fuzzy Systems
, pp. 1735-1742, 2011
Axiom Pinpointing in General Tableaux
(
Citations: 5
)
F. Baader
,
R. Penaloza
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 20, no. 1, pp. 5-34, 2010
Query and Predicate Emptiness in Description Logics
(
Citations: 2
)
Franz Baader
,
Meghyn Bienvenu
,
Carsten Lutz
,
Frank Wolter
Conference:
Principles of Knowledge Representation and Reasoning - KR
, 2010
Unification in the Description Logic EL
(
Citations: 3
)
Franz Baader
,
Barbara Morawska
Journal:
Computing Research Repository - CORR
, vol. 6, no. 3, 2010
Sort by:
Citations
(8362 times by 5579 publications)
On Explicit Substitution with Names
(
Citations: 2
)
Kristoffer H. Rose
,
Roel Bloo
,
Frédéric Lang
Journal:
Journal of Automated Reasoning - JAR
, vol. 49, no. 2, pp. 1-26, 2012
Computational Generation of Referring Expressions: A Survey
Emiel Krahmer
,
Kees van Deemter
Journal:
Computational Linguistics - COLI
, vol. 38, no. 1, pp. 173-218, 2012
Showing asymmetries in knowledge creation and learning through proactive vision
Jussi Kantola
,
Hannu Vanharanta
,
Petri Paajanen
,
Antti Piirto
Journal:
Theoretical Issues in Ergonomics Science
, vol. 13, no. 5, pp. 570-585, 2012
Ontology alignment for networked enterprise information system interoperability in supply chain environment
Yan Lu
,
Hervé Panetto
,
Yihua Ni
,
Xinjian Gu
Journal:
International Journal of Computer Integrated Manufacturing
, vol. ahead-of-p, no. ahead-of-p, pp. 1-12, 2012
Bridging informal tagging and formal semantics via hybrid navigation
Leonardo Lezcano
,
Elena García-Barriocanal
,
Miguel-Angel Sicilia
Journal:
Journal of Information Science
, vol. 38, no. 2, pp. 140-155, 2012
Comments