The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grigoris Antoniou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grigoris Antoniou
    Version Space Algorithms on Hierarchies with Exceptions. [Citation Graph (1, 0)][DBLP]
    EPIA, 1993, pp:136-149 [Conf]
  2. Grigoris Antoniou
    A Comparison of Two Approaches to Splitting Default Theories. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:424-429 [Conf]
  3. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A Flexible Framework for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:405-410 [Conf]
  4. Grigoris Antoniou, Elmar Langetepe
    Soundness and Completeness of a Logic Programming Approach to Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:934-939 [Conf]
  5. Antonis Bikakis, Grigoris Antoniou
    DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:1594-1595 [Conf]
  6. Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou
    Computing Default Logic Extensions: An Implementation. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1381- [Conf]
  7. Jörg Ernst, Grigoris Antoniou
    Stratification for Variants of Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:830- [Conf]
  8. Grigoris Antoniou
    Abstract properties for the choice provability relation in nonmonotonic logics. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:35-40 [Conf]
  9. Grigoris Antoniou
    Priorities in Default Logic Revisited. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:152-162 [Conf]
  10. Grigoris Antoniou
    Logical Approaches to Structured Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:47-56 [Conf]
  11. Grigoris Antoniou, Volker Sperschneider
    Modularity for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:97-107 [Conf]
  12. Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
    Visualizing Defeasible Logic Rules for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ASWC, 2006, pp:278-292 [Conf]
  13. Grigoris Antoniou
    Representation Results for Default Logics. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:255-264 [Conf]
  14. Grigoris Antoniou, David Billington
    Relating Defeasible and Default Logic. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:13-24 [Conf]
  15. Cara MacNish, Grigoris Antoniou
    Specification Morphisms for Nonmonotonic Knowledge Systems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:246-254 [Conf]
  16. Michael J. Maher, Grigoris Antoniou, David Billington
    A Study of Provability in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:215-226 [Conf]
  17. Grigoris Antoniou, Volker Sperschneider
    On the Verification of Modules. [Citation Graph (0, 0)][DBLP]
    CSL, 1989, pp:16-35 [Conf]
  18. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    Updating DLs Using the AGM Theory: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  19. Grigoris Antoniou
    Defeasible Logic with Dynamic Priorities. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:521-525 [Conf]
  20. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
    A Family of Defeasible Reasoning Logics and its Implementation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:459-463 [Conf]
  21. Grigoris Antoniou
    On the Dynamics of Default Reasoning. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:1-10 [Conf]
  22. Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades
    DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. [Citation Graph (0, 0)][DBLP]
    EEE, 2005, pp:414-417 [Conf]
  23. Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori
    DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. [Citation Graph (0, 0)][DBLP]
    EEE, 2005, pp:44-49 [Conf]
  24. Grigoris Antoniou, Elmar Langetepe
    A Process Model for Default Logic and Its Realization in Logic Programming. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:213-225 [Conf]
  25. Grigoris Antoniou
    Verification and Correctness Issues for Nonmonotonic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:141-153 [Conf]
  26. Grigoris Antoniou, Volker Sperschneider
    On the Verification of Modular Logical Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:117-128 [Conf]
  27. Grigoris Antoniou
    A Comparative Survey of Default Logic Variants. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:15-28 [Conf]
  28. Grigoris Antoniou, Mary-Anne Williams
    Default Reasoning and Belief Revision in the CIN Project. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:691-693 [Conf]
  29. Grigoris Antoniou, David Billington, Michael J. Maher
    On the Analysis of Regulations using Defeasible Rules. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  30. Grigoris Antoniou, Aditya Ghose
    What Is Default Reasoning Good For? Applications Revisited. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  31. Grigoris Antoniou, David Billington, Michael J. Maher
    Normal Forms for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:160-174 [Conf]
  32. Grigoris Antoniou, Michael J. Maher
    Embedding Defeasible Logic into Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:393-404 [Conf]
  33. Grigoris Antoniou
    Stratification: The Computational Base of a System for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1997, pp:165-0 [Conf]
  34. Grigoris Antoniou, Antonis Bikakis, Gerd Wagner
    A Defeasible Logic Programming System for the Web. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:756-757 [Conf]
  35. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
    Efficient defeasible reasoning systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2000, pp:384-392 [Conf]
  36. Grigoris Antoniou, Mary-Anne Williams
    CIN: an intelligent information management toolkit. [Citation Graph (0, 0)][DBLP]
    IFIP World Conference on IT Tools, 1996, pp:395-401 [Conf]
  37. Grigoris Antoniou, Hans Jürgen Ohlbach
    TERMINATOR. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:916-919 [Conf]
  38. Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima
    Issues in Intelligent Information Integration. [Citation Graph (0, 0)][DBLP]
    IMSA, 1999, pp:345-349 [Conf]
  39. Grigoris Antoniou, M. Arief
    Modelling business rules using defeasible logic. [Citation Graph (0, 0)][DBLP]
    IRMA Conference, 2000, pp:1020-1022 [Conf]
  40. Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams
    A System for Computing Constrained Default Logic Extensions. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:237-250 [Conf]
  41. Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades
    A Deductive Semantic Brokering System. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:746-752 [Conf]
  42. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
    Revising Nonmonotonic Theories: The Case of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:101-112 [Conf]
  43. Mary-Anne Williams, Grigoris Antoniou
    A Strategy for Revising Default Theory Extensions. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:24-35 [Conf]
  44. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    On a Unifying Framework for Comparing Knowledge Representation Schemes. [Citation Graph (0, 0)][DBLP]
    KRDB, 2003, pp:- [Conf]
  45. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
    Computing Extensions of Default Logic - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:19-27 [Conf]
  46. Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
    A Comparison of Sceptical NAF-Free Logic Programming Approaches. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:347-356 [Conf]
  47. Grigoris Antoniou
    Defeasible logic with dynamic priorities. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:84-90 [Conf]
  48. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    Generalizing the AGM postulates: preliminary results and applications. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:171-179 [Conf]
  49. Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis P. Vlahavas
    A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Panhellenic Conference on Informatics, 2005, pp:404-414 [Conf]
  50. Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
    DR-DEVICE: A Defeasible Logic System for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2004, pp:134-148 [Conf]
  51. Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
    Supporting Open and Closed World Reasoning on the Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:149-163 [Conf]
  52. Grigoris Antoniou, Cara MacNish, Norman Y. Foo
    Conservative Expansion Concepts for Default Theories. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:522-533 [Conf]
  53. Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon
    Studying Properties of Classes of Default Logics - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:558-569 [Conf]
  54. Grigoris Antoniou, Mary-Anne Williams
    Some approaches to reasoning with incomplete and changing information. [Citation Graph (0, 0)][DBLP]
    PRICAI Workshops, 1996, pp:9-44 [Conf]
  55. Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo
    Exten: A System for Computing Default Logic Extensions. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:471-482 [Conf]
  56. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:27-37 [Conf]
  57. Grigoris Antoniou
    A Nonmonotonic Rule System using Ontologies. [Citation Graph (0, 0)][DBLP]
    RuleML, 2002, pp:- [Conf]
  58. Grigoris Antoniou, Antonis Bikakis, Gerd Wagner
    A System for Nonmonotonic Rules on the Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:23-36 [Conf]
  59. Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
    A Defeasible Logic Reasoner for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:49-64 [Conf]
  60. Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou
    A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:172-186 [Conf]
  61. Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades
    A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:205-214 [Conf]
  62. Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar
    Merging and Aligning Ontologies in dl-Programs. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:160-171 [Conf]
  63. Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou
    Combining Description Logic and Defeasible Logic for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:170-181 [Conf]
  64. Grigoris Antoniou, Enrico Franconi, Frank van Harmelen
    Introduction to Semantic Web Ontology Languages. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2005, pp:1-21 [Conf]
  65. Grigoris Antoniou, M. Arief
    Executable declarative business rules and their use in electronic commerce. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:6-10 [Conf]
  66. Grigoris Antoniou, Volker Sperschneider
    Computing Extensions of Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP]
    SCAI, 1993, pp:20-29 [Conf]
  67. Grigoris Antoniou
    Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:183-190 [Conf]
  68. Grigoris Antoniou
    Modularity for Logical Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:87-93 [Conf]
  69. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
    Stable Model Theory for Extended RDF Ontologies. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:21-36 [Conf]
  70. Grigoris Antoniou
    Nonmonotonic Rule Systems on Top of Ontology Layers. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2002, pp:394-398 [Conf]
  71. Grigoris Antoniou, Gerd Wagner
    Rules and Defeasible Reasoning on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2003, pp:111-120 [Conf]
  72. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    On Applying the AGM Theory to DLs and OWL. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:216-231 [Conf]
  73. Grigoris Antoniou
    A Discussion of Some Intuitions of Defeasible Reasoning. [Citation Graph (0, 0)][DBLP]
    SETN, 2004, pp:311-320 [Conf]
  74. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    Evolving Ontology Evolution. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2006, pp:14-29 [Conf]
  75. Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley
    The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2004, pp:628-631 [Conf]
  76. Grigoris Antoniou, Frank van Harmelen, Robert Plant, Jan Vanthienen
    Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1998, v:19, n:3, pp:123-126 [Journal]
  77. Grigoris Antoniou, Volker Sperschneider
    Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 1994, v:8, n:1, pp:3-16 [Journal]
  78. Grigoris Antoniou, Volker Sperschneider
    Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 1998, v:12, n:6, pp:431-443 [Journal]
  79. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
    New Proofs in Default Logic Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:12, n:3-4, pp:215-229 [Journal]
  80. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A flexible framework for defeasible logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  81. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  82. Grigoris Antoniou
    A tutorial on default logics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:4, pp:337-359 [Journal]
  83. Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis
    The ramification problem in temporal databases: Changing beliefs about the past. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:59, n:2, pp:397-434 [Journal]
  84. Grigoris Antoniou
    The Verification of Modules. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:2, pp:223-244 [Journal]
  85. Grigoris Antoniou, Elmar Langetepe
    Applying SLD-resolution to a class of non-Horn logic programs. [Citation Graph (0, 0)][DBLP]
    Bulletin of the IGPL, 1994, v:2, n:2, pp:229-241 [Journal]
  86. Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
    Efficient Defeasible Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:483-501 [Journal]
  87. Grigoris Antoniou
    On the dynamics of default reasoning. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2002, v:17, n:12, pp:1143-1155 [Journal]
  88. Grigoris Antoniou
    Defeasible logic with dynamic priorities. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2004, v:19, n:5, pp:463-472 [Journal]
  89. Grigoris Antoniou, Cara MacNish
    Conservative extension concepts for nonmonotonic knowledge bases. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2000, v:15, n:9, pp:859-877 [Journal]
  90. Grigoris Antoniou
    Defeasible reasoning: A discussion of some intuitions. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2006, v:21, n:6, pp:545-558 [Journal]
  91. Grigoris Antoniou
    The Role of Nonmonotonic Representations in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:385-399 [Journal]
  92. Grigoris Antoniou, Neil V. Murray
    Logical Methods for Computational Intelligence (Guest Editorial). [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:116, n:1, pp:1-2 [Journal]
  93. Grigoris Antoniou, Mary-Anne Williams
    Reasoning with Incomplete and Changing Information: The CIN Project. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1997, v:99, n:1-2, pp:83-99 [Journal]
  94. Grigoris Antoniou
    Operational Characterization of Extensions in Some Logics for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1996, v:89, n:3, pp:261-273 [Journal]
  95. Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar
    Connections Between Default Reasoning and Partial Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:117, n:3-4, pp:177-190 [Journal]
  96. Grigoris Antoniou, Elmar Langetepe
    A Correct Logic Programming Computation of Default Logic Extensions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:1, pp:25-46 [Journal]
  97. Grigoris Antoniou
    A note on the cumulativity of justified default logic. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1998, v:10, n:4, pp:507-509 [Journal]
  98. Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon
    Studying properties of classes of default logics. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1998, v:10, n:4, pp:495-505 [Journal]
  99. Grigoris Antoniou, Michael J. Maher, David Billington
    Defeasible Logic versus Logic Programming without Negation as Failure. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:1, pp:47-57 [Journal]
  100. Grigoris Antoniou
    Splitting Finite Default Theories: A Comparison of Two Approaches. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:2, pp:205-216 [Journal]
  101. Grigoris Antoniou
    Integrity and rule checking in nonmonotonic knowledge bases. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1996, v:9, n:5, pp:301-306 [Journal]
  102. Grigoris Antoniou, Ipke Wachsmuth
    Structuring and modules for knowledge bases: motivation for a new model. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1994, v:7, n:1, pp:49-51 [Journal]
  103. Robert Plant, Grigoris Antoniou
    Special issue on verification and validation. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1999, v:12, n:1-2, pp:1-2 [Journal]
  104. Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades
    DR-BROKERING: A semantic brokering system. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2007, v:20, n:1, pp:61-72 [Journal]
  105. Grigoris Antoniou
    Nonmonotonic Rules for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KI, 2003, v:17, n:3, pp:16-0 [Journal]
  106. Grigoris Antoniou
    Bericht über den Workshop ``Verifikation, Konstruktion und Synthese von Programmen''. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:3, pp:23-24 [Journal]
  107. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:5, pp:675-702 [Journal]
  108. Grigoris Antoniou, Antonis Bikakis
    DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2007, v:19, n:2, pp:233-245 [Journal]
  109. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:2, pp:255-287 [Journal]
  110. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Embedding defeasible logic into logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:703-735 [Journal]
  111. Grigoris Antoniou, Harold Boley
    Preface. [Citation Graph (0, 0)][DBLP]
    J. Web Sem., 2005, v:3, n:1, pp:3-4 [Journal]
  112. Nikos Dimaresis, Grigoris Antoniou
    Implementing Modal Extensions of Defeasible Logic for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1848-1849 [Conf]
  113. Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
    Distributed AI for Ambient Intelligence: Issues and Approaches. [Citation Graph (0, 0)][DBLP]
    AmI, 2007, pp:159-176 [Conf]
  114. Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
    A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges. [Citation Graph (0, 0)][DBLP]
    UIC, 2007, pp:839-848 [Conf]
  115. Nick Bassiliades, Grigoris Antoniou, Guido Governatori
    Proof Explanation in the DR-DEVICE System. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:249-258 [Conf]
  116. Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
    A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:367-369 [Conf]
  117. Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
    A Classification of Ontology Change. [Citation Graph (0, 0)][DBLP]
    SWAP, 2006, pp:- [Conf]

  118. Distributed Reasoning with Conflicts in a Multi-Context Framework. [Citation Graph (, )][DBLP]


  119. Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. [Citation Graph (, )][DBLP]


  120. A System for Modal and Deontic Defeasible Reasoning. [Citation Graph (, )][DBLP]


  121. Uniform Interpolation for ALC\mathcal{ALC} Revisited. [Citation Graph (, )][DBLP]


  122. AlertMe: A Semantics-Based Context-Aware Notification System. [Citation Graph (, )][DBLP]


  123. Computability and Complexity Issues of Extended RDF. [Citation Graph (, )][DBLP]


  124. A Formal Approach for RDF/S Ontology Evolution. [Citation Graph (, )][DBLP]


  125. Implementing Simple Modular ERDF ontologies. [Citation Graph (, )][DBLP]


  126. Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. [Citation Graph (, )][DBLP]


  127. Visual Stratification of Defeasible Logic Rule Bases. [Citation Graph (, )][DBLP]


  128. The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. [Citation Graph (, )][DBLP]


  129. Alternative Strategies for Conflict Resolution in Multi-Context Systems. [Citation Graph (, )][DBLP]


  130. The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. [Citation Graph (, )][DBLP]


  131. A Principled Framework for Modular Web Rule Bases and Its Semantics. [Citation Graph (, )][DBLP]


  132. Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. [Citation Graph (, )][DBLP]


  133. Proof Explanation for the Semantic Web Using Defeasible Logic. [Citation Graph (, )][DBLP]


  134. Contextual Argumentation in Ambient Intelligence. [Citation Graph (, )][DBLP]


  135. FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services. [Citation Graph (, )][DBLP]


  136. On the Computability and Complexity Issues of Extended RDF. [Citation Graph (, )][DBLP]


  137. Local and Distributed Defeasible Reasoning in Multi-Context Systems. [Citation Graph (, )][DBLP]


  138. Visualization of Proofs in Defeasible Logic. [Citation Graph (, )][DBLP]


  139. A system for modal and deontic defeasible reasoning. [Citation Graph (, )][DBLP]


  140. Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. [Citation Graph (, )][DBLP]


  141. A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. [Citation Graph (, )][DBLP]


  142. A Reasoning Framework for Ambient Intelligence. [Citation Graph (, )][DBLP]


  143. The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. [Citation Graph (, )][DBLP]


  144. Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. [Citation Graph (, )][DBLP]


  145. A Formal Theory for Modular ERDF Ontologies. [Citation Graph (, )][DBLP]


  146. Embeddings of Simple Modular Extended RDF. [Citation Graph (, )][DBLP]


  147. Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. [Citation Graph (, )][DBLP]


  148. On RDF/S Ontology Evolution. [Citation Graph (, )][DBLP]


  149. C-NGINE: A Contextual Navigation Guide for Indoor Environments. [Citation Graph (, )][DBLP]


  150. Distributed Defeasible Contextual Reasoning in Ambient Computing. [Citation Graph (, )][DBLP]


  151. On Generalizing the AGM Postulates. [Citation Graph (, )][DBLP]


  152. Controlling Access to RDF Graphs. [Citation Graph (, )][DBLP]


  153. Embedding Defeasible Logic into Logic Programming [Citation Graph (, )][DBLP]


  154. DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. [Citation Graph (, )][DBLP]


  155. Proof explanation for a nonmonotonic Semantic Web rules language. [Citation Graph (, )][DBLP]


  156. Deploying defeasible logic rule bases for the semantic web. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002