On the Implementation of Speculative Constraint Processing

DOI10.1007/978-3-642-16867-3_10MaRDI QIDQ3055681zbMATH OpenOpenAlexFDO

Authors Jiefei Ma, Alessandra Russo, Hiroshi Hosobe, Ken Satoh, Krysia Broda

Publication date 9 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16867-3_10

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• Distributed Computing
• Executing formal specifications with concurrent constraint programming
• Constraint-based concurrency and beyond
• scientific article; zbMATH DE number 794260
• Logic Programming
• Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
• scientific article; zbMATH DE number 1088220
• A foundation for higher-order concurrent constraint programming
• scientific article; zbMATH DE number 1110837

Cited in

(7)

• Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
• Speculative constraint processing for hierarchical agents
• Conditional answer computation in SOL as speculative computation in multi-agent environments
• Speculative computation and action execution in multi-agent systems
• Distributed Computing
• Speculative computation through consequence-finding in multi-agent environments
• Distributed defeasible speculative reasoning in ambient environment

Describes a project that uses

Uses Software

• YAP-Prolog

This page was built for publication: On the Implementation of Speculative Constraint Processing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3055681)