Concepedia

G. Aldo Antonelli

GA

Statistics

Publications

12

Citations

280

H-Index

11

Active since

1994

Affiliations

University of California, Irvine(Current)

University of California, Davis

Yale University

G. Aldo Antonelli is an author at University of California, Irvine specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsVerificationComputer ScienceFormal VerificationBusinessGeometryLanguage

Publications per year

1994–2010

12

Publications

12

Non-monotonic Logic

Christian Straßer, G. Aldo Antonelli · 2001 · 48 citations

Game-theoretic axioms for local rationality and bounded knowledge

Cristina Bicchieri, G. Aldo Antonelli · Journal of Logic Language and Information · 1995 · 48 citations

Local Rationality, Automated Reasoning, Combinatorial Game +5

Notions of Invariance for Abstraction Principles

G. Aldo Antonelli · Philosophia Mathematica · 2010 · 35 citations

Theoretical Mathematics, Abstraction Principles, Mathematical Structure +12

Numerical Abstraction via the Frege Quantifier

G. Aldo Antonelli · Notre Dame Journal of Formal Logic · 2010 · 31 citations · Full text

Engineering, Automated Reasoning, Abstract Interpretation +11

The Complexity of Revision

G. Aldo Antonelli · Notre Dame Journal of Formal Logic · 1994 · 26 citations · Full text

Software Maintenance, Theory Of Computing, Computational Complexity Theory +14

1–5 of 12