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