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
- 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)
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.