Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(341)
Rajeev Gore (Rajeev Goré)
11
Peter Baumgartner
8
Marta Cialdea Mayer
8
Matthias Baaz
8
Bernhard Beckert
7
Fabio Massacci
7
Nicola Olivetti
7
Reiner Hähnle
7
Martin Giese
7
Erik Rosenthal
6
Keywords
(301)
Subscribe
Academic
Conferences
TABLEAUX - Analytic Tableaux and Related Methods
TABLEAUX - Analytic Tableaux and Related Methods
Publications: 324
|
Citation Count: 2,598 (Self-Citation: 186)
|
H-Index: 24Year Range: 1992-2009
Interests:
Artificial Intelligence
Paper submissions due: 2 February 2009, Duration:
6 - 10 July 2009, Oslo, Norway
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(324)
A Schemata Calculus for Propositional Logic
(
Citations: 8
)
Vincent Aravantinos
,
Ricardo Caferra
,
Nicolas Peltier
Conference:
Analytic Tableaux and Related Methods - TABLEAUX
, pp. 32-46, 2009
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
(
Citations: 7
)
Silvio Ghilardi
,
Silvio Ranise
Conference:
Analytic Tableaux and Related Methods - TABLEAUX
, pp. 173-188, 2009
Sound Global State Caching for ALC with Inverse Roles
(
Citations: 6
)
Rajeev Goré
,
Florian Widmann
Conference:
Analytic Tableaux and Related Methods - TABLEAUX
, pp. 205-219, 2009
Terminating Tableaux for the Basic Fragment of Simple Type Theory
(
Citations: 7
)
Chad E. Brown
,
Gert Smolka
Conference:
Analytic Tableaux and Related Methods - TABLEAUX
, pp. 138-151, 2009
Prime Implicate Tries
(
Citations: 4
)
Andrew Matusiewicz
,
Neil V. Murray
,
Erik Rosenthal
Conference:
Analytic Tableaux and Related Methods - TABLEAUX
, pp. 250-264, 2009