Grigoris Antoniou Papers on DiSC'04 On a Unifying Framework for Comparing Knowledge Representation Schemes Publications Note: Links lead to the DBLP on the Web. Grigoris Antoniou Grigoris Antoniou: A Discussion of Some Intuitions of Defeasible Reasoning. SETN 2004 : 311-320 Grigoris Antoniou, Frank van Harmelen : Web Ontology Language: OWL. Handbook on Ontologies 2004 : 67-92 Giorgos Flouris , Dimitris Plexousakis , Grigoris Antoniou: On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB 2003 Grigoris Antoniou, Gerd Wagner : Rules and Defeasible Reasoning on the Semantic Web. RuleML 2003 : 111-120 Grigoris Antoniou: Defeasible Logic with Dynamic Priorities. ECAI 2002 : 521-525 Grigoris Antoniou, Michael J. Maher : Embedding Defeasible Logic into Logic Programs. ICLP 2002 : 393-404 Grigoris Antoniou: Nonmonotonic Rule Systems on Top of Ontology Layers. International Semantic Web Conference 2002 : 394-398 Grigoris Antoniou: A Nonmonotonic Rule System using Ontologies. RuleML 2002 Grigoris Antoniou, M. Arief : Executable declarative business rules and their use in electronic commerce. SAC 2002 : 6-10 Grigoris Antoniou: On the dynamics of default reasoning. Int. J. Intell. Syst. 17 (12): 1143-1155 (2002) Grigoris Antoniou, David Billington : Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001 : 13-24 Grigoris Antoniou, David Billington , Guido Governatori , Michael J. Maher : Representation results for defeasible logic. ACM Trans. Comput. Log. 2 (2): 255-287 (2001) Michael J. Maher , Andrew Rock , Grigoris Antoniou, David Billington , Tristan Miller : Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10 (4): 483-501 (2001) Grigoris Antoniou, David Billington , Guido Governatori , Michael J. Maher : A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000 : 405-410 Grigoris Antoniou, David Billington , Guido Governatori , Michael J. Maher , Andrew Rock : A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000 : 459-463 Michael J. Maher , Andrew Rock , Grigoris Antoniou, David Billington , Tristan Miller : Efficient defeasible reasoning systems. ICTAI 2000 : 384-392 Guido Governatori , Michael J. Maher , Grigoris Antoniou, David Billington : Argumentation Semantics for Defeasible Logics. PRICAI 2000 : 27-37 Grigoris Antoniou, Cara MacNish : Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. 15 (9): 859-877 (2000) Grigoris Antoniou, Michael J. Maher , David Billington : Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42 (1): 47-57 (2000) Grigoris Antoniou: On the Dynamics of Default Reasoning. ESCQARU 1999 : 1-10 Grigoris Antoniou, David Billington , Michael J. Maher : On the Analysis of Regulations using Defeasible Rules. HICSS 1999 Grigoris Antoniou, Aditya Ghose : What Is Default Reasoning Good For? Applications Revisited. HICSS 1999 Grigoris Antoniou, Fumihiro Maruyama , Ryusuke Masuoka , Hironobu Kitajima : Issues in Intelligent Information Integration. IMSA 1999 : 345-349 David Billington , Grigoris Antoniou, Guido Governatori , Michael J. Maher : Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999 : 101-112 Grigoris Antoniou, Michael J. Maher , David Billington , Guido Governatori : A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999 : 347-356 Grigoris Antoniou: A tutorial on default logics. ACM Comput. Surv. 31 (4): 337-359 (1999) Grigoris Antoniou, Neil V. Murray : Logical Methods for Computational Intelligence (Guest Editorial). Inf. Sci. 116 (1): 1-2 (1999) Aditya Ghose , Grigoris Antoniou, Randy Goebel , Abdul Sattar : Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117 (3-4): 177-190 (1999) Grigoris Antoniou: Splitting Finite Default Theories: A Comparison of Two Approaches. Journal of Logic, Language and Information 8 (2): 205-216 (1999) Robert Plant , Grigoris Antoniou: Special issue on verification and validation. Knowl.-Based Syst. 12 (1-2): 1-2 (1999) Grigoris Antoniou, Aditya Ghose , Miroslaw Truszczynski : Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers Springer 1998 Grigoris Antoniou, John K. Slaney : Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers Springer 1998 Michael J. Maher , Grigoris Antoniou, David Billington : A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998 : 215-226 Grigoris Antoniou, David Billington , Michael J. Maher : Normal Forms for Defeasible Logic. IJCSLP 1998 : 160-174 Mary-Anne Williams , Grigoris Antoniou: A Strategy for Revising Default Theory Extensions. KR 1998 : 24-35 Grigoris Antoniou, Frank van Harmelen , Robert Plant , Jan Vanthienen : Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Magazine 19 (3): 123-126 (1998) Grigoris Antoniou, Volker Sperschneider : Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. 12 (6): 431-443 (1998) Grigoris Antoniou: The Role of Nonmonotonic Representations in Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 8 (3): 385-399 (1998) Grigoris Antoniou, Tyrone O'Neill , Joe Thurbon : Studying properties of classes of default logics. J. Exp. Theor. Artif. Intell. 10 (4): 495-505 (1998) Grigoris Antoniou: A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. 10 (4): 507-509 (1998) Grigoris Antoniou: A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI 1997 : 424-429 Jörg Ernst , Grigoris Antoniou: Stratification for Variants of Default Logic. AAAI/IAAI 1997 : 830 Cara MacNish , Grigoris Antoniou: Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence 1997 : 246-254 Grigoris Antoniou: Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence 1997 : 255-264 Grigoris Antoniou: Stratification: The Computational Base of a System for Default Reasoning. ICTAI 1997 : 165- Grigoris Antoniou, Mary-Anne Williams : Reasoning with Incomplete and Changing Information: The CIN Project. Inf. Sci. 99 (1-2): 83-99 (1997) Grigoris Antoniou, Elmar Langetepe : A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reasoning 18 (1): 25-46 (1997) Allen P. Courtney , Norman Y. Foo , Grigoris Antoniou: Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 1996 : 1381 Grigoris Antoniou: A Comparative Survey of Default Logic Variants. FAPR 1996 : 15-28 Grigoris Antoniou, Mary-Anne Williams : Default Reasoning and Belief Revision in the CIN Project. FAPR 1996 : 691-693 Grigoris Antoniou, Mary-Anne Williams : CIN: an intelligent information management toolkit. IFIP World Conference on IT Tools 1996 : 395-401 Grigoris Antoniou, Allen P. Courtney , Jörg Ernst , Mary-Anne Williams : A System for Computing Constrained Default Logic Extensions. JELIA 1996 : 237-250 Allen P. Courtney , Grigoris Antoniou, Norman Y. Foo : Exten: A System for Computing Default Logic Extensions. PRICAI 1996 : 471-482 Grigoris Antoniou, Cara MacNish , Norman Y. Foo : Conservative Expansion Concepts for Default Theories. PRICAI 1996 : 522-533 Grigoris Antoniou, Tyrone O'Neill , Joe Thurbon : Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI 1996 : 558-569 Grigoris Antoniou, Mary-Anne Williams : Some approaches to reasoning with incomplete and changing information. PRICAI Workshops 1996 : 9-44 Grigoris Antoniou: Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. 89 (3): 261-273 (1996) Grigoris Antoniou: Priorities in Default Logic Revisited. AI*IA 1995 : 152-162 Grigoris Antoniou: Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995 : 141-153 Grigoris Antoniou, Elmar Langetepe : Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI 1994 : 934-939 Grigoris Antoniou, Elmar Langetepe , Volker Sperschneider : New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12 (3-4): 215-229 (1994) Grigoris Antoniou, Volker Sperschneider : Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. 8 (1): 3-16 (1994) Grigoris Antoniou, Elmar Langetepe : Applying SLD-resolution to a class of non-Horn logic programs. Bulletin of the IGPL 2 (2): 229-241 (1994) Grigoris Antoniou: The Verification of Modules. Formal Asp. Comput. 6 (2): 223-244 (1994) Grigoris Antoniou: Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA 1993 : 35-40 Grigoris Antoniou: Version Space Algorithms on Hierarchies with Exceptions. EPIA 1993 : 136-149 Grigoris Antoniou, Elmar Langetepe : A Process Model for Default Logic and Its Realization in Logic Programming. EPIA 1993 : 213-225 Grigoris Antoniou, Volker Sperschneider : On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993 : 117-128 Grigoris Antoniou, Elmar Langetepe , Volker Sperschneider : Computing Extensions of Default Logic - Preliminary Report. LPAR 1993 : 19-27 Grigoris Antoniou, Volker Sperschneider : Computing Extensions of Nonmonotonic Logics. SCAI 1993 : 20-29 Grigoris Antoniou: Logical Approaches to Structured Knowledge Bases. AIMSA 1992 : 47-56 Grigoris Antoniou, Volker Sperschneider : Modularity for Logic Programs. ALPUK 1992 : 97-107 Grigoris Antoniou, Volker Sperschneider : On the Verification of Modules. CSL 1989 : 16-35 Grigoris Antoniou: Bericht über den Workshop ``Verifikation, Konstruktion und Synthese von Programmen''. KI 3 (3): 23-24 (1989) Grigoris Antoniou, Hans Jürgen Ohlbach : TERMINATOR. IJCAI 1983 : 916-919 1 [ 67 ] 2 [ 42 ] [ 43 ] [ 51 ] [ 52 ] [ 55 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] [ 64 ] [ 65 ] 3 [ 23 ] [ 24 ] [ 28 ] 4 [ 24 ] [ 34 ] 5 [ 73 ] 6 [ 22 ] [ 23 ] [ 28 ] 7 [ 45 ] [ 48 ] [ 54 ] 8 [ 48 ] 9 [ 51 ] [ 52 ] [ 59 ] [ 61 ] [ 62 ] [ 64 ] 10 [ 40 ] [ 74 ] 11 [ 53 ] 12 [ 7 ] [ 9 ] [ 13 ] [ 15 ] [ 16 ] [ 29 ] 13 [ 22 ] [ 33 ] [ 58 ] 14 [ 42 ] [ 43 ] [ 51 ] [ 52 ] [ 55 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] [ 64 ] [ 70 ] 15 [ 53 ] 16 [ 53 ] 17 [ 60 ] [ 63 ] 18 [ 49 ] 19 [ 21 ] [ 37 ] 20 [ 1 ] 21 [ 40 ] [ 46 ] 22 [ 73 ] 23 [ 60 ] [ 61 ] [ 63 ] 24 [ 48 ] 25 [ 44 ] 26 [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 8 ] [ 14 ] [ 15 ] [ 39 ] 27 [ 21 ] [ 37 ] 28 [ 45 ] 29 [ 40 ] 30 [ 72 ] 31 [ 20 ] [ 24 ] [ 25 ] [ 26 ] [ 30 ] [ 41 ] ©2004 Association for Computing Machinery