Farshad Badie, PhD Candidate

Focus Areas

  • Formal Logics
  • Formal Semantics
  • Epistemology
  • Knowledge Representation
  • Philosophy of Education
  • Human-Machine Interaction

 

INTERNATIONAL AFFILIATIONS

  • Executive Committee Member (Secretary) of Nordic Association of Linguists (2016 - ...)
  • Member of Scandinavian Logic Society
  • Member of Copenhagen Association for Dynamics Interaction Logic Language & Computation
  • Member of Association for Symbolic Logic
  • Member of Nordic Society for Phenomenology
  • Member of Association for Neural-Symbolic Learning and Reasoning (NeSy)

 

Education

  • PhD Candidate in Human Centered Communication & Informatics (HCCI Doctoral Program), Doctoral School of Humanities, Aalborg University, Denmark. (Oct 2014 - Present)
  • PhD Internship in Computer Science (Machine Learning & Ontology Engineering), Department of Computer Science, University of Leipzig, Germany. (Aug 2013 - Jul 2014)
  • MSc Certificate (graded with honour) in "Software Information Technology & Computer Science. Specialisation: Information Systems". Informatics Faculty, University of Debrecen, Hungary. (Sep 2011 - Jun 2013) - GPA: 4.82 / 5.
  • Basic Courses of MSc in Applied Mathematics, Faculty of Basic Sciences, Tehran Central Branch University. (Dec 2009 - Dec 2010)
  • BSc in Applied Mathematics, Faculty of Basic Sciences, Tehran Central Branch University. (Sep 2002 - Feb 2008)
  • Pre-University Certificate in Mathematical Sciences. (Jul 2001 - Jun 2002)
  • High School Certificate in Mathematics and Physics. (Sep 1998 - Jun 2001) 

 

Publications

  • Full list (+ abstracts) is available on AAU-VBN
  1. Farshad Badie (Accepted Chapter, 2017): “From Concepts to Predicates within Constructivist Epistemology”. A volume in the Springer's FoLLI Series on Logic, Language and Information. Proceedings of 6th International Conference on Logic, Rationality and Interaction (LORI). Sapporo, Japan.

  2. Farshad Badie (Accepted Paper, 2017): "Towards Predication of Conceptions through Constructivist Questions and Answers". Proceedings of QuestPro, Poznan Reasoning Week (PRW) 2017, Poznań, Poland.

  3. Farshad Badie: “Knowledge Building Conceptualisation within Smart Constructivist Learning Systems",  Book title: “Smart Universities: Concepts, Systems, Research”. The Smart Innovation, Systems and Technologies book series. Springer International Publishing AG (First Quarter of 2017)

  4. Farshad Badie: "On Logical Characterisation of Human Concept Learning based on Terminological Systems", Journal of Logic and Logical Philosophy, Nicolaus Copernicus University, Poland.

  5. Farshad Badie: "A Formal Semantics for Concept Understanding relying on Description Logics", Proceedings of the 9th International Conference on Agents and Artificial Intelligence. Porto, Portugal (February 2017). This paper has been selected to be included in ‘ Lecture Notes in Artificial Intelligence’ , Springer.  

  6. Farshad Badie: “On Logical Characterisation of Human Concept Learning within Terminological Systems”, 2nd Conference on Logic & Cognition, Poznań Reasoning Week, Poznań, Poland (September 2016)

  7.  Farshad Badie: “Towards Semantic Analysis of Mentoring-Learning Relationships within Constructivist Interactions”, In Emerging Technologies for Education. Springer International Publishing. Springer Lecture Notes in Computer Science. Proceedings of International Symposium on Emerging Technologies for Education, Rome, Italy (October 2016) 

  8. Farshad Badie: “A Conceptual Framework over Contextual Analysis of Concept Learning within Human-Machine Interplays”, In Emerging Technologies for Education. Springer International Publishing. Springer Lecture Notes in Computer Science. Proceedings of International Symposium on Emerging Technologies for Education, Rome, Italy (October 2016) 

  9. Farshad Badie: “Towards Concept Understanding relying on Conceptualisation in Constructivist Learning”, Proceedings of the 13th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA), Mannheim, Germany. (October 2016)

  10. Farshad Badie and Hans Götzsche: “Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic”, Bulletin of Symbolic Logic (Report of Logic Colloquium 2016), Leeds, UK. (August 2016) 

  11. Farshad Badie: "Towards Semantic Analysis of Training-Learning Relationships within Human-Machine Interactions", Proceedings of the 9th International Conference on Advances in Computer-Human Interactions (ACHI-2016: Human-robot interaction). Venice, Italy (April 2016).

  12. Farshad Badie: "Logical Characterisation of Concept Transformations from Human into Machine Relying on Predicate Logic", Proceedings of the 9th International Conference on Advances in Computer-Human Interactions (ACHI-2016: Principles, theories, and models). Venice, Italy (April 2016).

  13. Farshad Badie: "A Conceptual Framework for Knowledge Creation Based on Constructed Meanings within Mentor-Learner Conversations" in Smart Education and e-Learning 2016, Springer International Publishing (Proceedings of the 3rd International KES Conference on Smart Education and E-Learning), Tenerife, Spain (June 2016). 

  14. Farshad Badie: “A Semantic Representation of Adult Learners' Developing Conceptions of Self Realisation through Learning Process”, Proceedings of the 10th Annual International Technology, Education and Development Conference. International Association of Technology, Education and Development. Valencia, Spain (March 2016).

  15. Farshad Badie: "Concept Representation Analysis in the Context of Human-Machine Interactions", Proceedings of the 14th International Conference on e-Society. International Association for Development of the Information Society. Algarve, Portugal. (April 2016).

  16. Farshad Badie: "A Conceptual Mirror: Towards a Reflectional Symmetrical Relation Between Mentor And Learner", International Journal of Information and Education Technology (Proceedings of ICEPS 2016: the 3rd International Conference on Education and Psychological Sciences), Florence, Italy (February 2016) / The Best Session's Paper Award.

  17. Farshad Badie: "Towards a Semantics Based Framework for Meaning Construction in Constructivist Interactions", Proceedings of the 8th International Conference of Education, Research and Innovation, International Association of Technology, Education and Development. Seville, Spain (November 2015).

  18. Farshad Badie: "A Semantic Basis for Meaning Construction in Constructivist Interactions", Proceedings of the 12th International Conference on Cognition and Exploratory Learning in Digital Age, International Association for Development of the Information Society, Maynooth, Greater Dublin, Ireland (October 2015).

  19. Farshad Badie: "Towards a Formal Symbolic Occurrence Logic". Meaning of Language. In Cambridge Scholar Publishing, Proceedings of the 26th Scandinavian Conference of Linguistics (August 2015)

  20. Farshad Badie and Hans Götzsche: "Towards a Formal Occurrence Logic based on Predicate Logic", Book of Abstracts - The 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015) & Logic Colloquium15 (LC2015), Helsinki, Finland (August 2015).

  21. Farshad Badie, Tommaso Soru and Jens Lehmann: "A Fuzzy Knowledge Representation Model for Student Performance Assessment", 14th IEEE International Conference on Advanced Learning Technologies (ICALT 2014). Advanced Technologies for Supporting Open Access to Formal and Informal Learning, Athens, Greece (July 2014).

  22. "Mathematical Process: A Viewpoint-Oriented Manipulation Perspective". World Applied Sciences Journal (2008).

 

