All of DSpace

Browsing by Subject "Formal logic"

Now showing items 1-3 of 3

    • Assumption-based reasoning in dynamic normative agent systems 

      Giannikis, G. K.; Daskalopulu, A. (2010)
      In this paper we address dynamic assumption-based reasoning in open agent systems, where, unavoidably, agents have incomplete knowledge about their environment and about other agents. The interactions among agents in such ...

    • Defeasible reasoning with e-contracts 

      Giannikis, G. K.; Daskalopulu, A. (2007)
      We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative ...

    • Limiting the impact of statistics as a proverbial source of falsehood 

      Kiouvrekis Y., Stefaneas P., Kokkinaki A., Asimakis N. (2019)
      This paper presents an early version of a decision-making “eco” system. We refer to it as an “eco” system because it is primarily based on mathematical logic and combines concepts and principles from the fields of statistics, ...