Antoniou, Grigoris

12 publications

AAAI 2015 Exploiting Parallelism for Hard Problems in Abstract Argumentation Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou

IJCAI 2011 Reasoning and Proofing Services for Semantic Web Agents Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

AAAI 2008 Distributed Reasoning with Conflicts in a Multi-Context Framework Antonis Bikakis, Grigoris Antoniou

JAIR 2008 Extended RDF as a Semantic Foundation of Rule Markup Languages Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

AAAI 2007 Implementing Modal Extensions of Defeasible Logic for the Semantic Web Nikos Dimaresis, Grigoris Antoniou

AAAI 2005 DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web Antonis Bikakis, Grigoris Antoniou

AAAI 2000 A Flexible Framework for Defeasible Logics Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher

AAAI 1997 A Comparison of Two Approaches to Splitting Default Theories Grigoris Antoniou

AAAI 1997 Stratification for Variants of Default Logic Jörg Ernst, Grigoris Antoniou

AAAI 1996 Computing Default Logic Extensions: An Implementation Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou

AAAI 1994 Soundness and Completeness of a Logic Programming Approach to Default Logic Grigoris Antoniou, Elmar Langetepe

IJCAI 1983 TERMINATOR Grigoris Antoniou, Hans Jürgen Ohlbach