io-port 06059516 Fariñas del Cerro, Luis; Pearce, David; Valverde, Agustín

Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 265-278 (2012).

io-port 06059509 Costantini, Stefania; Formisano, Andrea; Pearce, David

Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 149-163 (2012).

io-port 06049036 Erdem, Esra (ed.); Lee, Joohyung (ed.); Lierler, Yuliya (ed.); Pearce, David (ed.)

Lecture Notes in Computer Science 7265. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). xi, 594~p. EUR~79.99 (2012).

io-port 06033481 Pearce, D.; Valverde, A.

J. Comput. Syst. Sci. 78, No. 1, 86-104 (2012).

io-port 05996846 Gabbay, D.; Pearce, D.; Valverde, A.

J. Artif. Intell. Res. (JAIR) 42, 917-943 (2011).

io-port 05967017 Pearce, David M.; Bandar, Zuhair; Mclean, David

O’Shea, James (ed.) et al., Agent and multi-agent systems: technologies and applications. 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21999-3/pbk). Lecture Notes in Computer Science 6682. Lecture Notes in Artificial Intelligence, 534-543 (2011).

io-port 05924313 Pearce, David J.

Knoop, Jens (ed.), Compiler construction. 20th international conference, CC 2011, held as Part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19860-1/pbk). Lecture Notes in Computer Science 6601, 104-123 (2011).

io-port 05899979 Pearce, David

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 10-11 (2011).

io-port 05883970 Male, Chris; Pearce, David J.; Potanin, Alex; Dymnikov, Constantine

Sci. Comput. Program. 76, No. 7, 587-608 (2011).

io-port 70128393 Pearce, David; Uridia, Levan

IJCAI, 1045-1050 (2011).

io-port 70597661 Pearce, David M.; Bandar, Zuhair; Mclean, David

KES-AMSTA, 534-543 (2011).

io-port 70648069 Pearce, David J.

CC, 104-123 (2011).

io-port 70652804 Pearce, David

LPNMR, 10-11 (2011).

io-port 05835239 De Bruijn, Jos; Pearce, David; Polleres, Axel; Valverde, Agustín

Knowl. Inf. Syst. 25, No. 1, 81-104 (2010).

io-port 05794798 Pearce, David; Uridia, Levan

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 273-285 (2010).

io-port 05794789 Fink, Michael; Pearce, David

Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 156-168 (2010).

io-port 05768151 Nelson, Stephen; Pearce, David J.; Noble, James

Vitek, Jan (ed.), Objects, models, components, patterns. 48th international conference, TOOLS 2010, Málaga, Spain, June 28 ‒ July 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13952-9/pbk). Lecture Notes in Computer Science 6141, 61-78 (2010).

io-port 50256876 Haggard, Gary; Pearce, David J.; Royle, Gordon

ACM Trans. Math. Softw. 37, No. 3 (2010).

io-port 70016286 Aldeeb, A.; Pearce, D. M.; Crockett, Keeley A.; Stanton, M. J.

ICEIS (2), 256-263 (2010).

io-port 70195413 Nelson, Stephen; Pearce, David J.; Noble, James

TOOLS (48), 61-78 (2010).