Per Year
Per Year
998 publications without Scopus ID / 1939–2022
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 | 1971 | 1965 | 1964 | 1962 | 1959 | 1952 | 1947 | 1939
- CILC 2022 – Italian Conference on Computational Logic
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection
- 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
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
- 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
- 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
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
- Web of Digital Twins
- 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
- WOA 2021 – 22nd Workshop “From Objects to Agents”
- Breaking down monoliths with Microservices and DevOps: an industrial experience report
- Argumentation and Defeasible Reasoning in the Law
- Towards Explainable Visionary Agents: License to Dare and Imagine
- Explainability through argumentation in logic programming
- 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
- Partitioned integration and coordination via the self-organising coordination regions pattern
- MDE & MDA in a Multi-Paradigm Modeling Perspective
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
- WOA 2020 – 21st Workshop “From Objects to Agents”
- Counterfactual Explanations for Machine Learning: A Review
- Time-Fluid Field-Based Coordination
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation
- 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
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
- Burden of Persuasion in Argumentation
- Multi-Agent Systems 2019
- Special Issue “Multi-Agent Systems” 2019
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
- Coordination in Socio-technical Systems: Where are we now? Where do we go next?
- Aggregate Processes in Field Calculus
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution
- Special Issue “Multi-Agent Systems”
- 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
- A Higher-Order Calculus of Computational Fields
- 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
- 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
- Explanation in artificial intelligence: Insights from the social sciences
- Evaluating Origin–Destination Matrices Obtained from CDR Data
- Client-side Computational Optimization
- Multi-Agent Systems
- 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
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
- The share Operator for Field-Based Coordination
- The Future of Digital Democracy. An Interdisciplinary Approach
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
- Towards attack-resistant Aggregate Computing using trust mechanisms
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
- A Survey of Methods for Explaining Black Box Models
- Distributed Speaking Objects: a Case for Massive Multiagent Systems
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities
- Optimal single-path information propagation in gradient-based algorithms
- From Field-Based Coordination to Aggregate Computing
- The mythos of model interpretability
- Space-Time Universality of Field Calculus
- 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
- Agents and Multi-Agent Systems for Health Care
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment
- Modeling Opportunistic IoT Services in Open IoT Ecosystems
- Augmented societies with mirror worlds
- 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
- 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
- Practical Aggregate Programming with Protelis
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
- Spiking Neural Networks as Timed Automata
- 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
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
- The Butlers Framework for Socio-Technical Smart Spaces
- Towards Aggregate Programming in Scala
- Resiliency with Aggregate Computing: State of the Art and Roadmap
- On Execution Platforms for Large-scale Aggregate Computing
- Building Smart Spaces on the Home Manager platform
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
- 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
- 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
- Foreward by Prof. Andrea Omicini
- Special Section on Coordination in Large-Scale Socio-Technical Systems
- Aggregate Programming for the Internet of Things
- GOTA: GO term annotation of biomedical literature
- Programming Multi-agent Systems
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
- Formal Foundations of Sensor Network Applications
- Space-Time Programming
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
- 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
- Towards agent aggregates: perspectives and challenges
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale
- Engineering General Intelligence, Part 2
- Negotiation and Argumentation in Multi-Agent Systems
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks
- 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
- 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
- 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
- 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
- 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
- Organizing the Aggregate: Languages for Spatial Computing
- Coupling software architecture and human architecture for collaboration-aware system adaptation
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
- 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
- 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
- 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
- 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
- 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
- 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
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
- 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
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
- Interacting with Virtual Plants: a Client-Server Approach
- The O-MaSE Process: a Standard View
- Logic-based decision support for strategic environmental assessment
- 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
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
- 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
- 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
- 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
- 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
- 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 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
- Artificial Intelligence: A Modern Approach
- 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
- 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 computational framework for modelling multicellular biochemistry
- Software Engineering: An Idea Whose Time Has Come and Gone?
- Costruire sistemi software: dai modelli al codice
- 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
- 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
- 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"
- 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
- 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
- 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
- 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
- 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
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- 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
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
- A Multi-Theory Logic Programming Language for the World Wide Web
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
- 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
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- 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
- Practical Extensions in Agent Programming Languages
- A Survey of Service Oriented Development Methodologies
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
- Extrospection: Agents Reasoning About the Environment
- Preface
- 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
- 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
- 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
- Special Issue “Hot Topics in European Agent Research II”
- Preface
- StoKlaim: A Stochastic Extension of Klaim
- 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
- 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
- Formal ReSpecT in the A&A Perspective
- Web Services Implementation Methodology for SOA Application
- A Framework for Engineering Interactions in Java-based Component Systems
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
- 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
- Lime: A coordination model and middleware supporting mobility of hosts and agents
- 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
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
- 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
- A Design Theory for Pervasive Information Systems
- 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
- Tools for kinetic modeling of biochemical networks
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- The MHS Methodology: Analysis and Design for Context-Aware Systems
- 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
- 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
- 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
- Transactions on Computational Systems Biology III
- Special Issue “Hot Topics in European Agent Research I”
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)
- Environments in Multiagent Systems
- Effective Tool Use in a Habile Agent
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations
- 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
- 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
- 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
- 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
- System Support for Pervasive Applications
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
- Composing Adaptive Software
- 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
- Decision Support Systems and Intelligent Systems
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- 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
- Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)
- Paradigm and Software Engineering
- sTuples: Semantic Tuple Spaces
- 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
- Special Issue “Coordination and Collaboration Technologies”
- 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
- Model Checking AgentSpeak
- Stochastic models for DNA replication
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures
- 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
- 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
- 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
- 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
- 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
- On the Expressiveness of Event-Based Coordination Media
- 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
- An Introduction to MultiAgent Systems
- Special Issue "Coordination and Knowledge Engineering"
- 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
- 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
- Extending ReSpecT for Multiple Coordination Flows
- 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
- 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
- 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
- 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
- Coordination Models, Languages and Applications. Track Chair Messages
- An Assembly Process Model for Method Engineering
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework
- 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
- Designing Agent-Oriented Systems by Analysing Agent Interactions
- Multi-Agent Systems and Applications
- Multi-Agent Systems as Composition of Observable Systems
- Agent-Oriented Software Engineering for Internet Applications
- Questions and Answers: Reasoning and Querying in Description Logic
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
- An Agent-based Approach for Building Complex Software Systems
- EasyLiving: Technologies for Intelligent Environments
- Architectural Styles and the Design of Network-based Software Architectures
- MARS: A Programmable Coordination Architecture for Mobile Agents
- 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
- 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
- Coordination Technologies for Internet Agents
- Mathematical Models of Interactive Computing
- Fondamenti di Informatica A (Parte I)
- The HiMAT Model for Mobile Agent Applications
- 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
- Adopting an Object-Oriented Data Model in Inductive Logic Programming
- 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
- Understanding Code Mobility
- 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
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature?
- 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
- 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
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work
- 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
- 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
- Context and Consciousness: Activity Theory and Human-Computer Interaction
- Bulk Primitives in Linda Run-Time Systems
- A distributed semantics for EMPA based on stochastic contextual nets
- 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
- Law-Governed Linda as a Coordination Model
- 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
- 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
- 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
- Generative Communication in Linda
- Mind in Society
- Mind in Society: Development of Higher Psychological Processes
- Time, Clocks, and the Ordering of Events in a Distributed System