Grigoris Antoniou

2 papers in the IJCAI proceedings

IJCAI 2011

Reasoning and Proofing Services for Semantic Web Agents

with Kalliopi Kravari, Constantinos Papatheodorou, Nick Bassiliades

doi:10.5591/978-1-57735-516-8/IJCAI11-443

Details PDF

IJCAI 1983

TERMINATOR

with Hans Jürgen Ohlbach

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings