746 search results - page 37 / 150 » Connectionist Propositional Logic |
239
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
IJAR
2008
14 years 10 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
ICTAI
2005
IEEE
15 years 3 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
APAL
2007
14 years 10 months ago
2007
We give an exponential lower bound on number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL...