skip to main content
Show Results with:

Results 1 - 10 of 220  for Everything in this catalogue

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Carta rappresentante l'Istmodi Darien o' siadi Panama. G. Terreni sc.

Livoni : Marco Cortellini, 1763.

Check library holdings and other locations

2
Material Type:
Article
Add to My workspace

Web Sites Repairing through Abduction

Mancarella, P.; Terreni, G.; Toni, F.

Electronic notes in theoretical computer science VOL 235, ; 2009, 137-152 -- ELSEVIER SCIENCE B.V AMSTERDAM (pages 137-152) -- 2009

Online access

3
Material Type:
Article
Add to My workspace

Web Sites Verification: An Abductive Logic Programming Tool

Mancarella, P. et al.

SPRINGER-VERLAG (pages 434-435) -- 2007

Check library holdings

4
Material Type:
Article
Add to My workspace

An Abductive Proof Procedure Handling Active Rules

Mancarella, P. et al.

Springer-Verlag; 1999 (pages 105-117) -- 2003

Check library holdings

5
Material Type:
Article
Add to My workspace

An Abductive Proof Procedure Handling Active Rules

Mancarella, P. et al.

Journal on data semantics.; Italian Association for Artificial Intelligence; AI*IA 2003 advances in artificial intellience (eds.); Pisa, Italy, 2003; Sep, 2003, 105-117 -- Berlin; New York; Springer; 2003 (pages 105-117) -- 2003

Check library holdings

6
Material Type:
Article
Add to My workspace

Web Sites Verification: An Abductive Logic Programming Tool

Mancarella, P.; Terreni, G.; Toni, F.

Journal on data semantics.; International conference on logic programming; Porto, Portugal, 2007; Sep, 2007, 434-435 -- Berlin; Springer; 2007 (pages 434-435) -- 2007

Check library holdings

7
Material Type:
Article
Add to My workspace

Programming Applications in CIFF

Mancarella, P. et al.

SPRINGER-VERLAG (pages 284-289) -- 2007

Check library holdings

8
Material Type:
Article
Add to My workspace

Planning Partially for Situated Agents

Mancarella, P. et al.

Journal on data semantics.; Computational Logic in Multi-agent Systems; CLIMA V; Lisbon, 2004; Sep, 2005, 230-248 -- Berlin; [London]; Springer; c2005 (pages 230-248) -- 2005

Check library holdings

9
Material Type:
Article
Add to My workspace

The CIFF Proof Procedure for Abductive Logic Programming with Constraints

Endriss, U. et al.

SPRINGER-VERLAG (pages 31-43) -- 2004

Check library holdings

10
Material Type:
Article
Add to My workspace

Programming Applications in CIFF

Mancarella, P. et al.

Journal on data semantics.; Logic programming and nonmonotonic reasoning: 9th international conference, LPNMR 2007; Tempe, AZ, 2007; May, 2007, 284-289 -- Berlin; Springer; 2007 (pages 284-289) -- 2007

Check library holdings

Results 1 - 10 of 220  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (203)
  2. Request to Reading Room  (137)
  3. Online: Reading Room only  (83)
  4. Refine further open sub menu

Material type 

  1. Articles  (210)
  2. Books  (8)
  3. Scores  (2)
  4. Refine further open sub menu

Creation date 

From To
  1. Before1993  (7)
  2. 1993To1998  (31)
  3. 1999To2004  (66)
  4. 2005To2011  (58)
  5. After 2011  (59)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (64)
  2. No Abstract  (146)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Terreni, M.
  2. Terreni, N.
  3. Terreni, G.
  4. Spinzi, G.
  5. Mandelli, G.

Searching Remote Databases, Please Wait