Research Links:
- Publications list DBLP.
- List of some publications in journal, lecture notes, proceedings.
- ACM Programming Contest.
- Texas Action Group.
- Other links.
- Knowledge Representation
- Logic Programming
- Automatic Reasoning
- Argumentation
home
Research Links:
|