The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laura Giordano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:324-335 [Conf]
  2. Piero A. Bonatti, Laura Giordano
    Three-Valued Semantics for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:295-306 [Conf]
  3. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    Negation as Failure and Constraints through Abduction and Defaults. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:78-87 [Conf]
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    Belief Revision and the Ramsey Test: A Solution. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:165-175 [Conf]
  5. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in a Multiagent Domain. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:237-248 [Conf]
  6. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:262-274 [Conf]
  7. Alberto Martelli, Laura Giordano
    Reasoning About Web Services in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:229-246 [Conf]
  8. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    A Conditional Logic for Iterated Belief Revision. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:28-32 [Conf]
  9. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Automated Deduction for Logics of Default Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:757-758 [Conf]
  10. Laura Giordano, Alberto Martelli
    An Abductive Characterization of the TMS. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:308-313 [Conf]
  11. Laura Giordano, Alberto Martelli
    Truth Maintenance Systems and Belief Revision. [Citation Graph (0, 0)][DBLP]
    Truth Maintenance Systems (ECAI Workshop), 1990, pp:71-86 [Conf]
  12. Laura Giordano, Alberto Martelli, Camilla Schwind
    Dealing with Concurrent Actions in Modal Action Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:537-541 [Conf]
  13. Matteo Baldoni, Laura Giordano, Alberto Martelli
    Translating a Modal Language with Embedded Implication into Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:19-33 [Conf]
  14. Laura Giordano, Alberto Martelli
    A Modal Framework for Structured Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:168-186 [Conf]
  15. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    An Abductive Proof Procedure for Conditional Logic Programming. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:231-245 [Conf]
  16. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Local Definitions with Static Scope Rules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:389-396 [Conf]
  17. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Framework for a Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:52-66 [Conf]
  18. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Conditonal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:272-289 [Conf]
  19. Laura Giordano, Alberto Martelli
    Generalized Stable Models, Truth Maintenance and Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:427-441 [Conf]
  20. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    A Semantics for Eshghi and Kowalski's Procedure. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:586-600 [Conf]
  21. Laura Giordano, Nicola Olivetti
    Negation as Failure in Intuitionistic Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:431-445 [Conf]
  22. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:405-425 [Conf]
  23. Laura Giordano
    Defining Variants of Default Logic: a Modal Approach. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:59-68 [Conf]
  24. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    A Conditional Logic for Belief Revision. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:294-308 [Conf]
  25. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Analytic Tableau Calculi for KLM Rational Logic R. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:190-202 [Conf]
  26. Laura Giordano, Alberto Martelli, Camilla Schwind
    Verifying Communicating Agents by Model Checking in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:57-69 [Conf]
  27. Laura Giordano, Camilla Schwind
    Towards a Conditional Logic of Actions and Causation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:382-393 [Conf]
  28. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Analytic Tableaux for KLM Preferential and Cumulative Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:666-681 [Conf]
  29. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:203-216 [Conf]
  30. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:132-150 [Conf]
  31. Laura Giordano, Camilla Schwind
    Towards a conditional logic of actions and causation. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:333-342 [Conf]
  32. Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Communicating Agents in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:84-98 [Conf]
  33. Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski
    Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:415-416 [Conf]
  34. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Multimodal Logic to Define Modules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:473-487 [Conf]
  35. Laura Giordano, Alberto Martelli
    A Modal Reconstruction of Blocks and Modules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:239-253 [Conf]
  36. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Tableau for Multimodal Logics and Some (Un)Decidability Results. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:44-59 [Conf]
  37. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
    Tableau Calculi for Preference-Based Conditional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:81-101 [Conf]
  38. Laura Giordano, Alberto Martelli
    On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:133-139 [Conf]
  39. Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani
    A Temporal Approach to the Specification and Verification of Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:171-176 [Conf]
  40. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    Weak AGM postulates and strong Ramsey Test: A logical formalization. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:168, n:1-2, pp:1-37 [Journal]
  41. Laura Giordano, Alberto Martelli
    On Cumulative Default Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:1, pp:161-179 [Journal]
  42. Laura Giordano, Camilla Schwind
    Conditional logic of actions and causation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:157, n:1-2, pp:239-279 [Journal]
  43. Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
    Programming Rational Agents in a Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:207-257 [Journal]
  44. Laura Giordano, Alberto Martelli
    Tableau-based automata construction for dynamic linear time temporal logic*. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:289-315 [Journal]
  45. Laura Giordano, Alberto Martelli
    A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:11-46 [Journal]
  46. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specialization of Interaction Protocols in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:3-22 [Journal]
  47. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  48. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and verifying interaction protocols in a temporal action logic. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:214-234 [Journal]
  49. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
    Conditional reasoning in logic programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:44, n:1-3, pp:37-74 [Journal]
  50. Laura Giordano, Alberto Martelli
    Structuring Logic Programs: A Modal Approach. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:21, n:2, pp:59-94 [Journal]
  51. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:26, n:1, pp:31-67 [Journal]
  52. Laura Giordano, Nicola Olivetti
    Combining Negation as Failure and Embedded Implications in Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:36, n:2, pp:91-147 [Journal]
  53. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:5, pp:597-635 [Journal]
  54. Laura Giordano, Alberto Martelli, Camilla Schwind
    Ramification and causality in a modal action logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:5, pp:625-662 [Journal]
  55. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    Iterated Belief Revision and Conditional Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:1, pp:23-47 [Journal]
  56. Laura Giordano, Alberto Martelli
    Structured Prolog: A Language for Structured Logic Programming. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1994, v:15, n:3, pp:125-0 [Journal]
  57. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Extending Horn Clause Logic with Implication Goals. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:43-74 [Journal]
  58. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:84-96 [Conf]
  59. Laura Giordano, Alberto Martelli
    Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:145-156 [Conf]
  60. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Preferential Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:257-272 [Conf]
  61. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
    KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:238-244 [Conf]
  62. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  63. Knowledge Representation and Non-monotonic Reasoning. [Citation Graph (, )][DBLP]


  64. Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. [Citation Graph (, )][DBLP]


  65. Verifying Agents' Conformance with Multiparty Protocols. [Citation Graph (, )][DBLP]


  66. Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]


  67. Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]


  68. Verifying the Conformance of Agents with Multiparty Protocols. [Citation Graph (, )][DBLP]


  69. A constructive conditional logic for access control: a preliminary report. [Citation Graph (, )][DBLP]


  70. Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. [Citation Graph (, )][DBLP]


  71. Reasoning about Typicality in Preferential Description Logics. [Citation Graph (, )][DBLP]


  72. Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]


  73. Automatic Checking of the Correctness of Clinical Guidelines in GLARE. [Citation Graph (, )][DBLP]


  74. Adopting model checking techniques for clinical guidelines verification. [Citation Graph (, )][DBLP]


Search in 0.138secs, Finished in 0.142secs
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