On the Integration of Declarative Choreographies and Commitment-Based Agent Societies Into the SCIFF Logic Programming Framework

Multiagent and Grid Systems - United States
doi 10.3233/mgs-2010-0147
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Modeling and Programming by Commitment Rules in Agent Factory

English

Declarative Agent Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The First Contest on Multi-Agent Systems Based on Computational Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Argument-Based Agreements in Agent Societies

Neurocomputing
Computer Science ApplicationsArtificial IntelligenceCognitive Neuroscience
2012English

The CHR-based Implementation of the SCIFF Abductive System

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Acquisition of Chemical Recognition Cues Facilitates Integration Into Ant Societies

BMC Ecology
EvolutionEcologySystematicsBehaviorEnvironmental Science
2011English

Commitment to Logic

Nature
Multidisciplinary
1979English

Tempo: A Declarative Concurrent Programming Language

1995English

The Logic Behind Quine's Criterion of Ontological Commitment

European Journal of Philosophy
Philosophy
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy