Items da Coleção (Ordenados por Data de depósito em ordem descendente): 21 até 40 de 47
| Data | Título | Autor(es) | Tipo | Acesso |
| 1-Jan-2019 | Towards a roadmap for the migration of legacy software systems to a microservice based architecture | Silva, Hugo H. O. S. da; Carneiro, Glauco F. de; Monteiro, Miguel P. | conferenceObject |  |
| 1-Jan-2010 | Characterisation of Ti/Al multilayered structures with slow positron beams applying a simplified positron depth distribution model | Naia, M. Duarte; Gordo, P. M.; Teodoro, O. M. N. D.; Lima, A. P. de; Moutinho, A. M. C. | conferenceObject | |
| Abr-1999 | Dynamic Logic Programming | Alferes, José Júlio Alves; Leite, João Alexandre Carvalho Pinheiro; Pereira, L.M.; Przymusinska, H; Przymusinski, Teodor C. | conferenceObject | |
| 1-Jan-2004 | Deductive Diagnosis of Digital Circuits | Alferes, José Júlio Alves; Azevedo, Francisco de Moura E Castro Ascensão de; Barahona, Pedro Manuel Corrêa Calvente de; Damásio, Carlos Augusto Isaac Piló Viegas; Swift, Terrance | conferenceObject | |
| 1-Jan-2005 | A general language for evolution and reactivity in the Semantic Web | Alferes, José Júlio Alves; Amador, Ricardo; May, Wolfgang | conferenceObject | |
| 1-Jan-1993 | Diagnosis and debugging as contradiction removal | Pereira, L.M.; Damásio, Carlos Augusto Isaac Piló Viegas; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1993 | Optative reasoning with scenario semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-2007 | A Well-founded Semantics for Hybrid MKNF Knowledge Bases | Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal | conferenceObject |  |
| 1-Jan-1993 | Scenario semantics of extended logic programs | Alferes, José Júlio Alves; Pereira, L.M.; Dung, Phan Minh | conferenceObject | |
| 2-Nov-2011 | Querying OWL 2 QL and non-monotonic rules | Knorr, Matthias; Alferes, José Júlio | conferenceObject | |
| 1-Ago-2018 | A universal session type for untyped asynchronous communication | Balzer, Stephanie; Pfenning, Frank; Toninho, Bernardo | conferenceObject | |
| 2016 | Inconsistency Management in Reactive Multi-context Systems | Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, Joao; Puehrer, Joerg | conferenceObject | |
| Mai-1991 | Hypothetical reasoning with well founded semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1992 | Well founded semantics for logic programs with explicit negation | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1-Jan-1991 | Nonmonotonic reasoning with well founded semantics | Pereira, L.M.; Alferes, José Júlio Alves | conferenceObject | |
| 1997 | Vivid agents arguing about distributed extended logic programs | Schroeder, Michael; Móra, Iara; Alferes, José Julio | conferenceObject | |
| Jun-2002 | LUPS - A language for updating logic programs | Alferes, JJ; Pereira, LM; Przymusinska, H; Przymusinski, TC | conferenceObject | |
| 27-Abr-2013 | CAAT - A Discrete Approach to Emotion Assessment | Cardoso, Bruno; Romão, Teresa; Correia, Nuno | conferenceObject | |
| 2014 | Transaction Logic with (Complex) Events | Alferes, José Júlio; Gomes, Ana Sofia | conferenceObject | |
| 2015 | Extending NoHR for OWL 2 QL | Costa, Nuno; Knorr, Matthias; Leite, João | conferenceObject | |
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 21 até 40 de 47
