Merge pull request #175 from krr-up/aucher10a

Aucher10a

krr.bib

@@ -1454,6 +1454,16 @@ @inproceedings{aucbol13a
   pages = {27-33}
 }
 
+@article{aucher10a,
+  title = {An Internal Version of Epistemic Logic},
+  author = {G. Aucher},
+  journal = {Studia Logica},
+  number = {1},
+  pages = {1-22},
+  volume = {94},
+  year = {2010}
+}
+
 @inproceedings{audsim08a,
   title = {Experimenting a Conflict-Driven Clause Learning Algorithm},
   author = {G. Audemard and L. Simon},
@@ -18452,6 +18462,14 @@ @inproceedings{mopalumamakuko16a
   year = {2016}
 }
 
+@inproceedings{morgenstern90a,
+  title = {A Formal Theory of Multiple Agent Nonmonotonic Reasoning},
+  author = {F. Morgenstern},
+  crossref = {aaai90},
+  pages = {538-544},
+  year = {1990}
+}
+
 @inproceedings{mormar05a,
   title = {Good Learning and Implicit Model Enumeration},
   author = {A. Morgado and J. Marques-Silva},