Dissertations Related to Defeasible Logic

2002

Benjamin Johnston
Induction of Defeasible Logic Theories in the Legal Domain. Honours, School of Information Technology and Electrical Engineering, The University of Queensland, 2002.
(pdf, abstract, BiBTeX)

2003

Vineet Chand Padmanabhan Nair
On Extending BDI Logics. Phd, School of Information Technology, Griffith University, 2003.
(pdf, abstract, BiBTeX)

2005

Michael McDougal
Modeling and Analyzing Integrated Policies. Phd, Computer and Information Science, University of Pensnsylvania, 2005.
(pdf, abstract, BiBTeX)

2007

Nikos Dimaresis
A System for Modal and Deontic Defeasible Reasoning. Mphil, School of Sciences and Engineering, Computer Science Department, University of Crete, 2007.
(pdf, abstract, BiBTeX)
Andrew Newman
An Implementation of Temporalised Defeasible Logic. Honours, School of Information Technology and Electrical Engineering, The University of Queensland, 2007.
(pdf, abstract, BiBTeX)
Pakornpong Pothipruk
Query Answering for Multiple Complex Resources: Description Logic in the Semantic Web Context. Phd, School of Information Technology and Electrical Engineering, The University of Queensland, 2007.
(pdf, abstract, BiBTeX)

2008

Régis Riveret
Interactions Between Normative Systems and Software Cognitive Agents. A Formalization in Temporal Modal Defeasible Logic. Phd, CIRSFID, Università di Bologna, 2008.
(pdf, abstract, BiBTeX)
Insu Song
Design Agent Chips. Phd, School of Information Technology and Electrical Engineering, The University of Queensland, 2008.
(pdf, abstract, BiBTeX)
Subhasis Thakur
Dialogue Games in Defeasible Logicc. Mphil, School of Information Technology and Electrical Engineering, The University of Queensland, 2008.
(pdf, abstract, BiBTeX)

2009

Antonis Bikakis
Defeasible Contextual Reasoning in Ambient Intelligence. Phd, Computer Science Departmen, University of Crete, 2009.
(pdf, abstract, BiBTeX)
Jenny Eriksson Lundström
On the Formal Modeling of Games of Language and Adversarial Argumentation: A Logic-Based Artificial Intelligence Approach. Phd, Faculty of Social Science, Uppsala University, 2009.
(pdf, abstract, BiBTeX)
Lai-Chen Lu
Automatic Electronic Business Collaboration Based on Intelligent Agent Technology. Phd, Department of Computer Science and Engineering, Tatung University, 2009.
(pdf, abstract, BiBTeX)
Rossella Rubino
Una Implementazione della Logica Defeasible Temporale per il Ragionamento Giuridico. Phd, CIRSFID, Università di Bologna, 2009.
(pdf, abstract, BiBTeX)

2010

Giacomo Aceto
Implementation of a non-Ground Meta-Interpreter for Defeasible Logic. Mphil, Facoltà di Ingeneria, Università di Bologna, 2010.
(pdf, abstract, BiBTeX)
Elisa Burato
Meaning Negotiation in Multiple Agent Systms: An Automated Reasoning Approach. Phd, Dipartimento di Informatica, Università di Verona, 2010.
(pdf, abstract, BiBTeX)
Duy Hoang Pham
Efficient Representation and Effective Reasoning for Multi-Agent Systems. Phd, School of Information Technology and Electrical Engineering, The University of Queensland, 2010.
(pdf, abstract, BiBTeX)

2012

Ho Pun Lam
On the Derivability of Defeasible Logic. Phd, School of Information Technology and Electrical Engineering, The University of Queensland, 2012.
(pdf, abstract, BiBTeX)

Disclaimer

The theses in this section are copyrighted by the respective authors. Personal and educational use are permitted. Any other usage is prohibited without the express permission of the authors.

Submitting a Thesis

If you want to submit a thesis to this site, please with the details of the thesis.