Roderic A. Girle
Orcid: 0000-0002-5828-147X
According to our database1,
Roderic A. Girle
authored at least 18 papers
between 1974 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2012
Int. J. Cogn. Informatics Nat. Intell., 2012
2011
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011
2008
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008
2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
2005
2004
Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004
1998
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998
1996
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996
1992
Possible Worlds Tableaux without Explicit Accessibility.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
1988
J. Symb. Log., 1988
Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.
Proceedings of the AI '88: 2nd Australian Joint Artificial Intelligence Conference, 1988
1978
1975
1974