Michael Bartholomew
According to our database1,
Michael Bartholomew
authored at least 12 papers
between 2010 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
5
1
3
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2016
2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Theory Pract. Log. Program., 2013
Theory Pract. Log. Program., 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
2011
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.
Proceedings of the IJCAI 2011, 2011
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010