The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Provetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chitta Baral, Michael Gelfond, Alessandro Provetti
    Representing Actions: Laws, Observations and Hypotheses. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:201-243 [Journal]
  2. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:652-657 [Conf]
  3. Elisa Bertino, Alessandra Mileo, Alessandro Provetti
    User Preferences VS Minimality in PPDL. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:110-122 [Conf]
  4. Elisa Bertino, Alessandro Provetti, Franco Salvetti
    Local Closed-World Assumptions for reasoning about Semantic Web data. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:314-323 [Conf]
  5. Gaetano Aurelio Lanzarone, Alessandro Provetti
    Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:201-214 [Conf]
  6. Alessandro Provetti, G. Rossi
    Action Specifications in log. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:381-392 [Conf]
  7. Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari
    The Prospect for Answer Sets Computation by a Genetic Model. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  8. Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti
    Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:737-738 [Conf]
  9. Luca Chittaro, Angelo Montanari, Alessandro Provetti
    Skeptical and Credulous Event Calculi for Supporting Modal Queries. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:361-365 [Conf]
  10. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
    Specification and Execution of Declarative Policies for Grid Service Selection. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2004, pp:102-115 [Conf]
  11. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
    Grid Service Selection with PPDL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:464-466 [Conf]
  12. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
    Specification and Execution of Policies for Grid Service Selection. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:828-829 [Conf]
  13. Elisa Bertino, Alessandra Mileo, Alessandro Provetti
    PDL with Maximum Consistency Monitors. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2003, pp:65-74 [Conf]
  14. Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son
    Disjunctive Logic Programs with Inheritance Revisited. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2002, pp:294-302 [Conf]
  15. Luca Padovani, Alessandro Provetti
    Qsmodels: ASP Planning in Interactive Gaming Environment. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:689-692 [Conf]
  16. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:474-481 [Conf]
  17. Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
    Experiments in Answer Sets Planning. [Citation Graph (0, 0)][DBLP]
    MICAI, 2000, pp:95-107 [Conf]
  18. Fiorella de Cindio, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti, L. A. Ripamonti, Leonardo Sonnante
    Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:227-236 [Conf]
  19. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
    Declarative Policies for Web Service Selection. [Citation Graph (0, 0)][DBLP]
    POLICY, 2005, pp:239-242 [Conf]
  20. Elisa Bertino, Alessandra Mileo, Alessandro Provetti
    PDL with Preferences. [Citation Graph (0, 0)][DBLP]
    POLICY, 2005, pp:213-222 [Conf]
  21. Alessandro Provetti
    Hypothetical Reasoning from Situation Calculus to Event Calculus. [Citation Graph (0, 0)][DBLP]
    TIME, 1994, pp:42-47 [Conf]
  22. Elisa Bertino, Alessandro Provetti, Franco Salvetti
    Reasoning about RDF statements with default rules. [Citation Graph (0, 0)][DBLP]
    Rule Languages for Interoperability, 2005, pp:- [Conf]
  23. Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
    Declarative Web data extraction and annotation. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:137-144 [Conf]
  24. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Value Minimization in Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:102, n:2, pp:163-186 [Journal]
  25. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:104, n:1-2, pp:107-164 [Journal]
  26. Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son
    AAAI 2001 Spring Symposium Series Reports. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:3, pp:117-122 [Journal]
  27. Alessandro Provetti
    Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1996, v:12, n:, pp:478-498 [Journal]
  28. Stefania Costantini, Alessandro Provetti
    Normal forms for Answer Sets Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  29. Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
    On the equivalence and range of applicability of graph-based representations of logic programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:84, n:5, pp:241-249 [Journal]
  30. Chitta Baral, Alessandro Provetti, Tran Cao Son
    Introduction to the special issue on Programming with Answer Sets. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:387-391 [Journal]
  31. Stefania Costantini, Alessandro Provetti
    Normal forms for answer sets programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:747-760 [Journal]
  32. Massimo Marchi, Romeo Penzo, Alessandro Provetti
    Policy-Based Parametric Firewall Configuration: A Real-Case Application. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:276- [Conf]
  33. Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
    Adaptive Web Data Extraction Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:281- [Conf]
  34. Sergio Bossa, Giacomo Fiumara, Alessandro Provetti
    A Lightweight Architecture for RSS Polling of Arbitrary Web sources. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]

  35. Rule-Based Spam E-mail Annotation. [Citation Graph (, )][DBLP]


  36. A primer on Answer Set Programming [Citation Graph (, )][DBLP]


Search in 0.119secs, Finished in 0.121secs
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