Talks & presentations 

  1. Farshad Badie: “A Formal Semantics for Concept Understanding Relying on Description Logics”. 9thInternational Conference on Agents and Artificial Intelligence. Session for Artificial Intelligence. Porto, Portugal (February 2017)

  2. Farshad Badie: "Towards Semantic Analysis of Mentoring-Learning Relationships within Constructivist Interactions", International Symposium on Emerging Technologies for Education, Track for 'Emerging Technologies of Design, Model and Framework of Learning Systems', Sapienza University, Roma, Italy (October 2016)

  3. Farshad Badie: "A Conceptual Framework over Contextual Analysis of Concept Learning within Human-Machine Interplays", International Symposium on Emerging Technologies for Education, Track for 'Emerging Technologies of Design, Model and Framework of Learning Systems', Sapienza University, Roma, Italy (October 2016)

  4. Farshad Badie: “On Logical Characterisation of Human Concept Learning within Terminological Systems”, 2nd Conference on Logic & Cognition, Poznań Reasoning Week, Poznań, Poland (September 2016).

  5. Farshad Badie: "Conceptual Analysis of Inductive Meaning Constructing in Constructivist Interactions between Mentor and Learner": Creative University Conference (in Knowledge Cultures, Critical Creative Thinking and Innovative Learning Processes), Session for Learning Processes and Knowledge Building Aalborg, DENMARK (August 2016).

  6. Hans Götzsche and Farshad Badie: “Towards Logical Analysis of Occurrence Values in Truth-Functional Independent Occurrence Logic”, Logic Colloquium 2016 (by Association for Symbolic Logic), Session for ‘Philosophical Logic’, Leeds, UK (August 2016).

  7. Farshad Badie: "A Conceptual Mirror: Towards A Reflectional Symmetrical Relation Between Mentor And Learner". The 3rd International Conference on Education and Psychological Sciences (ICEPS), Florence, Italy (February 2016).

  8. Farshad Badie: [Virtual Talk] "A Semantic Representation of Adult Learners' Developing Conceptions of Self Realisation Through Learning process”, the 10th Annual International Technology, Education and Development Conference (INTED) - Research on Technology in Education Session, Valencia, Spain (March 2016).

  9. Farshad Badie: "A Component Based Model For Inductive Concept Learning Through Human Robot Interaction", the Fourth Annual Aalborg U Robotics Workshop, Special Panel For Human Robot Interaction, Aalborg University, Denmark (November 2015).

  10. Farshad Badie: [Virtual Talk] "Towards A Semantics Based Framework For Meaning Construction in Constructivist Interactions", the 8th Annual International Conference of Education, Research and Innovation (ICERI) - Research on Technology in Education Session, Seville, Spain (November 2015). 

  11. Farshad Badie: "A Semantic Basis For Meaning Construction in Constructivist Interactions", the 12th International Conference on Cognition and Exploratory Learning (CELDA) - Technology and Mental Models Session, Maynooth University, Ireland (October 2015). 

  12. Farshad Badie: "Towards Symbolic Occurrence Logic", the 26th Scandinavian Conference of Linguistics (SCL), Aalborg University, Denmark (August 2015). 

  13. Farshad Badie: "Towards a Formal Occurrence Logic based on Predicate Logic", Logic Colloquium 2015 (LC), University of Helsinki, Finland (August 2015).  

  14. Farshad Badie and :"Logical Characterisation of Ontology Construction using Fuzzy Description Logics", Revealing Hidden Knowledge Workshop, Copenhagen Business School, Denmark (January 2015).

  15. Farshad Badie: [Presenting Poster]: “A Fuzzy Knowledge Representation Model for Student Performance Assessment”, The 14th IEEE International Conference on Advanced Learning Technologies - ICALT2014: Advanced Technologies for Supporting Open Access to Formal and Informal Learning, (July 2014)

  16. Farshad Badie: "Fuzzy OWL Class Expressions", Internal AKSW Colloquium, Institute for Applied Informatics, University of Leipzig, Germany (November 2013).

  17. Farshad Badie: "Fuzzy OWL Class Expression (For Intelligent Learning Based on Semantic Web)", MinuteMadness, Leipziger Semantic Web Day (LSWT), University of Leipzig, Germany (September 2013). 

 

