- Logic programming--Congresses (4)
- Artificial intelligence--Congresses (2)
- Nonmonotonic reasoning--Congresses (2)
- 器械計算.計算器 (2)
- Computer systems--Congresses (1)
- Engineering--Societies, etc.--Congresses (1)
- Information technology--Congresses (1)
- Intelligent agents (Computer software)--Congresses (1)
- Knowledge representation (Information theory)--Congresses (1)
- Logic programming (Computer science)--Congresses (1)
- Logic--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)