io-port.net

io-port 05888790 Rossi, Gianfranco

From set unification to set constraints. (English)

Intell. Artif. 5, No. 1, 157-161 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888789 Piancastelli, Giulio; Omicini, Andrea; Denti, Enrico

Towards a logic framework for web programming. (English)

Intell. Artif. 5, No. 1, 151-155 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888788 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio

Some applications of computational logic to the development of intelligent systems and verification methods. (English)

Intell. Artif. 5, No. 1, 145-149 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888787 Mancarella, Paolo; Toni, Francesca

Computational logic in agent based systems. (English)

Intell. Artif. 5, No. 1, 139-143 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888786 Greco, Sergio; Leone, Nicola; Palopoli, Luigi; Rullo, Pasquale; Saccà, Domenico

A long tour from theory to practice. (English)

Intell. Artif. 5, No. 1, 133-138 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888785 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla

Non-classical logics for knowledge representation and reasoning. (English)

Intell. Artif. 5, No. 1, 127-131 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888784 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio

Program transformation for development, verification, and synthesis of programs. (English)

Intell. Artif. 5, No. 1, 119-125 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888783 Dovier, Agostino

Recent constraint/logic programming based advances in the solution of the protein folding problem. (English)

Intell. Artif. 5, No. 1, 113-117 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888782 Costantini, Stefania; Paolucci, Alessio; Tocchio, Arianna; Tsintza, Panagiota

DALI, RASP, mnemosine: computational logic at work. (English)

Intell. Artif. 5, No. 1, 107-111 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888779 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. (English)

Intell. Artif. 5, No. 1, 101-105 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888778 Bossi, Annalisa; Cocco, Nicoletta

A valuable experience in logic programming. (English)

Intell. Artif. 5, No. 1, 95-99 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888777 Bonatti, Piero A.

On the decidability of FDNC programs. (English)

Intell. Artif. 5, No. 1, 89-93 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888774 Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana; Schifanella, Claudio

Models of agent interaction based on modal logics. (English)

Intell. Artif. 5, No. 1, 83-88 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888771 Alferes, José Júlio; Banti, Federico; Brogi, Antonio

Evolving reactive logic programs. (English)

Intell. Artif. 5, No. 1, 77-81 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888769 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio

Learning specifications of interaction protocols and business processes and proving their properties. (English)

Intell. Artif. 5, No. 1, 71-75 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888768 Baldoni, Matteo; Baroglio, Cristina

A journey in computational logic in Italy. (English)

Intell. Artif. 5, No. 1, 67-69 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888761 Moraglio, Alberto; Poli, Riccardo

Geometric crossover for the permutation representation. (English)

Intell. Artif. 5, No. 1, 49-63 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888756 Darabos, Christian; Tomassini, Marco; Di Cunto, Ferdinando; Provero, Paolo; Moore, Jason H.; Giacobini, Mario

Toward robust network based complex systems: from evolutionary cellular automata to biological models. (English)

Intell. Artif. 5, No. 1, 37-47 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888749 Azzini, Antonia; Tettamanzi, Andrea

Evolutionary anns: A state of the art survey. (English)

Intell. Artif. 5, No. 1, 19-35 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05888744 Vanneschi, Leonardo; Mussi, Luca; Cagnoni, Stefano

Hot topics in evolutionary computation. (English)

Intell. Artif. 5, No. 1, 5-17 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI