BibSonomy :: author  ::

bookmarks

publications

(129)

• Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report.
  Fiorella de Cindio and Giacomo Fiumara and Massimo Marchi and Alessandro Provetti and Laura Anna Ripamonti and Leonardo Sonnante OTM Workshops (1) 227-236 (2006)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• CR-Prolog with Ordered Disjunction.
  Marcello Balduccini and Veena S. Mellarkod Answer Set Programming (2003)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• A primer on Answer Set Programming
  Alessandro Provetti CoRR abs/cs/0508100 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Normal forms for Answer Sets Programming
  Stefania Costantini and Alessandro Provetti CoRR cs.AI/0410014 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A Lightweight Architecture for RSS Polling of Arbitrary Web sources.
  Sergio Bossa and Giacomo Fiumara and Alessandro Provetti WOA (2006)
  to dblp by dblp on 2007-10-31 00:00:00
  | URL | BibTeX  
• Policy-Based Parametric Firewall Configuration: A Real-Case Application.
  Massimo Marchi and Romeo Penzo and Alessandro Provetti POLICY 276 (2007)
  to dblp by dblp on 2007-06-18 00:00:00
  | URL | BibTeX  
• Adaptive Web Data Extraction Policies.
  Giacomo Fiumara and Massimo Marchi and Alessandro Provetti POLICY 281 (2007)
  to dblp by dblp on 2007-06-18 00:00:00
  | URL | BibTeX  
• Abduction in equilibrium logic.
  David Pearce and Agustín Valverde Answer Set Programming (2001)
  to dblp by dblp on 2007-06-04 00:00:00
  | URL | BibTeX  
• Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts.
  Maria Amalfi and Katia Lo Presti and Alessandro Provetti and Franco Salvetti ECAI 737-738 (2006)
  to dblp by dblp on 2006-10-25 00:00:00
  | URL | BibTeX  
• Exploiting Vertical Parallelism from Answer Set Programs.
  Enrico Pontelli and Omar El-Khatib Answer Set Programming (2001)
  to dblp by dblp on 2006-05-24 00:00:00
  | URL | BibTeX