Per Year
Per Year
1362 publications without IEEE No / 1927–2023
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1980 | 1979 | 1978 | 1977 | 1974 | 1973 | 1972 | 1971 | 1965 | 1964 | 1962 | 1959 | 1952 | 1950 | 1947 | 1939 | 1937 | 1927
- Burden of Persuasion: A Meta-argumentation Approach
- Delay Indices for Train Punctuality
- Special Issue “Advances in Multi-Agent Systems”
- ChatGPT is not all you need. A State of the Art Review of large Generative AI models
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models
- Multi-Agent Cooperative Argumentation in Arg2P
- Special Issue “Advances in Multi-Agent Systems”: Editorial
- The PSyKE Technology for Trustworthy Artificial Intelligence
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation
- Symbolic Knowledge Extraction for Explainable Nutritional Recommenders
- A view to a KILL: Knowledge Injection via Lambda Layer
- On Correctness and Completeness of an n Queens Program
- CILC 2022 – Italian Conference on Computational Logic
- How to model contrary-to-duty with GCP-nets
- Modular logic argumentation in Arg-tuProlog
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- Towards Human-centric AutoML via Logic and Argumentation
- Web of Digital Twins
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
- KINS: Knowledge Injection via Network Structuring
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection
- Arg2P: An argumentation framework for explainable intelligent systems
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence
- Burden of Persuasion in Meta-argumentation
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
- Arguing About the Existence of Conflicts
- GNN2GNN: Graph Neural Networks to Generate Neural Networks
- Fifty Years of Prolog and Beyond
- Taking stock of available technologies for compliance checking on first-order knowledge
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
- Coordination of Autonomous Vehicles: Taxonomy and Survey
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
- Clustering-Based Approaches for Symbolic Knowledge Extraction
- Probabilistic logic programming in 2P-Kt
- Logic Programming library for Machine Learning: API design and prototype
- Preface
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI
- Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices
- Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge
- WOA 2021 – 22nd Workshop “From Objects to Agents”
- Explainability through argumentation in logic programming
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
- Towards Explainable Visionary Agents: License to Dare and Imagine
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain
- Partitioned integration and coordination via the self-organising coordination regions pattern
- An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing
- Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System
- Argumentation and Defeasible Reasoning in the Law
- MDE & MDA in a Multi-Paradigm Modeling Perspective
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P
- The Burden of Persuasion in Structured Argumentation
- Burden of persuasion in argumentation: A meta-argumentation approach
- Programming Agent-Based Mobile Apps: The JaCa-Android Framework
- Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap
- MDE & MDA in a Multi-Paradigm Modeling Perspective
- Artificial Intelligence: A Modern Approach
- Burdens of Persuasion and Standards of Proof in Structured Argumentation
- Counterfactual Explanations for Machine Learning: Challenges Revisited
- Towards cooperative argumentation for MAS: An actor-based approach
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
- Twenty years of coordination technologies: COORDINATION contribution to the state of art
- From Agents to Blockchain: Stairway to Integration
- Arg-tuProlog: A tuProlog-based argumentation framework
- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities
- Neuro-symbolic Computation for XAI: Towards a Unified Model
- On the Integration of Agents and Digital Twins in Healthcare
- A Model for the Burden of Persuasion in Argumentation
- Special Issue “Multi-Agent Systems”: Editorial
- The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
- Time-Fluid Field-Based Coordination
- Agent-based Modelling in Multicellular Systems Biology
- An Abstract Framework for Agent-Based Explanations in AI
- Computable Law as Argumentation-based MAS
- WOA 2020 – 21st Workshop “From Objects to Agents”
- Not just for humans: Explanation for agent-to-agent communication
- Real-time tracking and documentation in trauma management
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain
- 2P-Kt: logic programming with objects & functions in Kotlin
- Preface
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer
- Complementing Agents with Cognitive Services: A Case Study in Healthcare
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
- Language Models are Few-Shot Learners
- Burden of Persuasion in Argumentation
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
- Counterfactual Explanations for Machine Learning: A Review
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
- Multi-Agent Systems 2019
- Agent-Based Explanations in AI: Towards an Abstract Framework
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
- Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
- Arg-tuProlog: a modular logic argumentation tool for PIL
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey
- Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
- Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform
- Argumentation and Logic Programming for Explainable and Ethical AI
- Special Issue “Multi-Agent Systems” 2019
- Coordination in Socio-technical Systems: Where are we now? Where do we go next?
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
- Special Issue “Multi-Agent Systems”: Editorial
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling
- ViTALiSE: Virtual to Augmented Loop in Smart Environments
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
- Towards XMAS: eXplainability through Multi-Agent Systems
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
- Preface – AI&IoT 2019
- Aggregate Processes in Field Calculus
- The Future of Digital Democracy. An Interdisciplinary Approach
- AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019
- The share Operator for Field-Based Coordination
- On a Higher-Order Calculus of Computational Fields
- Multi-Agent Systems
- Language Models are Unsupervised Multitask Learners
- Explanation in artificial intelligence: Insights from the social sciences
- Intelligent Agents and Environment
- Deliver intelligence to integrate care: the Connecare way
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
- Evaluating Origin–Destination Matrices Obtained from CDR Data
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
- BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
- Democratic Process and Digital Platforms: An Engineering Perspective
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts
- Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
- Client-side Computational Optimization
- A Higher-Order Calculus of Computational Fields
- On Context-Orientation in Aggregate Programming
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
- Preface
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution
- Defeasible Systems in Legal Reasoning: A Comparative Assessment
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
- Special Issue “Multi-Agent Systems”
- From distributed coordination to field calculus and aggregate computing
- A development approach for collective opportunistic Edge-of-Things services
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
- Self-organising Coordination Regions: a Pattern for Edge Computing
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
- Case studies for a new IoT programming paradigm: Fluidware
- Security in Collective Adaptive Systems: A Roadmap
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
- Aggregate Graph Statistics
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
- Optimal single-path information propagation in gradient-based algorithms
- ReSpecTX: Programming Interaction Made Easy
- From Field-Based Coordination to Aggregate Computing
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
- Spatial Tuples: Augmenting Reality with Tuples
- Logic Programming as a Service
- Space-Time Universality of Field Calculus
- A Survey of Methods for Explaining Black Box Models
- The mythos of model interpretability
- Extending Logic Programming with Labelled Variables: Model and Semantics
- Combining Trust and Aggregate Computing
- Towards attack-resistant Aggregate Computing using trust mechanisms
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
- Distributed Speaking Objects: a Case for Massive Multiagent Systems
- Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
- Programming Actor-Based Collective Adaptive Systems
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
- From the Blockchain to Logic Programming and Back: Research Perspectives
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
- State-of-the-Art and Trends in Nature-inspired Coordination Models
- Aggregate plans for multiagent systems
- Practical Aggregate Programming with Protelis
- Agent-based Modelling in Multicellular Systems Biology
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
- Programming the Interaction Space Effectively with ReSpecTX
- Attention Is All You Need
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
- Transformer: A Novel Neural Network Architecture for Language Understanding
- Modeling Opportunistic IoT Services in Open IoT Ecosystems
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Coordinating Distributed Speaking Objects
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
- The impact of self-loops in random boolean network dynamics
- Augmented societies with mirror worlds
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
- An Argumentation-based Perspective over the Social IoT
- Context Reasoning and Prediction in Smart Environments: the Home Manager case
- Agents and Multi-Agent Systems for Health Care
- Preface
- Towards a Foundational API for Resilient Distributed Systems Design
- Spiking Neural Networks as Timed Automata
- Formal Validation of Neural Networks as Timed Automata
- Self-Adaptation to Device Distribution in the Internet of Things
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment
- Compositional Blocks for Optimal Self-Healing Gradients
- Simulating Large-scale Aggregate MASs with Alchemist and Scala
- Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems
- Self-adaptation to Device Distribution Changes in Situated Computing Systems
- Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
- Cross-organism learning method to discover new gene functionalities
- Aggregate Programming: From Foundations to Applications
- The Butlers Framework for Socio-Technical Smart Spaces
- Towards Logic Programming as a Service: Experiments in tuProlog
- Programming with event loops and control loops – From actors to agents
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
- An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
- On Execution Platforms for Large-scale Aggregate Computing
- Resiliency with Aggregate Computing: State of the Art and Roadmap
- Mastering the game of Go with deep neural networks and tree search
- Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
- Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
- Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
- Labelled Variables in Logic Programming: Foundations
- Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
- Towards Aggregate Programming in Scala
- Improving Gossip Dynamics Through Overlapping Replicates
- A type-sound calculus of computational fields
- Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
- Special Section on Coordination in Large-Scale Socio-Technical Systems
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
- Building Smart Spaces on the Home Manager platform
- Foreward by Prof. Andrea Omicini
- Improving Gossip Dynamics Through Overlapping Replicates
- Spatial awareness in pervasive ecosystems
- The Autonomy of Technological Systems and Responsibilities for their Use
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
- Game Engines to Model MAS: A Research Roadmap
- Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK
- A coordination model of pervasive service ecosystems
- Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
- Neural Machine Translation by Jointly Learning to Align and Translate
- Deep learning
- Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
- Programming Multi-agent Systems
- Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
- Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
- Towards agent aggregates: perspectives and challenges
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
- Effective Approaches to Attention-based Neural Machine Translation
- GOTA: GO term annotation of biomedical literature
- Aggregate Programming for the Internet of Things
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention
- Protelis: Practical Aggregate Programming
- Type-based Self-stabilisation for Computational Fields
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
- Preface
- Space-Time Programming
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
- A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
- PRIMA 2015: Principles and Practice of Multi-Agent Systems
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
- Smart Augmented Fields for Emergency Operations
- Formal Foundations of Sensor Network Applications
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
- GOTA: GO term annotation of biomedical literature
- Labelled Variables in Logic Programming: A First Prototype in tuProlog
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014
- Building Blocks for Aggregate Programming of Self-Organising Applications
- Engineering General Intelligence, Part 2
- Extending a Smart Home Multi-Agent System with Role-Based Access Control
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives
- The IEEE-FIPA Standard on the Design Process Documentation Template
- Negotiation and Argumentation in Multi-Agent Systems
- Introduction
- A Calculus of Self-stabilising Computational Fields
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks
- Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale
- Argumentation and Artifacts for Negotiation Support
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution
- Handbook on Agent-Oriented Design Processes
- The SODA Methodology: Meta-Model and Process Documentation
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations
- Distributed statistical analysis of complex systems modeled through a chemical metaphor
- Novel pervasive scenarios for home management: the Butlers architecture
- Best ACM SAC Articles on Coordination and Self-Adaptation
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
- Preface
- The Autonomy of Automated Systems
- Towards a Unified Model of Spatial Computing
- Bridging the Symbolic/Subsymbolic Gap
- The Gaia Methodology Process
- Probabilistic Modular Embedding for Stochastic Coordinated Systems
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
- Coordination for Situated MAS: Towards an Event-driven Architecture
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach
- Domain Independent Text Categorization
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
- Special Issue on Software Agents
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
- Coupling software architecture and human architecture for collaboration-aware system adaptation
- Nature-inspired Coordination for Complex Distributed Systems
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- A calculus of computation fields
- Semantic Tuple Centres
- Collaborative Learning and ICT: A Prototypal Learning Environment
- Engineering Pervasive Multiagent Systems in SAPERE
- Injecting Self-organisation into Pervasive Service Ecosystems
- On competitive self-composition in pervasive services
- tuProlog: Making Prolog Ubiquitous
- Nature-inspired Coordination Models: Current Status, Future Trends
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013)
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST
- Space-aware Coordination in ReSpecT
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives
- Operational Semantics of Proto
- Organizing the Aggregate: Languages for Spatial Computing
- Multi-agent Oriented Programming with JaCaMo
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
- Description and composition of bio-inspired design patterns: a complete overview
- Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes
- 6th International Spatial Computing Workshop (SCW 2013)
- Software Agents: Twenty Years and Counting
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Predicting Social Density in Mass Events to Prevent Crowd Disasters.
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination
- Engineering Pervasive Multiagent Systems in SAPERE
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- Is It a “Good” Encoding of Mixed Choice?
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
- Bottom-Up Argumentation
- Self-organising Semantic Resource Discovery for Pervasive Systems
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi
- VPN - Client-server object-oriented virtual plant modeling tool
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- Molecules of Knowledge: A Novel Perspective over Knowledge Management
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
- On the Space-time Situation of Pervasive Service Ecosystems
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
- Distributed Systems. Concepts and Design
- Standard Type Soundness for Agents and Artifacts
- A Computational Framework for Multilevel Morphologies
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core
- Programming Distributed Multi-Agent Systems in simpAL
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
- A Programming Paradigm based on Agent-Oriented Abstractions
- Interdependent Artificial Institutions in Agent Environments
- Perspectives on Spin Glasses
- Agents Writing on Walls: Cognitive Stigmergy and Beyond
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)
- Proceedings of the AI*IA 2012 Doctoral Consortium
- Gradient-based Self-organisation Patterns of Anticipative Adaptation
- Self-Organising News Management: The Molecules of Knowledge Approach
- Typing Multi-Agent Programs in simpAL
- On the Space-time Situation of Pervasive Service Ecosystems
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL
- Implicit: A Multi-agent Recommendation System for Web Search
- Situation Identification Techniques in Pervasive Computing: A Review
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications
- Self-adaptive software needs quantitative verification at runtime
- Toward Sociotechnical Urban Superorganisms
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- Self-Organising News Management: The Molecules of Knowledge Approach
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda
- Coordinating Spatially-Situated Pervasive Service Ecosystems
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn
- Model-driven communications and collaborative software development
- Declarative Agent Languages and Technologies VIII
- Deep diving into BitTorrent locality
- Living in a Digital World
- An introduction to Bisimulation and Coinduction
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture
- Seeing is not enough
- Preface
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
- BaSi: Multi-Agent Based Simulation for Medieval Battles
- JaCa-Android: an agent-based platform for building smart mobile applications
- Special Issue “Infrastructures and Tools for Multiagent Systems”
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
- Software Engineering for Self-Organizing Systems
- A Simulation Framework for Pervasive Services Ecosystems
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
- A Calculus of Agents and Artifacts
- Middleware Infrastructures for Self-organising Pervasive Computing Systems
- Dennis Ritchie, 1941-2011
- Sustainable biomass power plant location in the Italian Emilia-Romagna region
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
- Facing Openness with Socio Cognitive Trust and Categories
- Distributed Computing. Principles, Algorithms, and Systems
- Abstraction in hardware system design
- Towards a logic framework for Web programming
- Java Security Architecture Revisited
- Improving brain-computer interfaces
- A Coordination Approach to Adaptive Pervasive Service Ecosystems
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework
- Towards Social-ICT Organisms
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
- The legacy of Steve Jobs
- Verifying the Evolution of Probability Distributions Governed by a DTMC
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
- The most ancient marketing
- Self-aware Pervasive Service Ecosystems
- The software industry is the problem
- Adaptive organizational changes in agent-oriented methodologies
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
- From Space to Stage: How Interactive Screens Will Change Urban Life
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
- Self-organising Knowledge-intensive Workspaces
- Enhancing Privacy in Multi-Agent Systems
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
- Multi-level models and infrastructures for simulating biological system development
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology
- Preface
- The Rise of Molecular Machines
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others
- BDI Agents with Objectives and Preferences
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
- Principles of Elastic Processes
- Processes Engineering and AOSE
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
- Core Operational Semantics of Proto
- An interaction-oriented agent framework for open environments
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
- Anonymity is not privacy: technical perspective
- Programming Coordination Laws of Artifacts in CArtAgO
- A Tour of Reaction Systems
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective
- Exploiting the JaCaMo framework for realising an adaptive room governance application
- Global Democracy: Normative and Empirical Perspectives
- Computational journalism
- Coordination Models and Languages: From Parallel Computing To Self-Organisation
- Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
- Description Spaces with Fuzziness
- Will software engineering ever be engineering?
- Agent-based Conference Management: A Case Study in SODA
- Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
- Documenting SODA: An Evaluation of the Process Documentation Template
- Programming Open Systems with Agents, Environments and Organizations
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
- Simulate plants: a client-server graphic approach
- Towards Model-driven Communications
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents
- The Description Logic Handbook: Theory, Implementation, and Applications
- Exploring the Boundaries: When Method Fragmentation is not Convenient
- Exploiting Agent-Oriented Programming for Developing Android Applications
- Artificial Intelligence: A Modern Approach
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
- A Biochemical Approach to Adaptive Service Ecosystems
- Engineering Self-Coordinating Software Intensive Systems
- Argumentation and Artifacts for Negotiation Support
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
- Logic-based decision support for strategic environmental assessment
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
- Process Documentation Standardization: An Initial Evaluation
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
- Building an Agent Methodology from Fragments: the MEnSA experience
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*
- A Basis Set of Operators for Space-Time Computations
- Tutorial on Agent-based Modelling and Simulation
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
- Interacting with Virtual Plants: a Client-Server Approach
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
- Developing Web Client Applications with JaCa-Web
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
- Using Domain Specific Languages for platform-based software development: The case of Android
- Simulation and Analysis of Distributed Systems in Klaim
- Risk Analysis and Deployment Security Issues in a Multi-Agent System
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- Applying Process Document Standarization to INGENIAS
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- Transitivity in Trust. A Discussed Property
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
- A Framework for Modelling and Simulating Networks of Cells
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments
- Artificial Life XII
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
- Formal Verification of Probabilistic Swarm Behaviours
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
- The O-MaSE Process: a Standard View
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
- Implementing reactive BDI agents with user-given constraints and objectives
- Chemical-Inspired Self-Composition of Competing Services
- Introducing Relevance Awareness in BDI Agents
- A Semantic eScience Portal for International Scientific and Academic Cooperation
- RBAC-MAS & SODA: Experimenting RBAC in AOSE
- Embodying Organisations in Multi-Agent Work Environments
- Formalising the Environment in MAS Programming: a Formal Model
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- A Formal Definition of Colture
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
- Information, Physics, and Computation
- Argumentation and Artifact for Dialogue Support
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
- Self-Organising Coordination Systems
- Manipulation implicite d'une organisation multiagent via l'environnement
- Mathematics for Economics: A Statistical Mechanics Perspective
- Gaia4E: A Tool Supporting the Design of MAS using Gaia
- A SOA Based Software Engineering Design Approach in Service Engineering
- Special Issue “Engineering Environments in Multi-Agent Systems”
- The Craft of Prolog
- Modelling Periodic Data Dissemination in Wireless Sensor Networks
- Introducing Relevance Awareness in BDI Agents
- Declarative Specification and Verification of Service Choreographies
- An Agent-based Application for Home Intelligence
- Agent-based Modelling of Stem Cells
- A Goal-Oriented Approach for Modelling Self-organising MAS
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
- Interactive Graphical Maps for Infocenter via Model to Model Transformation
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
- Software Engineering: An Idea Whose Time Has Come and Gone?
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
- A Process Model of Actin Polymerisation
- Making Sense of Revision-control Systems
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
- Knowledge-based coordination with a reliable semantic subscription mechanism
- Environment Programming in CArtAgO
- Situated Tuple Centres in ReSpecT
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
- Embodied Organisations in MAS Environments
- Towards a Logic Language and Framework for Web Programming
- A MAS Metamodel-Driven Approach to Process Fragments Selection
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
- Empirical comparison of methods for information systems development according to SOA
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
- Agents, Intelligence, and Tools
- A Framework for Modelling and Implementing Self-Organising Coordination
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach
- Special Track on: Agent-Oriented Software Engineering Methodologies and Systems
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
- Parameter tuning of a stochastic biological simulator by metaheuristics
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- On the Collective Sort Problem for Distributed Tuple Spaces
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
- Environment in Agent-Oriented Software Engineering Methodologies
- A computational framework for modelling multicellular biochemistry
- An Introduction to MultiAgent Systems
- Testing Techniques for Software Agents
- Costruire sistemi software: dai modelli al codice
- Biochemical Tuple Spaces for Self-Organising Coordination
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
- Towards a Logic Language and Framework for Web Programming
- Simulation Methods in Systems Biology
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems
- A&A for Modelling and Engineering Simulations in Systems Biology
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
- Preface
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
- Experimenting with Stochastic Prolog as a Simulation Language
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
- On the reification of Java wildcards
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
- Il Milione. Viaggio nella logica computazionale in Italia
- Tool-Supported Development with Tropos: The Conference Management System Case Study
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS
- SPEM on Test: the SODA Case Study
- An experimental environment for teaching Java Security
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
- Integrating Java and Prolog through Generic Methods and Type Inference
- A Logic Programming Model for Web Resources
- Agent-oriented AmI Engineering
- Automating Workflow using Dialectical Argumentation
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
- A Multi-Theory Logic Programming Language for the World Wide Web
- Econophysics and the Current Economic Turmoil
- The BlenXLanguage: A Tutorial
- Introducing Join-Computing
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- The A&A Programming Model and Technology for Developing Agent Environments in MAS
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- RBAC-MAS & SODA: Experimenting RBAC in AOSE
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology
- Model-driven Generation of Graphical Maps for e-Contents
- Special Issue “Agents, Institutions and Legal Theory”
- Co-Argumentation Artifact for Agent Societies
- Smart Environments as Agent Workspaces
- Towards a Tuplespace-based Middleware for the Semantic Web
- Agent-Based Collaboration Systems: A Case Study
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- Toward a Framework for Collaborative Learning based on Agent-based Technologies
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
- Lightweight Family Polymorphism
- Artifacts in the A&A Meta-Model for Multi-Agent Systems
- La costruzione dei sistemi software: dai modelli al codice
- Arguments and Artifacts for Dispute Resolution
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
- A Process Algebraic View of Shared Dataspace Coordination
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
- PASSIM: a simulation-based process for the development of multi-agent systems
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
- Argumentation and Artifact for Dialogue Support
- Argumentation and Artifacts for Intelligent Multi-agent Systems
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- A Multi-Theory Logic Language for the World Wide Web
- Prototyping A&A ReSpecT in Maude
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
- Fast self-healing gradients.
- Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education
- An Agent Framework for Ubiquitous Services
- Agent Roles: from Methodologies to Infrastructures
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
- Agent Oriented Software Engineering VIII
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
- An Adaptation Logic Framework for Java-based Component Systems
- ReSpecT Guide
- Writing a thesis with LaTeX
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation
- Introduction to AOSE Tools for the Conference Management System
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
- Engineering Self-organising Systems with the Multiagent Paradigm
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine
- From AO Methodologies to MAS Infrastructures: The SODA Case Study
- The Prometheus Design Tool – A Conference Management System Case Study
- Hierarchical Modeling for Computational Biology
- A Survey of Service Oriented Development Methodologies
- Developing Multi-Agent Systems with JADE
- Evaluating Procedural Alternatives. A Case Study in E-Voting
- Invited Talk: A Process Algebra Master Equation
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
- What is “paradigm”?
- Situated Cellular Agents Approach to Crowd Modeling and Simulation
- An Agent-Oriented Programming Model for SOA & Web Services
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
- Integrating Software Models and Platform Models for Performance Analysis
- Using Eclipse in Building Model-driven e-Learning Supports
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems
- Decentralized Regulation of Distributed Systems: Beyond Access Control
- Auction Negotiation for Mobile Rideshare Service
- Timed Environment for Web Agents
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
- How to infer gene networks from expression profiles
- Context-Dependent Evaluation Methodology for Open Source Software
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
- Measurement and Control of Self-organised Behaviour in Robot Swarms
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
- Formal ReSpecT in the A&A Perspective
- Executable cell biology
- vLab: an Eclipse-based Virtual Laboratory
- Experiences in Automated Workflows using Dialectical Argumentation
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
- RESTful Web Services
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
- Design Patterns for Self-Organising Systems
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
- Towards Integrating Agents with Objects Tracing Systems in AmI
- Infrastructures for the Environment of Multiagent Systems
- A Survey on Context-Aware Systems
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications
- Extrospection: Agents Reasoning About the Environment
- Distributed Systems. Principles and Paradigms
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
- Engineering a BPEL Orchestration Engine as a Multi-agent System
- A core calculus for correlation in orchestration languages
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
- Designing Self-organising MAS Environments: The Collective Sort Case
- Co-Argumentation Artifact for Agent Societies
- Intentional Systems Theory
- Preface
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach
- Practical Extensions in Agent Programming Languages
- tuProlog 2.0: One Step Beyond
- Pervasive pheromone-based interaction with RFID tags
- Geo-Linda: a Geometry Aware Distributed Tuple Space
- Programming Multi-Agent Systems in AgentSpeak using Jason
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
- Guest Editorial
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
- Large Language Models in Machine Translation
- Prototyping A&A ReSpecT in Maude
- Service-Oriented Agent Methodologies
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
- On the Problem of Over-clustering in Tuple-based Coordination Systems
- Sistemi Distribuiti
- Exploiting the Environment for Coordinating Agent Intentions
- Preface
- Environment as a First Class Abstraction in Multi-Agent Systems
- On the Interplay of Crosscutting and MAS-Specific Styles
- Discrete Event Modeling and Simulation in Systems Biology
- Introduction to the Special Issue: The AgentLink III Technical Forums
- Method fragments for agent design methodologies: from standardisation to research
- Model Checking Multi-agent systems with Logic Based Petri Nets
- A Prolog-oriented extension of Java programming based on generics and annotations
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
- Preface
- Variant path types for scalable extensibility
- Governing Environments for Agent-Based Traffic Simulations
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
- Agent-based modeling of multicell morphogenic processes during development
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
- Special Issue on the AgentLink III Technical Forums
- Pellet: A practical OWL-DL reasoner
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006)
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
- On the Expressive Power of KLAIM-based Calculi
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
- Zooming Multi-Agent Systems
- Coordination as a Service
- On Coordination and its Significance to Distributed and Multi-Agent Systems
- Metodologie per l'ingegneria del software: approccio ad agenti
- Socio-technical systems
- Service-Oriented Design and Development Methodology
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
- Verifying Multi-agent Programs by Model Checking
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- Web Services Implementation Methodology for SOA Application
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
- Interactive Computation: The New Paradigm
- Linkable Coordination Artifacts for Inter-Organisational Workflow
- Tools for kinetic modeling of biochemical networks
- SPI - A Role for Method Engineering
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
- Operating Instructions for Intelligent Agent Coordination
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
- Preface
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
- WOA 2006 – Dagli Oggetti agli Agenti
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
- Fundamentals of natural computing: basic concepts, algorithms, and applications
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- Simulation of Minority Game in TuCSoN
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
- Verification of Multi-agent Systems Via Bounded Model Checking
- StoKlaim: A Stochastic Extension of Klaim
- The MHS Methodology: Analysis and Design for Context-Aware Systems
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
- Collective Sorting Tuple Spaces
- SODA: A Roadmap to Artefacts
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
- A Framework for Engineering Interactions in Java-based Component Systems
- Case Studies for Self-organization in Computer Science
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
- Declarative Agent Languages and Technologies III
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications
- Special Issue “Hot Topics in European Agent Research II”
- Formal ReSpecT in the A&A Perspective
- Simulating Minority Game with TuCSoN
- Agent Coordination Contexts in a MAS Coordination Infrastructure
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
- Distributed Workflow upon Linkable Coordination Artifacts
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
- Toward Nature-Inspired Computing
- Agens Faber: Toward a Theory of Artefacts for MAS
- A Survey of Environments and Mechanisms for Human-Human Stigmergy
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- A Generic Large Scale Simulator for Ubiquitous Computing
- Logics for Artificial Intelligence
- Cognitive Modeling of Social Behaviours
- The World According To Brahms: Modeling and Simulating Work Practice
- Minority Game: A Logic-Based Approach in TuCSoN
- Programming MAS with Artifacts
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics
- OWL-S for Describing Artifacts
- A Design Theory for Pervasive Information Systems
- Multiagent Systems
- Standardizing Agent Communication
- An agent oriented tool for method engineering
- Lime: A coordination model and middleware supporting mobility of hosts and agents
- The Fading Concept in Tuple-Space Systems
- Process Calculi Abstractions for Biology
- 4th European Workshop on Multi-Agent Systems (EUMAS 2006)
- The Plausibility of Life: Resolving Darwin's Dilemma
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità”
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
- Developing MAS Solutions with Gaia and AUML
- Drago: Distributed reasoning architecture for the semantic web
- The Second AgentLink III Technical Forum
- Verifying Multi-agent Systems via Unbounded Model Checking
- Multi-paradigm Java-Prolog Integration in tuProlog
- Composition of a New Process to Meet Agile Needs Using Method Engineering
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
- Agent Interaction Semantics by Timed Operating Instructions
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
- Distributed Instance Retrieval in Heterogeneous Ontologies
- Environment-Based Coordination Through Coordination Artifacts
- Programming Stigmergic Coordination with the TOTA Middleware
- Message from the Program Chairs
- Quantitative Information in the Tuple Space Coordination Model
- Towards CSpaces: A New Perspective for the Semantic Web
- An Agent-Oriented Conceptual Framework for Systems Biology
- Environments in Multiagent Systems
- RBAC for Organisation and Security in an Agent Coordination Infrastructure
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
- Engineering MAS Environment with Artifacts
- Programming Multi-Agent Systems in 3APL
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
- Special Issue “Process Algebras and Multi-Agent Systems”
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi
- Declarative Agent Languages and Technologies II
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview
- Programming MAS with Artifacts
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- SODA: A Roadmap to Artefacts
- A Trust Analysis Methodology for Pervasive Computing Systems
- More Principled Design of Pervasive Computing Systems
- On Access Restriction with Java Wildcards
- Time-Aware Coordination in ReSpecT
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
- Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità
- Probabilistic Linda-based Coordination Languages
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
- Process Models for Agent-based Development
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)
- Special Issue “Hot Topics in European Agent Research I”
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
- Engineering Societies in the Agents World V
- Preface
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
- Self-Organization in Multi-Agent Systems
- Reliable Distributed Systems. Technologies, Web Services, and Applications
- The AgentLink III Technical Forums: Introduction to the Special Issue
- Crowd Modeling and Simulation: Towards 3D Visualization
- Zooming Multi-Agent Systems
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums”
- Preface
- Coordination and Composition in Multi-agent Systems
- Preface
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
- Transactions on Computational Systems Biology III
- Adaptive Agents and Multiagent Systems
- The Gaia Methodology
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents
- Preface
- Coordination Infrastructures in the Engineering of Multiagent Systems
- Challenges and Research Directions in Agent-Oriented Software Engineering
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
- Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems
- Relevance of Winning Coalitions in Indirect Control of Corporations
- sTuples: Semantic Tuple Spaces
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
- From the Editor in Chief: Nature-Inspired Computing
- Composing Adaptive Software
- Coordination and Collaboration Activities in Cooperative Information Systems
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
- Engineering Trust in Complex System through Mediating Infrastructures
- Models and Metaphors from Biology to Bioinformatics Tools
- A Programming Language for Cognitive Agents: Goal Directed 3APL
- Message from the Program Chairs
- Declarative Agent Languages and Technologies
- A Conceptual Framework for Self-Organising MAS
- An Agent-oriented Conceptual Framework for Biological Systems Simulation
- Preface
- Online Engineering and Open Computational Systems
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools
- Agent Coordination Context: From Theory to Practice
- Verifiable Multi-agent Programs
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
- Probabilistic KLAIM
- Reo: A Channel-based Coordination Model for Component Composition
- Experiencing AUML in the GAIA Methodology
- Role-Based Access Control in MAS using Agent Coordination Contexts
- Engineering Societies in the Agents World IV
- Special Issue “Coordination and Collaboration Technologies”
- C@sa: Intelligent Home Control and Simulation
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic
- MAS as Complex Systems: A View on the Role of Declarative Approaches
- Using Swarm Intelligence in Linda Systems
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
- A Semantics for the Interaction of Agents with Coordination Artifacts
- WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali
- Ant Colony Optimization
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
- Decision Support Systems and Intelligent Systems
- Multi-agent Infrastructures for Objective and Subjective Coordination
- Open Directions in Agent-Oriented Software Engineering
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Guest Editorial
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
- Integrating Objective & Subjective Coordination in Multi-Agent Systems
- System Support for Pervasive Applications
- Paradigm and Software Engineering
- sTuples: Semantic Tuple Spaces
- Model Checking for ACL Compliance Verification
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
- The Vision of Autonomic Computing
- Lean Software Development: An Agile Toolkit
- A software framework for matchmaking based on semantic web technology
- Investigations
- Architecture as a Coordination Tool in Multi-site Software Development
- Modeling Agents and their Environment
- Computation Beyond Turing Machines
- Learning the Sequential Coordinated Behavior of Teams from Observations
- Rethinking MAS Infrastructure based on Activity Theory
- Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications
- Method engineering for OO systems development
- MavHome: An Agent-based Smart Home
- Engineering Societies in the Agents World III
- WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva
- Stochastic models for DNA replication
- Adaptiveness in Linda-Based Coordination Models
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
- Towards a Methodology for Coordination Mechanism Selection in Open Systems
- Reasoning about Organisation: Shaping the Infrastructure
- Task-Oriented Engineering of Coordinated Software Systems
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
- Editorial Message: Special Track on Coordination models, Languages and Applications
- Quantitative Relations and Approximate Process Equivalences
- Preface
- Activity Theory as a Framework for MAS Coordination
- Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
- Cooperative Information Agents VII
- Coordination as a Service: Ontological and Formal Foundation
- Model Checking AgentSpeak
- Introduzione alla Programmazione a oggetti in Java
- How has the 9/11 terrorist attack influenced decision making?
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language
- Developing multiagent systems: The Gaia methodology
- Objective versus Subjective Coordination in the Engineering of Agent Systems
- Preface
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
- Signs of a Revolution in Computer Science and Software Engineering
- Agent-based approach for software development process simulation
- Towards a Notion of Agent Coordination Context
- The Logic of Scientific Discovery
- Coordination Knowledge Engineering
- Specifying Agent Observable Behaviour
- Tuple-based Models in the Observation Framework
- Coordination Tools for the Development of Agent-based Systems
- Have ReSpecT for LogOp
- Co-operating Sequential Processes
- Towards an Alternative Semantics for FIPA ACL
- Principled Design of the Modern Web Architecture
- Design Principles of a Reactive Behavioral System for the Intelligent Room
- The TROPOS Analysis Process as Graph Transformation System
- Linear Embedding for a Quantitative Comparison of Language Expressiveness
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology
- Extending ReSpecT for Multiple Coordination Flows
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
- Extreme Programming of Multi-Agent Systems
- Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
- Engineering Agent Societies: A Case Study in Smart Environments
- Editorial Message: Special Track on Coordination Models, Languages and Applications
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems
- A Specification Language for Agents Observable Behaviour
- A Framework for Systemic Coordination in Open Computational Systems
- Virtual Enterprises and Workflow Management as Agent Coordination Issues
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency
- Objects and Agents Compared
- Modelling Agents as Observable Sources
- Tuple-based Coordination Models in Event-based Scenarios
- Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002
- Computational challenges in cell simulation: a software engineering approach
- On the Expressiveness of Event-Based Coordination Media
- An Introduction to MultiAgent Systems
- Special Issue “Coordination and Knowledge Engineering”
- Coordination Tools for MAS Development and Deployment
- An Observation Approach to Semantics of Agents Communication Languages
- Model Checking Multi-Agent Systems with MABLE
- Agent Coordination Contexts: Experiments in TuCSoN
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles
- Bisimulation for Labelled Markov Processes
- A Survey of Coordination Middleware for XML-centric Applications
- Agile development of a clinical multi-agent system: An Extreme Programming case study
- On the Grey-Box Modelling Approach for Autonomous Agents
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
- Probabilistic Extensions of Process Algebras
- Formal ReSpecT
- Enlightened Agents in TuCSoN
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Preface
- A Coordination Language for Collective Agent-based Systems: GroupLog
- Coordination as a Paradigm for Systems Integration
- Questions and Answers: Reasoning and Querying in Description Logic
- LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
- Introduction to This Special Issue on Context-Aware Computing
- Special Issue “Coordination Models and Languages in AI”
- Multi-Agent Systems and Applications
- Tuple-based Technologies for Coordination
- Multi-Agent Systems as Composition of Observable Systems
- Editorial: Why Coordination Models and Languages in AI?
- Simulation-verification: biting at the state explosion problem
- From Tuple Spaces to Tuple Centres
- Coordination of Internet Agents. Models, Technologies, and Applications
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- Safe Tuplespace-based Coordination in Multiagent Systems
- Coordination Models, Languages and Applications. Track Chair Messages
- The OPEN Process Framework: An Introduction
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Gamma and the Chemical Reaction Model: Fifteen Years After
- On the Notion of Agent Coordination Context: Preliminary Notes
- Designing Agent-Oriented Systems by Analysing Agent Interactions
- Enlightened Agents in TuCSoN
- An Approach for Method Reengineering
- Engineering Societies in the Agents World II
- Control-driven Constraint Propagation
- Special Issue “Coordination as a Paradigm for Systems Integration”
- Self Organization and Coordination
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People
- Statistical Physics of Spin Glasses and Information Processing: An Introduction
- Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
- An Agent-based Approach for Building Complex Software Systems
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
- Multi-Agent Systems as Composition of Observable Systems
- On the Unusual Effectiveness of Logic in Computer Science
- An Assembly Process Model for Method Engineering
- Objective Coordination in Multi-Agent System Engineering. Design and Implementation
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework
- Agent-Oriented Software Engineering for Internet Applications
- XML Dataspaces for the Coordination of Internet Agents
- An Algorithm for Winning Coalitions in Indirect Control of Corporations
- Introduzione alla Programmazione a oggetti in Java
- Preface: Volume 48
- Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
- Formal ReSpecT
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
- On the Expressiveness of Linda Coordination Primitives
- The LuCe Coordination Technology for MAS Design and Development on the Internet
- Mind the Gap! Towards a unified view of CSCW
- Selecting a Project's Methodology
- Multiagent System Engineering: The Coordination Viewpoint
- WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
- On Agent-Based Software Engineering
- EasyLiving: Technologies for Intelligent Environments
- Ruling Agent Motion in Structured Environments
- Amorphous Computing
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents
- Amorphous Computing
- Engineering Societies in the Agents World
- Introduzione alla Programmazione a oggetti in Java
- Folk Physics for Apes: The Chimpanzee's Theory of How the World Works
- Architectural Styles and the Design of Network-based Software Architectures
- Special Track on Coordination Models, Languages and Applications
- Process Migration
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
- Fondamenti di Informatica A (Parte II)
- Context-Dependency in Internet-Agent Coordination
- The Gaia Methodology for Agent-Oriented Analysis and Design
- Preface
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
- MARS: A Programmable Coordination Architecture for Mobile Agents
- Persistent Turing Machines as a Model of Interactive Computation
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
- Mathematical Models of Interactive Computing
- Implementing the ACLT Coordination Model
- On the Semantics of Tuple-based Coordination Models
- Tuple Centres for the Coordination of Internet Agents
- On the Expressiveness of Coordination Models
- Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology
- Extreme Programming Explained: Embrace Change
- Coinductive Models of Finite Computing Agents
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering
- Introduction to Econophysics: Correlations and Complexity in Finance
- Coordination Technology for the Development of Multi-Agent Systems on the Web
- Engineering Multi-Agent Systems in LuCe
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework
- Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices
- The Explorable Topology: Supporting Agent Autonomy on the Internet
- Comparing Coordination Models based on Shared Distributed Replicated Data
- Coordination Models for Multi-Agent Systems
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
- A Methodology for Agent-Oriented Analysis and Design
- Coordination for Internet Application Development
- Swarm Intelligence: From Natural to Artificial Systems
- A Brief History of Stigmergy
- Coordination Technologies for Internet Agents
- The HiMAT Model for Mobile Agent Applications
- Adopting an Object-Oriented Data Model in Inductive Logic Programming
- Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione
- Distributed Cognition, Coordination and Environment Design
- The UMASS Intelligent Home Project
- Fondamenti di Informatica A (Parte I)
- Designing Multi-Agent Systems around an Extensible Communication Abstraction
- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications
- An Architecture for Tuple-based Coordination of Multi-Agent Systems
- Agents with Power
- Editor's Introduction: Stigmergy
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
- T Spaces
- A process algebraic view of Linda coordination primitives
- KLAIM: A Kernel Language for Agent Interaction and Mobility
- Collective dynamics of ‘small-world’ networks
- On the Expressive Power of KLAIM-based Calculi
- Understanding Code Mobility
- Coordination Models and Languages
- Towards a Hierarchy of Negative Test Operators for Generative Communication
- Co-ordination of Mobile Information Agents in TuCSoN
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- On the Incomparability of Gamma and Linda
- Agent Communication Languages: Rethinking the Principles
- Designing for the Dynamics of Cooperative Work Activities
- Decision procedures for BDI logics
- On the Expressive Power of a Language for Programming Coordination Media
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature?
- Distributed Agents Supporting Event-Driven Design Processes
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model
- Modelling Social Action for AI Agents
- Towards Empirical Computer Science
- A Comprehensive View of Process Engineering
- TuCSoN: a Coordination model for Mobile Information Agents
- A Fuzzy Description Logic
- Planning and acting in partially observable stochastic domains
- A Formal Specification of dMARS
- Intelligent Decision Support Methods: The Science of Knowledge Work
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work
- Designing Multi-Agent Systems around a Programmable Communication Abstraction
- Issues in Agent-Based Software Engineering
- Situational Method Engineering
- Programmable Coordination Media
- A Tutorial on (Co)Algebras and (Co)Induction
- Semantics and Conversations for an Agent Communication Language
- “Go to the Ant”: Engineering Principles from Natural Agent Systems
- Learning with an Object-Oriented Data Model
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9
- Expressive Power of the ACLT Reaction Specification Language
- Why Interaction Is More Powerful Than Algorithms
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach
- Foundations of Distributed Artificial Intelligence
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents
- An Extensible Framework for the Development of Coordinated Applications
- Coordination Models and Languages as Software Integrators
- An Object-Oriented Approach to Planning
- The Structure of Scientific Revolutions
- A Software Environment for Concurrent Coordinated Programming
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
- Method engineering: engineering of information systems development methods and tools
- Bulk Primitives in Linda Run-Time Systems
- Integrating Knowledge Acquisition in Plan Selection
- BDI Agents: From Theory to Practice
- Intelligent Agents: Theory and Practice
- A distributed semantics for EMPA based on stochastic contextual nets
- Context and Consciousness: Activity Theory and Human-Computer Interaction
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems
- Law-Governed Linda as a Coordination Model
- Computational Research on Interaction and Agency
- Guarantees for Autonomy in Cognitive Agent Architecture
- La programmazione logica nello sviluppo del software: dai modelli agli strumenti
- Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti
- Robot Control Systems as Contextual Logic Programs
- 1st International Conference on Multiagent Systems
- Specification and Analysis of System Architecture Using Rapide
- Reactive, Generative, and Stratified Models of Probabilistic Processes
- Programmazione Logica Orientata agli Oggetti
- Agent Coordination and Control through Logic Theories
- Cognitive and Social Action
- A Petri Net Semantics for pi-Calculus
- A Structured Logic Programming Approach to Robot Programming
- The Interdisciplinary Study of Coordination
- Moving Prolog Toward Objects
- Scale in Distributed Systems
- Open Logic Theory Composition in a Software Engineering Perspective
- Object-Oriented Computations in Logic Programming
- Distributed Programming with Logic Tuple Spaces
- Modularity in Logic Programming
- Embedding as a Tool for Language Comparison
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
- Foundations for Interaction: The Dependence Theory
- Agent-Oriented Programming
- Objects with State in CSM
- Elements of Interaction: Turing Award Lecture
- Techniques for Implementing Contexts in Logic Programming
- Tools, Language and Cognition in Human Evolution
- Objects with State in Contextual Logic Programming
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
- Science for the post-normal age
- An Overview of Manifold and its Implementation
- Exploiting Logic Programming in Robot Applications
- The Origins of Order: Self-organization and Selection in Evolution
- A History of Speculation on the Relation between Tools and Languages
- A calculus of mobile processes, I
- Barbed Bisimulation
- Implementing Contexts in Logic Programming
- The Semantics of a Parallel Language based on a Shared Data Space
- An Abstract Architecture for Rational Agents
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
- A calculus of mobile processes, II
- Coordination Languages and Their Significance
- Objects as Evolving Contexts
- Design principles for cognitive artifacts
- Parallel Logic Programming using the Linda Model of Computation
- CSM User's Guide
- The Chemical Abstract Machine
- Methodology EngineeringR: a proposal for situation-specific methodology construction
- The Concept of Activity as a Basic Unit of Analysis for CSCW Research
- Separating Concurrent Languages with Categories of Language Embeddings
- Generalizing Term Subsumption Languages to Fuzzy Logic
- Quintus Prolog 3.0
- Modeling Rational Agents within a BDI Architecture
- Intelligence Without Reason
- Intelligence without Representation
- The Concurrent Language, Shared Prolog
- Cognitive Artifacts
- Equivalences, congruences, and complete axiomatizations for probabilistic processes
- The GAMMA Model and its Discipline of Programming
- IEEE Standard Glossary of Software Engineering Terminology
- What is Intention?
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes
- Concepts and Paradigms of Object-oriented Programming
- Intention, Plans, and Practical Reason
- Software Processes are Software too
- Situated Actions
- Linear logic
- Reactive Reasoning and Planning
- Linda and Friends
- Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications
- Plans and Situated Actions: The Problem of Human-Machine Communication
- Foundations of Knowledge for Distributed Systems
- Generative Communication in Linda
- Algebra of communicating processes with abstraction
- Meta-level Programming and Knowledge Representation
- Mind in Society
- Time, Clocks, and the Ordering of Events in a Distributed System
- Mind in Society: Development of Higher Psychological Processes