- Logic programming--Congresses (3)
- Artificial intelligence--Congresses (2)
- Knowledge representation (Information theory)--Congresses (1)
- Logic programming (1)
- Logic programming (Computer science)--Congresses (1)
- Logic--Congresses (1)
- Nonmonotonic reasoning--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)
- Reasoning (1)
- Reasoning--Congresses (1)