Work Experiences

  • PhD Researcher: Center for Linguistics, Department of Communication, Aalborg University, DENMARK. (October 2014 —)
  • External Consultant: D4Tec Cognitive Systems, Aalborg, DENMARK. (June 2016 —)
  • Visiting Research Fellow: SCCIIL Interdisciplinary Center, IT Faculty, University of Gothenburg, Sweden (November 2016)
  • Research Assistant: Institute for Applied Informatics, Department of Computer Science, University of Leipzig, Germany. (Aug 2013 - Aug 2014) . Focus Areas: (i) Description Logics and Fuzzy Description Logics, Knowledge Representation, (ii) Fuzzy Knowledge Representation, Fuzzy Ontology Representation and Reasoning, (iii) Concept Learning in Ontologies, Class Expressions in Web Ontology Language, (iv) Intelligent Educational System based on Semantic Web.
  • Teaching Assistant and Seminar Leader: Department of Computer Science, Informatics Faculty, University of Debrecen, Hungary. (September 2012 – June 2013) . Focus Areas: Mathematical Logic in Computer Science, Formal and Symbolic Logic, Propositional Logic, Predicate Logic, Gentzen Calculus.
  • Teacher (Mathematical Sciences): Colleges and High schools, Tehran, Iran. (2004 - 2010). 

 

RESPONSIBILITIES

  • Chair of Session for Artificial Intelligence, 9th International Conference on Agents and Artificial Intelligence, Porto, Portugal (February 2017)

  • Invited Chair and Speaker, Educational Leadership Forums, World Education Day-2017 (Inheritance, Innovation, Development and Philanthropy), Dalian, China, September 2017.

  • Program Committee member of the 2017 IEEE International Conference on INnovations in Intelligent SysTems and Applications (INISTA 2017), Special Session on Semantic Intelligence (SINTEL 2017), Gdynia, Poland, July 2017.

  • Invited editorial board member and reviewer, the journal of 'Philosophy Study', David Publishing Company, New York, USA.

  • Invited Committee member and reviewer, the 10th International Conference on Advances in Computer-Human Interactions (ACHI 2017), Nice, France, March 2017.

  • Invited reviewer and technical committee member, the 4th International Conference on Education and Psychological Sciences (ICEPS 2017), Barcelona, Spain, February 2017.

  • Anonymous Reviewer, International Symposium on Emerging Technologies for Education (SETE’16), Sapienza University, Roma, Italy, October 2016.

  • Invited chair for 'Interactive Systems' session, the 9th International Conference on Advances in Computer-Human Interactions (ACHI 2016), Venice, Italy, April 2016.

  • Invited reviewer, the 3rd International Conference on Education and Psychological Sciences (ICEPS 2016), Florence, Italy, February 2016.

  • Technical Committee Member, the 3rd International Conference on Education and Psychological Sciences (ICEPS 2016), Florence, Italy, February 2016.

  • Member of Research Meetings for Book Edition; Book Title: "Past, Present and Future" by A. N. Prior, Oxford University Press. (May 2015 - November 2015)