io-port.net

io-port 50143738 Borges, Rafael V.; Garcez, Artur S. D’avila; Lamb, Luís C.

Learning and representing temporal knowledge in recurrent networks (English)

IEEE Transactions on Neural Networks 22, No. 12, 2409-2421 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70127923 De Penning, Leo; Garcez, Artur S. D’avila; Lamb, Luís C.; Meyer, John-Jules Ch.

A neural-symbolic cognitive agent for online learning and reasoning (English)

IJCAI, 1653-1658 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70817236 Boella, Guido; Tosatto, Silvano Colombo; Garcez, Artur S. D’avila; Genovese, Valerio; Ienco, Dino; Van Der Torre, Leendert

Neural symbolic architecture for normative agents (English)

AAMAS, 1203-1204 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70926131 Borges, Rafael V.; Garcez, Artur S. D’avila; Lamb, Luís C.; Nuseibeh, Bashar

Learning to adapt requirements specifications of evolving systems: (NIER track) (English)

ICSE, 856-859 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05928146 Aha, David W.; Boddy, Mark S.; Bulitko, Vadim; Garcez, Artur S.D’avila; Doshi, Prashant; Edelkamp, Stefan; Geib, Christopher W.; Gmytrasiewicz, Piotr J.; Goldman, Robert P.; Hitzler, Pascal; Isbell, Charles L.; Josyula, Darsana P.; Kaelbling, Leslie Pack; Kersting, Kristian; Kunda, Maithilee; Lamb, Luís C.; Marthi, Bhaskara; Mcgreggor, Keith; Nastase, Vivi; Provan, Gregory; Raja, Anita; Ram, Ashwin; Riedl, Mark O.; Russell, Stuart J.; Sabharwal, Ashish; Smaus, Jan-Georg; Sukthankar, Gita; Tuyls, Karl; Van Der Meyden, Ron; Halevy, Alon Y.; Mihalkova, Lilyana; Natarajan, Sriraam

Reports of the AAAI 2010 conference workshops. (English)

AI Mag. 31, No. 4, 95-108 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05820824 Komendantskaya, Ekaterina; Broda, Krysia; Garcez, Artur d’Avila

Neuro-symbolic representation of logic programs defining infinite sets. (English)

Diamantaras, Konstantinos (ed.) et al., Artificial neural networks ‒ ICANN 2010. 20th international conference, Thessaloniki, Greece, September 15‒18, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-15818-6/pbk). Lecture Notes in Computer Science 6352, 301-304 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05814119 Borges, Rafael V.; d’Avila Garcez, Artur; Lamb, Luis C.

Representing, learning and extracting temporal knowledge from neural networks: A case study. (English)

Diamantaras, Konstantinos (ed.) et al., Artificial neural networks ‒ ICANN 2010. 20th international conference, Thessaloniki, Greece, September 15‒18, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-15821-6/pbk). Lecture Notes in Computer Science 6353, 104-113 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70202300 Borges, Rafael V.; Garcez, Artur S. D’avila; Lamb, Luís C.

Integrating model verification and self-adaptation (English)

ASE, 317-320 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70410091 Komendantskaya, Ekaterina; Broda, Krysia; Garcez, Artur S. D’avila

Neuro-symbolic representation of logic programs defining infinite sets (English)

ICANN (1), 301-304 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70411404 Borges, Rafael V.; Garcez, Artur S. D’avila; Lamb, Luís C.

Representing, learning and extracting temporal knowledge from neural networks: A case study (English)

ICANN (2), 104-113 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70900607 Ryman-Tubb, Nick F.; Garcez, Artur S. D’avila

SOAR - sparse oracle-based adaptive rule extraction: knowledge extraction from large-scale datasets to detect credit card fraud (English)

IJCNN, 1-9 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70902765 Guillame-Bert, M.; Broda, Krysia; Garcez, Artur S. D’avila

First-order logic learning in artificial neural networks (English)

IJCNN, 1-8 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05682309 Gabbay, Dov M.; Garcez, Artur S.d’Avila

Logical modes of attack in argumentation networks. (English)

Stud. Log. 93, No. 2-3, 199-230 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05594371 Ren, Lu; Garcez, Artur d’ Avila

Symbolic knowledge extraction from support vector machines: A geometric approach. (English)

Köppen, Mario (ed.) et al., Advances in neuro-information processing. 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25‒28, 2008. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-03039-0/pbk). Lecture Notes in Computer Science 5507, 335-343 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05303579 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.

Neural-symbolic cognitive reasoning. (English)

Cognitive Technologies. Berlin: Springer (ISBN 978-3-540-73245-7/hbk). xiii, 197~p. EUR~59.95/net; SFR~99.50; \sterling~45.00; \$~89.95 (2009).

Reviewer: Jerzy W. Grzymala-Busse (Lawrence)

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 10008812 Garcez, Artur S. D’avila; Lamb, Luís C.; Gabbay, Dov M.

Neural-symbolic cognitive reasoning (English)

Cognitive Technologies (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70474732 Ren, Lu; Garcez, Artur S. D’avila

Symbolic knowledge extraction from support vector machines: A geometric approach (English)

ICONIP (2), 335-343 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05211843 d’Avila Garcez, Artur S.; Gabbay, Dov M.; Ray, Oliver; Woods, John

Abductive reasoning in neural-symbolic systems. (English)

Topoi 26, No. 1, 37-49 (2007).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05132984 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.

Connectionist modal logic: representing modalities in neural networks. (English)

Theor. Comput. Sci. 371, No. 1-2, 34-53 (2007).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 60017568 Garcez, Artur S. D’avila

Advances in neural-symbolic learning systems: modal and temporal reasoning (English)

Perspectives of Neural-Symbolic Integration, 265-282 (2007).

20

PDF XML AMS-TeX TEXT BIBTeX DOI