# Gian Aldo Antonelli

According to our database

Collaborative distances:

^{1}, Gian Aldo Antonelli authored at least 21 papers between 1994 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2017

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).

J. Philos. Log., 2017

2013

Rev. Symb. Log., 2013

2012

Notre Dame J. Formal Log., 2012

2010

Notre Dame J. Formal Log., 2010

2008

Rev. Symb. Log., 2008

2005

Notre Dame J. Formal Log., 2005

2002

Notre Dame J. Formal Log., 2002

J. Symb. Log., 2002

2000

Notre Dame J. Formal Log., 2000

J. Philos. Log., 2000

1999

J. Symb. Log., 1999

A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension.

Artif. Intell., 1999

1998

J. Symb. Log., 1998

1997

Artif. Intell., 1997

1996

Synth., 1996

1995

J. Log. Lang. Inf., 1995

Proceedings of the Intelligent Agents II, 1995

1994

Notre Dame J. Formal Log., 1994

Notre Dame J. Formal Log., 1994

J. Philos. Log., 1994

Backwards Forward Induction.

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994