Per anno

426 pubblicazioni / 1878–2002

2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991 • 1990 • 1989 • 1988 • 1987 • 1986 • 1985 • 1984 • 1983 • 1982 • 1981 • 1980 • 1979 • 1978 • 1977 • 1976 • 1975 • 1974 • 1973 • 1972 • 1971 • 1965 • 1964 • 1963 • 1962 • 1959 • 1958 • 1952 • 1950 • 1949 • 1948 • 1947 • 1939 • 1937 • 1931 • 1927 • 1908 • 1878

2002

On the event coordination in multi-component systems (articolo in atti) — Gianluca Moro, Antonio Natali
Agent-based approach for software development process simulation (articolo in atti) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
The Logic of Scientific Discovery (libro) — Karl Raimund Popper
Towards a Notion of Agent Coordination Context (capitolo di libro) — Andrea Omicini
Coordination Knowledge Engineering (The Knowledge Engineering Review) — Sascha Ossowski, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents (AI*IA 2002) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (COORDINATION 2002) — Mirko Viroli, Andrea Omicini
Coordination Tools for the Development of Agent-based Systems (AT2AI-3 @ EMCSR 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Co-operating Sequential Processes (capitolo di libro) — Edsger Wybe Dijkstra
Bisimulation for Labelled Markov Processes (Information and Computation) — José Desharnais, Abbas Edalat, Prakash Panangaden
Aristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (libro) — Lambertus Marie De Rijk
Towards an Alternative Semantics for FIPA ACL (AT2AI-3 @ EMCSR 2002) — Mirko Viroli, Andrea Omicini
Principled Design of the Modern Web Architecture (ACM Transactions on Internet Technology) — Roy Thomas Fielding, Richard N. Taylor
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Design Principles of a Reactive Behavioral System for the Intelligent Room (Bitstream: The MIT Journal of EECS Student Research) — Ajay Kulkarni
The First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Cristiano Castelfranchi, W. Lewis Johnson
The TROPOS Analysis Process as Graph Transformation System (articolo in atti) — Paolo Bresciani, Paolo Giorgini
Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Linear Embedding for a Quantitative Comparison of Language Expressiveness (articolo in atti) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (articolo in atti) — Anna Perini, Angelo Susi, Fausto Giunchiglia
Extending ReSpecT for Multiple Coordination Flows (PDPTA'02) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (Annals of Software Engineering) — Brian Henderson-Sellers
Intelligent Agents VIII (ATAL-01) — John-Jules Ch. Meyer, Milind Tambe
Extreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger Knublauch
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (COORDINATION 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Editorial Message: Special Track on Coordination Models, Languages and Applications (CM 2002 @ SAC 2002) — Andrea Omicini, Sascha Ossowski
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems (articolo in atti) — Eric Bonabeau
Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
A Specification Language for Agents Observable Behaviour (IC-AI'02) — Mirko Viroli, Andrea Omicini
A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (ESA 2002) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources (articolo in atti) — Alex Borgida, Luciano Serafini
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (Nonlinear Phenomena in Complex Systems) — J.A. Scott Kelso
Objects and Agents Compared (The Journal of Object Technology) — James J. Odell
Agent Communication Language Specifications (manuale) —
Modelling Agents as Observable Sources (Journal of Universal Computer Science) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (articolo in atti) — Mirko Viroli, Alessandro Ricci
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002 @ ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (IEEE Intelligent Systems) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
On the Expressiveness of Event-Based Coordination Media (PDPTA'02) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Introduction to MultiAgent Systems (libro) — Michael J. Wooldridge
Special Issue “Coordination and Knowledge Engineering” (The Knowledge Engineering Review) — Andrea Omicini, Sascha Ossowski
Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini
Model Checking Multi-Agent Systems with MABLE (AAMAS 2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter
Agent-Oriented Software Engineering II (AOSE 2001 @ Agents 2001) — Michael Wooldridge, Gerhard Weiss, Paolo Ciancarini
A Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Agile development of a clinical multi-agent system: An Extreme Programming case study (articolo in atti) — Holger Knublauch, Holger Koeth, Thomas Rose
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (Journal of Computational Biology) — Hidde De Jong

53 pubblicazioni / 2002 • in cima • indice • in fondo

2001

Probabilistic Extensions of Process Algebras (capitolo di libro) — Jonsson Bengt, Kim G. Larsen, Wang Yi
Formal ReSpecT (AGP 2000) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (AI*IA Notizie) — Alessandro Ricci, Andrea Omicini, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (capitolo di libro) — Ian Foster
Preface (Engineering Societies in the Agents World II) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
A Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence) — Fernanda Barbosa, José C. Cunha
Coordination as a Paradigm for Systems Integration (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos
Questions and Answers: Reasoning and Querying in Description Logic (tesi di dottorato) — Sergio Tessaris
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems) — Enrico Denti, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie) — Mirko Viroli, Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (Human–Computer Interaction) — Thomas Moran, Paul Dourish
Special Issue “Coordination Models and Languages in AI” (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos
Multi-Agent Systems and Applications (curatela) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Tuple-based Technologies for Coordination (Coordination of Internet Agents) — Davide Rossi, Giacomo Cabri, Enrico Denti
ESAW'00 Workshop on Engineering Societies in the Agents World (altro tipo di pubblicazione) — Andrea Omicini, Franco Zambonelli, Robert Tolksdorf
Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
Editorial: Why Coordination Models and Languages in AI? (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos
Simulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
From Tuple Spaces to Tuple Centres (Science of Computer Programming) — Andrea Omicini, Enrico Denti
Coordination of Internet Agents (curatela) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko Viroli
Safe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Intelligent Agents VII (ATAL-00) — Cristiano Castelfranchi, Yves Lespérance
Coordination Models, Languages and Applications. Track Chair Messages (CM 2001 @ SAC 2001) — Andrea Omicini
The OPEN Process Framework: An Introduction (libro) — Donald Firesmith, Brian Henderson-Sellers
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (The International Journal of High Performance Computing Applications) — Ian Foster, Carl Kesselman, Steven Tuecke
Gamma and the Chemical Reaction Model: Fifteen Years After (capitolo di libro) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie) — Andrea Omicini
Designing Agent-Oriented Systems by Analysing Agent Interactions (AOSE 2000 @ ICSE 2000) — Simon Miles, Mike Joy, Michael Luck
Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Approach for Method Reengineering (articolo in atti) — Jolita Ralyté, Colette Rolland
Coordination Models and Languages: State of the Art. Introduction (Coordination of Internet Agents) — Andrea Omicini
Preface: Coordination of Internet Agents (Coordination of Internet Agents) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Engineering Societies in the Agents World II (ESAW'01) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Control-driven Constraint Propagation (Applied Artificial Intelligence) — Eric Monfroy
Special Issue “Coordination as a Paradigm for Systems Integration” (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos
Self Organization and Coordination (Computational Economics) — Scott E. Page
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (Journal of Knowledge Management) — Ganesh D. Bhatt
Statistical Physics of Spin Glasses and Information Processing: An Introduction (libro) — Hidetoshi Nishimori
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
Proceedings of the Fifth International Conference on Autonomous Agents (Agents 2001) — Elisabeth André, Sandip Sen, Claude Frasson, Jörg P. Müller
Basic Enabling Technologies. Introduction (Coordination of Internet Agents) — Andrea Omicini
An Agent-based Approach for Building Complex Software Systems (Communications of the ACM) — Nicholas R. Jennings
Agent-Oriented Software Engineering (AOSE 2000 @ ICSE 2000) — Paolo Ciancarini, Michael Wooldridge
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
An Assembly Process Model for Method Engineering (articolo in atti) — Jolita Ralyté, Colette Rolland
Objective Coordination in Multi-Agent System Engineering (libro) — Michael Schumacher
WOA 2001 — Dagli oggetti agli agenti (AI*IA Notizie) — Marco Cadoli, Andrea Omicini, Agostino Poggi, Franco Zambonelli
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001 @ SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Agent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
XML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
An Algorithm for Winning Coalitions in Indirect Control of Corporations (Decisions in Economics and Finance) — Nando Prati, Enrico Denti
Introduzione alla Programmazione a oggetti in Java (libro) — Enrico Denti
Preface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (AGP 2000) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea Omicini

59 pubblicazioni / 2001 • in cima • indice • in fondo

2000

The LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Hybrid Coordination Models for Handling Information Exchange among Internet Agents (MAS-RCRA @ AI*IA 2000) — Andrea Omicini
On the Expressiveness of Linda Coordination Primitives (Information and Computation) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Mind the Gap! Towards a unified view of CSCW (articolo in atti) — Kjeld Schmidt, Carla Simone
Intelligent Agents VI (ATAL-99) — Nicholas R. Jennings, Yves Lespérance
Multiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi
Preface (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini
On Agent-Based Software Engineering (articolo in rivista) — Nicholas R. Jennings
Compositional Algebra for Interactive Data Access (Information Systems) — Gianluca Moro, Antonio Natali, Claudio Sartori
EasyLiving: Technologies for Intelligent Environments (articolo in atti) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
Ruling Agent Motion in Structured Environments (HPCN Europe 2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Selecting a Project's Methodology (IEEE Software) — Alistair Cockburn
Amorphous Computing (Communications of the ACM) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Engineering Societies in the Agents World (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Introduzione alla Programmazione a oggetti in Java (libro) — Enrico Denti
Formal ReSpecT (AGP 2000) — Andrea Omicini, Enrico Denti
Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (libro) — Daniel J. Povinelli
Architectural Styles and the Design of Network-based Software Architectures (tesi di dottorato) — Roy Thomas Fielding
Special Track on Coordination Models, Languages and Applications (CM 2000 @ SAC 2000) — Andrea Omicini, George A. Papadopoulos
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (COORDINATION 2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Process Migration (ACM Computing Surveys) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (The Journal of Physical Chemistry A) — Michael A. Gibson, Jehoushua Bruck
Fondamenti di Informatica A (Parte II) (libro) — Enrico Denti
Context-Dependency in Internet-Agent Coordination (ESAW'00 @ ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Preface (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea Omicini
On the Consistent Observation of Active Systems (articolo in atti) — Gianluca Moro, Antonio Natali, Mirko Viroli
Proceedings of the Fourth International Conference on Autonomous Agents (Agents 2000) — Carles Sierra, Maria L. Gini, Jeffrey S. Rosenschein
MARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Persistent Turing Machines as a Model of Interactive Computation (articolo in atti) — Dina Q. Goldin
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (ACM SIGPLAN Notices) — Mirko Viroli, Antonio Natali

35 pubblicazioni / 2000 • in cima • indice • in fondo

1999

MAAMAW'99 — Modelling Autonomous Agents in a Multi-Agent World (AI*IA Notizie) — Andrea Omicini
Mathematical Models of Interactive Computing (rapporto tecnico) — Peter Wegner, Dina Goldin
Implementing the ACLT Coordination Model (rapporto tecnico) — Enrico Denti
Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web (libro) — Tim Berners-Lee, Mark Fischetti
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999) — Andrea Omicini, Franco Zambonelli
On the Expressiveness of Coordination Models (articolo in atti) — Antonio Brogi, Jean-Marie Jacquet
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (MAAMAW'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Extreme Programming Explained: Embrace Change (libro) — Kent Beck
Multi-Agent System Engineering (MAAMAW'99) — Francisco J. Garijo, Magnus Boman
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (Information Systems) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Introduction to Econophysics: Correlations and Complexity in Finance (libro) — Rosario N. Mantegna, H. Eugene Stanley
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination Technology for the Development of Multi-Agent Systems on the Web (AI*IA99) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Engineering Multi-Agent Systems in LuCe (MAS @ ICLP'99) — Enrico Denti, Andrea Omicini
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (libro) — Eric Freeman, Susanne Hupfer, Ken Arnold
The Explorable Topology: Supporting Agent Autonomy on the Internet (WSDAAL'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems (AgentLink News) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (IEEE Transactions on Software Engineering) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
A Methodology for Agent-Oriented Analysis and Design (Agents '99) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Franco Zambonelli
Swarm Intelligence: From Natural to Artificial Systems (libro) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz
A Brief History of Stigmergy (Artificial Life) — Guy Theraulaz, Eric Bonabeau
Building Mobile Agent Applications in HiMAT (PDSE'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents (Nordic Journal of Computing) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (PODC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Adopting an Object-Oriented Data Model in Inductive Logic Programming (FLAIRS 1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (libro) — Enrico Denti
Distributed Cognition, Coordination and Environment Design (articolo in atti) — David Kirsh
The UMASS Intelligent Home Project (Agents '99) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
Fondamenti di Informatica A (Parte I) (libro) — Enrico Denti
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence (curatela) — Gerhard Weiss
Intelligent Agents V (ATAL-98) — Jörg P. Müller, Munindar P. Singh, Anand S. Rao
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Coinductive Models of Finite Computing Agents (articolo in atti) — Peter Wegner, Dina Goldin
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999) — Andrea Omicini
Proceedings of the Third Annual Conference on Autonomous Agents (Agents '99) — Oren Etzioni, Jörg P. Müller, Jeffrey M. Bradshaw
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (COORDINATION 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Co-ordination in Artificial Agent Societies (libro) — Sascha Ossowski
Multiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience) — Enrico Denti, Andrea Omicini
Agents with Power (Communications of the ACM) — Rune Gustavsson
Editor's Introduction: Stigmergy (Artificial Life) — Eric Bonabeau
Comparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro

43 pubblicazioni / 1999 • in cima • indice • in fondo

1998

Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (IEEE Transactions on Software Engineering) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
T Spaces (IBM Systems Journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
KLAIM: A Kernel Language for Agent Interaction and Mobility (IEEE Transactions on Software Engineering) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Collective dynamics of ‘small-world’ networks (Nature) — Duncan J. Watts, Steven H. Strogatz
Understanding Code Mobility (IEEE Transactions on Software Engineering) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Programming with Constraints: An Introduction (libro) — Kim Marriott, Peter J. Stuckey
Coordination Models and Languages (capitolo di libro) — George A. Papadopoulos, Farhad Arbab
Towards a Hierarchy of Negative Test Operators for Generative Communication (articolo in atti) — Gianluigi Zavattaro
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (articolo in atti) — Cristiano Castelfranchi, Rino Falcone
Planning and acting in partially observable stochastic domains (articolo in rivista) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
A process algebraic view of Linda coordination primitives (Theoretical Computer Science) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Co-ordination of Mobile Information Agents in TuCSoN (Internet Research) — Andrea Omicini, Franco Zambonelli
Intelligent Agents IV (ATAL-97) — Munindar P. Singh, Anand S. Rao, Michael J. Wooldridge
Proceedings of the Second International Conference on Autonomous Agents (Agents '98) — Katia P. Sycara, Michael J. Wooldridge
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (tesi di dottorato) — Enrico Denti
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (altro tipo di pubblicazione) — Enrico Denti
On the Incomparability of Gamma and Linda (rapporto tecnico) — Gianluigi Zavattaro
Agent Communication Languages: Rethinking the Principles (Computer) — Munindar P. Singh
Designing for the Dynamics of Cooperative Work Activities (articolo in atti) — Jakob Bardram
Decision procedures for BDI logics (Journal of Logic and Computation) — Anand S. Rao, Michael P. Georgeff
Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (libro) — Gustave Martelet
On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
Distributed Agents Supporting Event-Driven Design Processes (capitolo di libro) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (AI*IA'98) — Andrea Omicini, Franco Zambonelli
Modelling Social Action for AI Agents (articolo in rivista) — Cristiano Castelfranchi
Towards Empirical Computer Science (The Monist) — Peter Wegner
A Comprehensive View of Process Engineering (articolo in atti) — Colette Rolland
TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98 @ CAiSE'98) — Andrea Omicini, Franco Zambonelli
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms (IEEE Transactions on Knowledge and Data Engineering) — Makoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro Kuwabara
A Fuzzy Description Logic (articolo in atti) — Umberto Straccia
A Formal Specification of dMARS (ATAL-97) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
Data Access Services and Automatic Generation of Cooperative Interfaces (articolo in atti) — Gianluca Moro, Antonio Natali, Claudio Sartori

32 pubblicazioni / 1998 • in cima • indice • in fondo

1997

Intelligent Decision Support Methods: The Science of Knowledge Work (libro) — Vasant Dhar, Roger M. Stein
Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (capitolo di libro) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
Designing Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Issues in Agent-Based Software Engineering (articolo in atti) — Michael J. Wooldridge
Situational Method Engineering (libro) — A.F. Harmsen
Multi-Agent Rationality (MAAMAW'97) — Magnus Boman, Walter Van de Velde
Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Semantics and Conversations for an Agent Communication Language (capitolo di libro) — Yannis Labrou, Tim Finin
“Go to the Ant”: Engineering Principles from Natural Agent Systems (Annals of Operations Research) — H. Van Dyke Parunak
In Pursuit of the Holy Grail (Constraints) — Eugene C. Freuder
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (ATAL-96 @ ECAI'96) — Stan Franklin, Art Graesser
Learning with an Object-Oriented Data Model (AALN’97) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (articolo in atti) — Leon J. Osterweil
A Tutorial on (Co)Algebras and (Co)Induction (Bulletin of the European Association for Theoretical Computer Science) — Bart Jacobs, Jan Rutten
Expressive Power of the ACLT Reaction Specification Language (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
Why Interaction Is More Powerful Than Algorithms (Communications of the ACM) — Peter Wegner
Intelligent Agents III (ATAL-96 @ ECAI'96) — Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings
Proceedings of the First International Conference on Autonomous Agents (Agents '97) — W. Lewis Johnson
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97) — Enrico Denti, Antonio Natali, Andrea Omicini

19 pubblicazioni / 1997 • in cima • indice • in fondo

1996

Integrating Knowledge Acquisition in Plan Selection (AI*IA'96) — Antonio Natali, Andrea Omicini
Foundations of Distributed Artificial Intelligence (curatela) — Gregory M.P. O'Hare, Nicholas R. Jennings
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (COORDINATION'96) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Coordination Models and Languages as Software Integrators (ACM Computing Surveys) — Paolo Ciancarini
Intelligent Agents II (ATAL-95 @ IJCAI'95) — Michael J. Wooldridge, Jörg P. Müller, Milind Tambe
An Object-Oriented Approach to Planning (FAPR'96 Workshop) — Umberto Fonda, Antonio Natali, Andrea Omicini
A General Framework for Multi-Theory Logic Languages (rapporto tecnico) — Andrea Omicini
The Structure of Scientific Revolutions (libro) — Thomas S. Kuhn
A Software Environment for Concurrent Coordinated Programming (COORDINATION'96) — Anne-Alexandra Holzbacher
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (MAAMAW'96) — Anand S. Rao
Trading Consistency for Availability in Distributed Systems (rapporto tecnico) — Roy Friedman, Ken Birman
Method engineering: engineering of information systems development methods and tools (Information and Software Technology) — Sjaak Brinkkemper
Bulk Primitives in Linda Run-Time Systems (tesi di dottorato) — Antony Ian Taylor Rowstron
Agents Breaking Away (MAAMAW'96) — Walter Van de Velde, John W. Perram
Distributed Software Agents and Applications (MAAMAW'94) — John W. Perram, Jean-Pierre Müller

16 pubblicazioni / 1996 • in cima • indice • in fondo

1995

BDI Agents: From Theory to Practice (articolo in atti) — Anand S. Rao, Michael P. Georgeff
Intelligent Agents: Theory and Practice (The Knowledge Engineering Review) — Michael J. Wooldridge, Nicholas R. Jennings
From Reaction to Cognition (MAAMAW'93) — Cristiano Castelfranchi, Jean-Pierre Müller
Context and Consciousness: Activity Theory and Human-Computer Interaction (curatela) — Bonnie A. Nardi
A distributed semantics for EMPA based on stochastic contextual nets (The Computer Journal) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Integration of object-oriented analysis and performance simulation for engineering computer-based systems (articolo in atti) — Richard Goldgar, Ramon D. Acosta
Intelligent Agents (ATAL-94 @ ECAI-94) — Michael J. Wooldridge, Nicholas R. Jennings
Law-Governed Linda as a Coordination Model (articolo in atti) — Naftaly H. Minsky, Jerrold Leichter
Computational Research on Interaction and Agency (articolo in rivista) — Philip E. Agre
Guarantees for Autonomy in Cognitive Agent Architecture (ATAL-94 @ ECAI-94) — Cristiano Castelfranchi
La programmazione logica nello sviluppo del software: dai modelli agli strumenti (capitolo di libro) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (libro) — Enrico Denti, Antonio Natali
Robot Control Systems as Contextual Logic Programs (capitolo di libro) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
1st International Conference on Multiagent Systems (curatela) — Victor R. Lesser, Les Gasser
Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
Specification and Analysis of System Architecture Using Rapide (IEEE Transactions on Software Engineering) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (Information and Computation) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Programmazione Logica Orientata agli Oggetti (tesi di dottorato) — Andrea Omicini
A Petri Net Semantics for pi-Calculus (articolo in atti) — Nadia Busi, Roberto Gorrieri
Cognitive and Social Action (curatela) — Rosaria Conte, Cristiano Castelfranchi
Constraining Objects as Logic Theories (rapporto tecnico) — Andrea Omicini

21 pubblicazioni / 1995 • in cima • indice • in fondo

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

1993

From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93) — Enrico Denti, Antonio Natali, Andrea Omicini
Foundations for Interaction: The Dependence Theory (articolo in atti) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Agent-Oriented Programming (articolo in rivista) — Yoav Shoham
Objects with State in CSM (CompuLog 2 Meeting / WLL'93) — Antonio Natali, Andrea Omicini
Elements of Interaction: Turing Award Lecture (Communications of the ACM) — Robin Milner
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Tools, Language and Cognition in Human Evolution (curatela) — Kathleen R. Gibson, Tim Ingold
Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
Science for the post-normal age (Futures) — Silvio O. Funtowicz, Jerome R. Ravetz
Development of a Programming Environment for Intelligent Robotics (articolo in atti) — Stefano Caselli, Antonio Natali, Francesco Zanichelli
An Overview of Manifold and its Implementation (Concurrency and Computation: Practice and Experience) — Farhad Arbab, Ivan Herman, Per Spilling
Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
The Origins of Order: Self-organization and Selection in Evolution (libro) — Stuart A. Kauffman
A History of Speculation on the Relation between Tools and Languages (capitolo di libro) — Gordon W. Hewes

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

1992

A calculus of mobile processes, I (Information and Computation) — Robin Milner, Joachim Parrow, David Walker
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
The Semantics of a Parallel Language based on a Shared Data Space (rapporto tecnico) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
An Abstract Architecture for Rational Agents (articolo in atti) — Anand S. Rao, Michael P. Georgeff
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs (The Journal of Logic Programming) — Evelina Lamma, Paola Mello, Antonio Natali
Decentralized A.I. 3 (MAAMAW'91) — Eric Werner, Yves Demazeau
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Supporto alla Comunicazione Remota in MME 3 (rapporto tecnico) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
Extending Prolog with Modularity, Concurrency and Meta-Rules (articolo in rivista) — Paola Mello, Antonio Natali
A calculus of mobile processes, II (Information and Computation) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (Communications of the ACM) — David Gelernter, Nicholas Carriero
Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini
Design principles for cognitive artifacts (Research in Engineering Design) — Donald A. Norman
Parallel Logic Programming using the Linda Model of Computation (articolo in atti) — Paolo Ciancarini
Barbed Bisimulation (articolo in atti) — Robin Milner, Davide Sangiorgi
CSM User's Guide (rapporto tecnico) — Enrico Denti, Antonio Natali, Andrea Omicini
The Chemical Abstract Machine (Theoretical Computer Science) — Gérard Berry, Gérard Boudol
Methodology EngineeringR: a proposal for situation-specific methodology construction (capitolo di libro) — Kuldeep Kumar, Richard J. Welke
Co-ordinating Plans of Autonomous Agents (libro) — Frank von Martial

19 pubblicazioni / 1992 • in cima • indice • in fondo

1991

The Concept of Activity as a Basic Unit of Analysis for CSCW Research (articolo in atti) — Kari Kuutti
Reflection Mechanisms for Combining Prolog Databases (Software: Practice and Experience) — Evelina Lamma, Paola Mello, Antonio Natali
Decentralized A.I. 2 (MAAMAW'90) — Yves Demazeau, Jean-Pierre Müller
Separating Concurrent Languages with Categories of Language Embeddings (articolo in atti) — Ehud Shapiro
Generalizing Term Subsumption Languages to Fuzzy Logic (articolo in atti) — John Yen
Quintus Prolog 3.0 (IEEE Intelligent Systems) — Ken Johnson
The Logical Basis of Metaphysics (libro) — Michael Dummett
Modeling Rational Agents within a BDI Architecture (articolo in atti) — Anand S. Rao, Michael P. Georgeff
Intelligence Without Reason (articolo in atti) — Rodney A. Brooks
Intelligence without Representation (articolo in rivista) — Rodney A. Brooks
The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems) — Antonio Brogi, Paolo Ciancarini
The Narrative Construction of Reality (Critical Inquiry) — Jerome Bruner
Cognitive Artifacts (capitolo di libro) — Donald A. Norman

13 pubblicazioni / 1991 • in cima • indice • in fondo

1990

An Introduction to Prolog III (Communications of the ACM) — Alain Colmerauer
Equivalences, congruences, and complete axiomatizations for probabilistic processes (articolo in atti) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (Science of Computer Programming) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (rapporto tecnico) — IEEE Standard Board
What is Intention? (capitolo di libro) — Michael E. Bratman, Andrea Roli
Decentralized A.I. (MAAMAW'89) — Yves Demazeau, Jean-Pierre Müller
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (articolo in atti) — Ivan Christoff
Concepts and Paradigms of Object-oriented Programming (ACM SIGPLAN OOPS Messenger) — Peter Wegner

8 pubblicazioni / 1990 • in cima • indice • in fondo

1989

How to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys) — Nicholas Carriero, David Gelernter
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming (articolo in atti) — Evelina Lamma, Paola Mello, Antonio Natali
Constraint Satisfaction in Logic Programming (libro) — Pascal Van Hentenryck
Logic Programming in a Software Engineering Perspective (articolo in atti) — Paola Mello, Antonio Natali, Cristina Ruggieri
Information Management: A Proposal (rapporto tecnico) — Tim Berners-Lee
Linda in Context (Communications of the ACM) — Nicholas Carriero, David Gelernter

6 pubblicazioni / 1989 • in cima • indice • in fondo

1988

BibTeXing (manuale) — Oren Patashnik
Designing BibTeX Styles (manuale) — Oren Patashnik
Meta-Programming in Prolog Through Direct Introspection (articolo in atti) — Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali
Grafica in Turbo Pascal (MC Microcomputer) — Enrico Denti
The Constraint Logic Programming Language CHIP (FGCS 1988) — Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
Readings in Distributed Artificial Intelligence (curatela) — Alan H. Bond, Les Gasser

6 pubblicazioni / 1988 • in cima • indice • in fondo

1987

Intention, Plans, and Practical Reason (libro) — Michael E. Bratman
Software Processes are Software too (articolo in atti) — Leon J. Osterweil
Plans and Situated Actions: The Problem of Human-Machine Communication (capitolo di libro) — Lucy A. Suchman
Objects as Communicating Prolog Units (articolo in atti) — Paola Mello, Antonio Natali
Linear logic (Theoretical Computer Science) — Jean-Yves Girard
Reactive Reasoning and Planning (articolo in atti) — Michael P. Georgeff, Amy L. Lansky
Constraint Logic Programming (POPL 1987) — Joxan Jaffar, Jean-Louis Lassez

7 pubblicazioni / 1987 • in cima • indice • in fondo

1986

Linda and Friends (Computer) — Sudhir Ahuja, Nicholas Carriero, David Gelernter
Programs as Collections of Communicating Prolog Units (articolo in atti) — Paola Mello, Antonio Natali
Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications (capitolo di libro) — Marc Mézard, Giorgio Parisi, Miguel Angel Virasoro
Achieving Artificial Intelligence through Building Robots (rapporto tecnico) — Rodney A. Brooks

4 pubblicazioni / 1986 • in cima • indice • in fondo

1985

Plans and Situated Actions: The Problem of Human-Machine Communication (tesi di dottorato) — Lucy A. Suchman
Foundations of Knowledge for Distributed Systems (rapporto tecnico) — Michael J. Fisher, Neil Immerman
Generative Communication in Linda (ACM Transactions on Programming Languages and Systems) — David Gelernter
Algebra of communicating processes with abstraction (Theoretical Computer Science) — Jan A. Bergstra, Jan Willem Klop
Meta-level Programming and Knowledge Representation (articolo in rivista) — Kenneth A. Bowen

5 pubblicazioni / 1985 • in cima • indice • in fondo

1984

Multiple-Microprocessor Programming Techniques (Computer) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali
Basic Modal Logic (capitolo di libro) — Robert Bull, Krister Segerberg
Foundations of Logic Programming (libro) — John W. Lloyd

3 pubblicazioni / 1984 • in cima • indice • in fondo

1983

An Implementation of Rendez-Vous in Distributed Systems (articolo in atti) — Antonio Corradi, Antonio Natali
The consensus problem in unreliable distributed systems (a brief survey) (articolo in atti) — Michael J Fischer
Using the iAPX-432 system as a support for chill parallel constructs (Microprocessing and Microprogramming) — Antonio Corradi, Antonio Natali

3 pubblicazioni / 1983 • in cima • indice • in fondo

1982

Distributed Commit With Bounded Waiting (articolo in atti) — Danny Dolev, H. Raymond Strong
An Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems) — Alberto Martelli, Ugo Montanari
MML: A programming line for multiple-microprocessors systems (articolo in atti) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali

3 pubblicazioni / 1982 • in cima • indice • in fondo

1981

Linguistic Mechanisms for Resource Management Strategies (Software: Practice and Experience) — Paolo Ancilotti, Norma Lijtmaer, Maurelio Boari, Antonio Natali

1 pubblicazione / 1981 • in cima • indice • in fondo

1980

Autopoiesis and Cognition: The Realization of the Living (libro) — Humberto R. Maturana, Francisco G. Varela
Minds, Brains, and Programs (Behavioral and Brain Sciences) — John R. Searle

2 pubblicazioni / 1980 • in cima • indice • in fondo

1979

Ascribing Mental Qualities to Machines (capitolo di libro) — John McCarthy
Algorithm = Logic + Control (Communications of the ACM) — Robert A. Kowalski
The Paradigms of Programming (Communications of the ACM) — Robert W. Floyd

3 pubblicazioni / 1979 • in cima • indice • in fondo

1978

Mind in Society (libro) — Lev Semyonovich Vygotsky
Time, Clocks, and the Ordering of Events in a Distributed System (Communications of the ACM) — Leslie Lamport
Mind in Society: Development of Higher Psychological Processes (libro) — Lev Semenovich Vygotskiĭ
Multiple Access to a Tree in the Context of Readers and Writers Problem (Information Processing Letters) — Maurelio Boari, Antonio Natali

4 pubblicazioni / 1978 • in cima • indice • in fondo

1977

Exact Stochastic Simulation of Coupled Chemical Reactions (The Journal of Physical Chemistry) — Daniel T. Gillespie
A Structure for Plans and Behavior (libro) — Earl D. Sacerdoti
Consistency in Networks of Relations (articolo in rivista) — Alan K. Mackworth
Petri Nets (ACM Computing Surveys) — James L. Peterson

4 pubblicazioni / 1977 • in cima • indice • in fondo

1976

Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems (Information Processing Letters) — Maurelio Boari, Antonio Natali

1 pubblicazione / 1976 • in cima • indice • in fondo

1975

Understanding Line Drawings of Scenes with Shadows (capitolo di libro) — David L. Waltz

1 pubblicazione / 1975 • in cima • indice • in fondo

1974

Networks of Constraints: Fundamental Properties and Applications to Picture Processing (Information Sciences) — Ugo Montanari
Predicate Logic as Programming Language (articolo in atti) — Robert A. Kowalski
Autopoiesis: The Organization of Living Systems, its Characterization and a Model (BioSystems) — Francisco G. Varela, Humberto R. Maturana, R. Uribe

3 pubblicazioni / 1974 • in cima • indice • in fondo

1973

The Strength of Weak Ties (American Journal of Sociology) — Mark S. Granovetter

1 pubblicazione / 1973 • in cima • indice • in fondo

1972

On the Criteria to Be Used in Decomposing Systems into Modules (Communications of the ACM) — David Lorge Parnas

1 pubblicazione / 1972 • in cima • indice • in fondo

1971

On the Foundations of Geometry and Formal Theories of Arithmetic (libro) — Gottlob Frege
Intentional Systems (The Journal of Philosophy) — Daniel C. Dennett

2 pubblicazioni / 1971 • in cima • indice • in fondo

1965

What is a Speech Act? (capitolo di libro) — John Searle

1 pubblicazione / 1965 • in cima • indice • in fondo

1964

Lectures on Gas Theory (libro) — Ludwig Boltzmann

1 pubblicazione / 1964 • in cima • indice • in fondo

1963

Sketchpad: A Man-Machine Graphical Communication System (AFIPS '63 (Spring)) — Ivan E. Sutherland

1 pubblicazione / 1963 • in cima • indice • in fondo

1962

The Architecture of Complexity (Proceedings of the American Philosophical Society) — Herbert A. Simon

1 pubblicazione / 1962 • in cima • indice • in fondo

1959

La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs (Insectes Sociaux) — Pierre-Paul Grassé

1 pubblicazione / 1959 • in cima • indice • in fondo

1958

The Human Condition (libro) — Hannah Arendt

1 pubblicazione / 1958 • in cima • indice • in fondo

1952

The Chemical Basis of Morphogenesis (Philosophical Transactions of the Royal Society B: Biological Sciences) — Alan Mathison Turing

1 pubblicazione / 1952 • in cima • indice • in fondo

1950

I.—Computing Machinery and Intelligence (Mind) — Alan Mathison Turing

1 pubblicazione / 1950 • in cima • indice • in fondo

1949

De Inventione, De Optimo Genere Oratorum, Topica (libro) — Marcus Tullius Cicero

1 pubblicazione / 1949 • in cima • indice • in fondo

1948

A Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. Shannon
A Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. Shannon

2 pubblicazioni / 1948 • in cima • indice • in fondo

1947