- Logic programming--Congresses (4)
- Artificial intelligence--Congresses (2)
- Nonmonotonic reasoning--Congresses (2)
- Computer software--Development (1)
- Engineering--Societies, etc.--Congresses (1)
- Intelligent agents (Computer software) (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)
- System design (1)