scientific article

zbMath1182.68007arXiv1109.5716MaRDI QIDQ3624002

Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Philippe Adjiman, Laurent Simon

Publication date: 28 April 2009

Full work available at URL: https://arxiv.org/abs/1109.5716

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consequence finding algorithmpeer-to-peer inference system

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Network design and communication in computer systems (68M10)

Related Items (6)

Knowledge base exchange: the case of OWL 2 QL ⋮ DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS ⋮ A Logic Framework for P2P Deductive Databases ⋮ Craig interpolation for networks of sentences ⋮ Maintaining distributed logic programs incrementally ⋮ Verifying time, memory and communication bounds in systems of reasoning agents

This page was built for publication: