-
16A verification framework for agent programming with declarative goalsJournal of Applied Logic 5 (2): 277-302. 2007.
-
5Epistemic LogicIn Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell. 2017.Knowledge has been a subject of philosophical study since ancient times. This is not surprising since knowledge is crucial for humans to control their actions and the appetite for acquiring it seems innate to the human race. Philosophy, therefore, has always occupied itself with the question as to the nature of knowledge. This area of philosophy is generally referred to as epistemology from the Greek word for knowledge: episteme. Plato defined knowledge as “justified true belief,” and this defin…Read more
Columbus, Ohio, United States of America