Victor Jauregui
I recently completed my PhD in Artificial Intelligence (AI) in
the School of Computer Science and Engineering (CSE) at the
University of New South Wales (UNSW).
My research employs the principles of Mathematical Logic to tackle
problems in AI; in particular, to develop formal accounts of
nonmonotonic reasoning.
My thesis is entitled Modalities, Conditionals and Nonmonotonic
Reasoning and it uses modal (conditional) logic to study
nonmonotonic inference.
For a sample of my work see the following paper which appeared
at the 23rd Association for the Advancement of Artificial Intelligence
(AAAI) Conference:
Nonmonotonic modes of inference (.pdf)
Research
My research interests are in:
- Mathematical logic and foundations
- Modal logic
- Nonmonotonic inference
- Artificial Intelligence
Publications
-
Jauregui, V., Pham, S. B. An Imperative Account of Actions.
10th Pacific-Rim International Conference on Artificial
Intelligence, Springer, 2008.
-
Jauregui, V. Nonmonotonic Modes of Inference.
23rd AAAI Conference on Artificial Intelligence, AAAI press,
2008.
-
Jauregui, V. The `Majority' and `by Default' Modalities.
Proceedings of the 20th Australian Joint Conference on
Artificial Intelligence. Springer, 2007.
-
Jauregui, V. Semantical Considerations for a Logic of Actions: An
Imperative Manifesto. Proceedings
of the 10th International Conference on Principle of Knowledge
Representation and Reasoning (KR06). AAAI press, 2006.
-
Jauregui, V., Pagnucco, M., Foo, N. On the Intended
Interpretations of Actions. Proceedings of the Eighth Pacific
Rim International Conference on Artificial Intelligence,
Springer,
2004.
-
Jauregui, V., Pagnucco, M., Foo, N. Simplicity in Solving the
Frame Problem. Proceedings of the Sixteenth European
Conference on Artificial Intelligence, Springer, 2004.
-
Jauregui, V., Pagnucco, M., Foo, N.
A Trajectory Approach to Causality. Studia
Logica: Special Issue on Commonsense Reasoning II,
vol 67:3, pp385--401, Apr. 2001.
-
Jauregui, V., Pagnucco, M., Foo, N.
A Trajectory Approach to Causality. Presented at the
3rd Australian Commonsense Workshop at
the 12th Australian Joint Conference on
Artificial Intelligence,
Dec. 1999.
-
Prokopenko, M., Jauregui, V. Reasoning
About Actions in Virtual Reality.
Presented at the Workshop on Non-monotonic
Reasoning, Action and
Change, at the 15th International Joint Conference on
Artificial Intelligence (IJCAI'97). Nagoya, Japan,
August 1997.