The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Enrico Giunchiglia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Enrico Giunchiglia, Vladimir Lifschitz
    An Action Language Based on Causal Explanation: Preliminary Report. [Citation Graph (1, 0)][DBLP]
    AAAI/IAAI, 1998, pp:623-630 [Conf]
  2. Paolo Ferraris, Enrico Giunchiglia
    Planning as Satisfiability in Nondeterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:748-753 [Conf]
  3. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
    SAT-Based Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:61-66 [Conf]
  4. Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani
    Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:948-953 [Conf]
  5. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Learning for Quantified Boolean Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:649-654 [Conf]
  6. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Agents as Reasoners, Observers or Believers. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:414-425 [Conf]
  7. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    The SAT-Based Approach for Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:95-106 [Conf]
  8. Enrico Giunchiglia, Marco Maratea
    Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:122-134 [Conf]
  9. Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Proving Formulas through Reduction to Decidable Classes. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:1-10 [Conf]
  10. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:111-122 [Conf]
  11. Enrico Giunchiglia, Roberto Sebastiani
    Applying the Davis-Putnam Procedure to Non-clausal Formulas. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:84-94 [Conf]
  12. Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
    Planning via Model Checking in Deterministic Domains: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:221-229 [Conf]
  13. Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
    A Knowledge Based System for Automatic 3D Scene. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:255-264 [Conf]
  14. Enrico Giunchiglia, Marco Maratea
    An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  15. Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Formal Specification of Beliefs in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:117-130 [Conf]
  16. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf]
  17. Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
    Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:347-363 [Conf]
  18. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:364-369 [Conf]
  19. Enrico Giunchiglia, Armando Tacchella
    System Description: *SAT: A Platform for the Development of Modal Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:291-296 [Conf]
  20. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    NuSMV 2: An OpenSource Tool for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:359-364 [Conf]
  21. Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
    Benefits of Bounded Model Checking at an Industrial Setting. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:436-453 [Conf]
  22. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
    (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:842-846 [Conf]
  23. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Monotone Literals and Learning in QBF Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:260-273 [Conf]
  24. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Quantifier structure in search based procedures for QBFs. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:812-817 [Conf]
  25. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    *SAT, KSATC, DLP and TA: a comparative analysis. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  26. Fausto Giunchiglia, Enrico Giunchiglia
    Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:607-609 [Conf]
  27. Enrico Giunchiglia, Marco Maratea
    Solving Optimization Problems with DLL. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:377-381 [Conf]
  28. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
    SAT-Based Procedures for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:97-108 [Conf]
  29. Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
    Planning via Model Checking: A Decision Procedure for AR. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:130-142 [Conf]
  30. Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia
    Efficient Semantic Matching. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:272-289 [Conf]
  31. Enrico Giunchiglia, Fausto Giunchiglia
    Ideal and Real Belief about Belief. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:261-275 [Conf]
  32. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QuBE++: An Efficient QBF Solver. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:201-213 [Conf]
  33. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    Integrating BDD-Based and SAT-Based Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:49-56 [Conf]
  34. Enrico Giunchiglia, Marco Maratea
    On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:37-51 [Conf]
  35. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Agents as Reasoners, Observers, or Arbitrary Believers. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:448- [Conf]
  36. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Backjumping for Quantified Boolean Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:275-281 [Conf]
  37. Enrico Giunchiglia, Vladimir Lifschitz
    Dependent Fluents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1964-1969 [Conf]
  38. Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione
    Non-Omniscient Belief as Context-Based Resoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:548-554 [Conf]
  39. Mauro Di Manzo, Enrico Giunchiglia
    Multi-Context Systems as a Tool to Model Temporal Evolution. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:548-557 [Conf]
  40. Enrico Giunchiglia, Marco Maratea
    optsat: A Tool for Solving SAT Related Optimization Problems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:485-489 [Conf]
  41. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
    Dependent and Independent Variables in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:296-307 [Conf]
  42. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    More Evaluation of Decision Procedures for Modal Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:626-635 [Conf]
  43. Enrico Giunchiglia
    Determining Ramifications in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:76-86 [Conf]
  44. Enrico Giunchiglia
    Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:657-666 [Conf]
  45. Fausto Giunchiglia, Enrico Giunchiglia
    Ideal and Real Belief aobout Belief: Some Intuitions. [Citation Graph (0, 0)][DBLP]
    MAAMAW, 1996, pp:1-12 [Conf]
  46. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
    A SAT-based polynomial space algorithm for answer set programming. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:189-196 [Conf]
  47. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QBF Reasoning on Real-World Instances. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  48. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    QBF Reasoning on Real-World Instances. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:105-121 [Conf]
  49. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  50. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:16-29 [Conf]
  51. Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
    Watched Data Structures for QBF Solvers. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:25-36 [Conf]
  52. Enrico Giunchiglia
    A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:84-89 [Conf]
  53. Enrico Giunchiglia, Armando Tacchella
    A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:237-251 [Conf]
  54. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
    MRG: Building planers for real-world complex applications. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1994, v:8, n:3, pp:333-357 [Journal]
  55. Salem Benferhat, Enrico Giunchiglia
    Editorial: Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:157, n:1-2, pp:1-3 [Journal]
  56. Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
    SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:147, n:1-2, pp:85-117 [Journal]
  57. Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz
    Representing Action: Indeterminacy and Ramifications. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:95, n:2, pp:409-438 [Journal]
  58. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
    Nonmonotonic causal theories. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:153, n:1-2, pp:49-104 [Journal]
  59. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Backjumping for Quantified Boolean Logic satisfiability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:145, n:1-2, pp:99-120 [Journal]
  60. Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
    The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2004, v:25, n:2, pp:129-132 [Journal]
  61. Alessandro Armando, Enrico Giunchiglia
    Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:475-502 [Journal]
  62. Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Structured Proof Procedures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:1-18 [Journal]
  63. Enrico Giunchiglia, Armando Tacchella
    A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2001, v:33, n:1, pp:39-67 [Journal]
  64. Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
    Constraints and AI Planning. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2005, v:20, n:2, pp:62-72 [Journal]
  65. Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
    Logics For Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2006, v:3, n:1-2, pp:7-13 [Journal]
  66. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    SAT vs. translation based decision procedures for modal logics: a comparative evaluation. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
  67. Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
    SAT-Based Decision Procedures for Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:2, pp:143-171 [Journal]
  68. Enrico Giunchiglia, Toby Walsh
    Satisfiability in the Year 2005. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:1-2 [Journal]
  69. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
    Answer Set Programming Based on Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:4, pp:345-377 [Journal]
  70. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    The SAT-based Approach to Separation Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:237-263 [Journal]
  71. Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet
    Dealing with expected and unexpected obstacles. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1996, v:8, n:2, pp:173-190 [Journal]
  72. Enrico Giunchiglia, Fausto Giunchiglia
    Ideal and Real Belief about Belief. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:157-192 [Journal]
  73. Enrico Giunchiglia, Marco Maratea
    Planning as Satisfiability with Preferences. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:987-992 [Conf]
  74. Enrico Giunchiglia, Marco Maratea
    SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:422-433 [Conf]
  75. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:371-416 [Journal]

  76. Improving Plan Quality in SAT-Based Planning. [Citation Graph (, )][DBLP]


  77. Computing All Optimal Solutions in Satisfiability Problems with Preferences. [Citation Graph (, )][DBLP]


  78. A new Approach for Solving Satisfiability Problems with Qualitative Preferences. [Citation Graph (, )][DBLP]


  79. Automatic Test Generation for Coverage Analysis Using CBMC. [Citation Graph (, )][DBLP]


  80. PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. [Citation Graph (, )][DBLP]


  81. sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. [Citation Graph (, )][DBLP]


  82. Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. [Citation Graph (, )][DBLP]


  83. Automatic Test Generation for Coverage Analysis of ERTMS Software. [Citation Graph (, )][DBLP]


  84. On the relation among answer set solvers. [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.050secs
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