📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements? (2009)

First Author: Rybakov V

Attributed to: Consequence Relations in Logics of AI funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1016/j.ins.2008.12.008

Publication URI: http://dx.doi.org/10.1016/j.ins.2008.12.008

Type: Journal Article/Review

Parent Publication: Information Sciences

Issue: 11