共 50 条
- [41] From logic programming towards multi‐agent systems Annals of Mathematics and Artificial Intelligence, 1999, 25 : 391 - 419
- [42] Towards biresiduated multi-adjoint logic programming CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, 2004, 3040 : 608 - 617
- [44] From Answer Set Logic Programming to Circumscription via Logic of GK 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 441 - 446
- [45] Combining Event Calculus and Description Logic Reasoning via Logic Programming FRONTIERS OF COMBINING SYSTEMS (FROCOS 2021), 2021, 12941 : 98 - 117
- [49] Towards a Systems Programming Language Designed for Hierarchical State Machines 8TH IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY (SMC-IT 2021), 2021, : 23 - 30