3053 search results - page 29 / 611 » A Logic of Abstract Argumentation |
ICLP
2011
Springer
13 years 1 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
KR
2010
Springer
14 years 2 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
COMMA
2008
13 years 11 months ago
2008
CSUR
2000
13 years 9 months ago
2000
