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
Co-authors
(54)
Eike Ritter
13
Richard S. Crouch (Dick)
10
Daniel Bobrow
9
Tracy Holloway King
9
Cleo Condoravdi
9
Conferences
(13)
CSL
4
ICALP
2
FoSSaCS
2
CONTEXT
2
AMAST
1
Journals
(12)
JFP
3
LOGCOM
3
IANDC
2
SLOGICA
2
APAL
2
Keywords
(80)
Embed
Subscribe
Academic
Authors
Valeria de Paiva
Edit
Valeria de Paiva
Publications: 70
|
Citations: 719
|
G-Index: 24
|
H-Index: 15
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Artificial Intelligence
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
54 co-authors
from 1989 to 2010
; Cited by
552 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(70)
BibTeX
|
RIS
|
RefWorks
Download
Intuitionistic Logic and Legal Ontologies
Edward Hermann Haeusler
,
Valeria de Paiva
,
Alexandre Rademaker
Published in 2010.
Logic, Language, Information and Computation
Grigori Mints
,
Valeria De Paiva
,
Ruy J. G. B. De Queiroz
Journal:
Information and Computation/information and Control - IANDC
, vol. 207, no. 10, pp. 969-970, 2009
Bifinite Chu Spaces
Manfred Droste
,
Guo-qiang Zhang
,
Valeria de Paiva
Journal:
Logical Methods in Computer Science - LMCS
, vol. 6, no. 1, 2009
Deverbal Nouns in Knowledge Representation
(
Citations: 5
)
Olga Gurevich
,
Richard S. Crouch
,
Tracy H. King
,
Valeria De Paiva
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 18, no. 3, pp. 385-404, 2008
Designing Testsuites for Grammar-based Systems in Applications
(
Citations: 3
)
Valeria de Paiva
,
Tracy Holloway King
Published in 2008.
Order by:
Citations
(719 times by 484 publications)
Deducing answers to english questions from structured data
Daniel G. Bobrow
,
Cleo Condoravdi
,
Kyle Richardson
,
Richard J. Waldinger
,
Amar Das
Conference:
Intelligent User Interfaces - IUI
, pp. 299-302, 2011
Linear Process Algebra
Vaughan Pratt
Conference:
Distributed Computing and Internet Technology - ICDCIT
, pp. 92-111, 2011
Complexity of Strongly Normalising
Alexis Bernadet
,
Stéphane Lengrand
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 88-107, 2011
Strong Normalization and Confluence for Reflexive Combinatory Logic
Daniyar S. Shamkanov
Conference:
Workshop on Logic, Language, Information and Computation - WOLLIC
, pp. 228-238, 2011
Classical Natural Deduction for S4 Modal Logic
Daisuke Kimura
,
Yoshihiko Kakutani
Journal:
New Generation Computing - NGC
, vol. 29, no. 1, pp. 61-86, 2011
Comments