BibSonomy :: author  ::

bookmarks

publications

(120)

• Redundancy in logic III: Non-monotonic reasoning.
  Paolo Liberatore Artif. Intell. 172 1317-1359 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• A co-simulation platform for actuator networks.
  Ahmad T. Al-Hammouri and Vincenzo Liberatore and Huthaifa Al-Omari and Zakaria Al-Qudah and Michael S. Branicky and Deepak Agrawal SenSys 383-384 (2007)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX  
• Decision technology : modeling, software, and applications
  {Matthew J.} Liberatore and {Robert L.} Nydick (2003)
  to Entscheidungsunterstützungssystem by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Maximizing transfer opportunities in bluetooth DTNs.
  Marc Liberatore and Brian Neil Levine and Chadi Barakat CoNEXT 3 (2006)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Seasonal exponential smoothing with damped trends : An application for production planning
  Tan Miller and Matthew Liberatore International Journal of Forecasting 9 509--515 (1993)
  to Exponential smoothing by smicha on 2008-04-22 15:17:45
  | URL | BibTeX  
• Compliant Control and Software Agents for Internet Robotics.
  Ahmad T. Al-Hammouri and A. Covitch and M. Kose and D. Rosas and Wyatt S. Newman and Vincenzo Liberatore WORDS 280-287 (2003)
  to dblp by dblp on 2008-03-09 00:00:00
  | URL | BibTeX  
• Redundancy in logic II: 2CNF and Horn propositional formulae.
  Paolo Liberatore Artif. Intell. 172 265-299 (2008)
  to dblp by dblp on 2008-02-03 00:00:00
  | URL | BibTeX  
• Redundancy in Logic III: Non-Mononotonic Reasoning
  Paolo Liberatore CoRR abs/cs/0507048 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Redundancy in Logic II: 2CNF and Horn Propositional Formulae
  Paolo Liberatore CoRR abs/cs/0506074 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Raising a Hardness Result
  Paolo Liberatore CoRR abs/0708.4170 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX