Per anno

15 pubblicazioni / 1994

1994

A Filtering Algorithm for Constraints of Difference in CSPs (AAAI-94) — Jean-Charles Régin
Artificial Social Systems (MAAMAW'92) — Cristiano Castelfranchi, Eric Werner
A logic for reasoning about time and reliability (Formal Aspects of Computing) — Hans Hansson, Bengt Jonsson
A Structured Logic Programming Approach to Robot Programming (PAP'94) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Constraint Logic Programming: A Survey (The Journal of Logic Programming) — Joxan Jaffar, Michael J. Maher
The Interdisciplinary Study of Coordination (ACM Computing Surveys) — Thomas W. Malone, Kevin Crowston
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects (capitolo di libro) — Enrico Denti, Antonio Natali, Andrea Omicini
Scale in Distributed Systems (capitolo di libro) — B. Clifford Neuman
Open Logic Theory Composition in a Software Engineering Perspective (ICLP'94-W7) — Enrico Denti, Andrea Omicini
Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
Introduction to Logic and to the Methodology of the Deductive Sciences (libro) — Alfred Tarski, Jan Tarski
Distributed Programming with Logic Tuple Spaces (articolo in rivista) — Paolo Ciancarini
Modularity in Logic Programming (The Journal of Logic Programming) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (Information and Computation) — Frank S. de Boer, Catiuscia Palamidessi

15 pubblicazioni / 1994 • in cima • indice • in fondo

pubblicazioni / 1994 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini