PADIS

Pubblicazioni Aperte DIgitali Sapienza > Informatica e sistemistica "Antonio Ruberti" > INGEGNERIA INFORMATICA (MINIST.SVIL.ECON.) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10805/669

Title: Declarative constraint modelling and specification-level reasoning
Authors: Mancini, Toni
Tutor: Cadoli, Marco
Keywords: Artificial Intelligence
Knowledge Representation and reasoning
Existential Second-order logic
Constraint modelling
Problem reformulation
Issue Date: 10-Mar-2005
Publisher: La Sapienza
URI: http://hdl.handle.net/10805/669
Appears in PhD:Tesi di dottorato
INGEGNERIA INFORMATICA (MINIST.SVIL.ECON.)

Files in This Item:

File Description SizeFormat
ManciniToni95.pdf1.44 MBAdobe PDF


This item is protected by original copyright

Recommend this item

Items in PADIS are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback Sviluppo e manutenzione a cura del CINECA