Title: Advances in technological applications of logical and intelligent systems
Subjects: Congresses, Symbolic and mathematical Logic, Artificial intelligence, Logic programming, Robotics