31
TÍTULO: Parametrized Logic Programming
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
32
TÍTULO: Parametrized Logic Programming
AUTORES: Ricardo Goncalves ; Jose Julio Alferes ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
33
TÍTULO: Query-driven Procedures for Hybrid MKNF Knowledge Bases PDF
AUTORES: José Júlio Alferes ; Matthias Knorr; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1007.3515
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
34
TÍTULO: Querying in EL+ with Nonmonotonic Rules
AUTORES: Matthias Knorr ; Jose Julio Alferes ;
PUBLICAÇÃO: 2010, FONTE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXADO EM: Scopus WOS
35
TÍTULO: Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules
AUTORES: Matthias Knorr; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
INDEXADO EM: DBLP
NO MEU: DBLP
36
TÍTULO: A Logic Programming System for Evolving Programs with Temporal Operators
AUTORES: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS DBLP CrossRef
37
TÍTULO: An architecture for idea generation in smart meeting rooms
AUTORES: Freitas, CF; Ramos, C ; Alferes, J ;
PUBLICAÇÃO: 2009, FONTE: Ambient Intelligence Perspectives II - Selected Papers from the 2nd International Ambient Intelligence Forum 2009, AmIF 2009 in Ambient Intelligence Perspectives II - Selected Papers from the 2nd International Ambient Intelligence Forum 2009, AmIF 2009, VOLUME: 5
INDEXADO EM: Scopus
NO MEU: ORCID
38
TÍTULO: Evolution and reactivity in the semantic web
AUTORES: Alferes, JJ ; Eckert, M; May, W;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5500 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
39
TÍTULO: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTORES: Andre Almeida; Marco Almeida; Jose Alves ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2009, FONTE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642
INDEXADO EM: Scopus WOS
40
TÍTULO: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 4 de 17. Total de resultados: 162.