A. G. Bondarenko - Concepedia

Author

A. G. Bondarenko

Also Known As

A. Bondarenko, A. G. Bondarenko, Andrei Bondarenko

Publications

792

Citations

H-Index

Concepts

All Affiliations

A. G. Bondarenko is an author at Program Systems Institute of RAS specializing in automated reasoning, formal methods, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	665
2	Computer Science	1	1	665
3	Automated Reasoning	1	1	665
4	Formal Methods	1	1	665

A. G. Bondarenko

Publications

665

Citations

H-Index

Page 1

	Year	Citations
An abstract, argumentation-theoretic approach to default reasoning A. G. Bondarenko, Phan Minh Dũng, Robert Kowalski, Artificial Intelligence EngineeringReasoning SystemAutomated ReasoningDefault LogicFormal Methods	1997	665

Page 1