These are resources that I find useful, and hence are strongly biased towards my interests. Omission from this list does not imply anything significant (except, perhaps, some sloth on my part).

- Computer Science, RMIT
- CS&SE,Melbourne University
- Information Systems, Melbourne University
- CS&SE,Monash University
- Agents Vic

- RMIT Agents
- `Proofs and Types' by Girard, Lafont and Taylor
- Sequent Proofs
- Proof Theory Page
- Logic Museum

- EACSL Annual Conference on Computer Science and Logic (CSL'07)

- 35th International Colloquium on Automata, Languages and Programming (ICALP'08)

- CATS'08

- ACSW'08

- International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08)

- Computability in Europe 2008: Logic and Theory of Algorithms (CiE'08)

- International Joint Conference on Automated Deduction (IJCAR'08)

- Logical Methods in Computer Science (free on-line access)
- Discrete Mathematics and Theoretical Computer Science
- Information and Computation
- Journal of Automated Reasoning
- Journal of Logic and Computation
- Theory and Practice of Logic Programming
**Note:**This journal was founded after the Editorial Board of the Journal of Logic Programming resigned en masse in November, 1999. The Assocation for Logic Progamming withdrew its support for the Journal of Logic Programming, and adopted the Theory and Practice of Logic Programming as the sole official journal of the Association for Logic Programming. - Journal of Symbolic Computation
- Journal of Symbolic Logic
- Theoretical Computer Science
- ACM Transactions on Computational Logic

- Association for Automated Reasoning
- Association for Logic Programming
- Association for Symbolic Logic
- Computer Science Association
- Australian Research Council
- Australian Research Council (Grants Programmes)
- National Information and Communication Technology of Australia

- Linear Logic
- Logic Programming Archive
- Logic Programming Page
- Logic Programming References
- Automated Reasoning
- Links2Go (Logic)
- AgentCities
- RoboCup
- RoboRescue

- Beginner¡¯s Resources to Learn Programming Languages
- Lygon
- Lolli
- Forum
- Lambda Prolog
- Mercury
- NuProlog and related systems
- BProlog
- Open Prolog
- GNU Prolog
- BinProlog 5.75
- Ciao Prolog
- Prolog CAFE
- Programming Resources
- Beginner's Guide to Programming