José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



31
TITLE: Parametrized Logic Programming
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
32
TITLE: Parametrized Logic Programming
AUTHORS: Ricardo Goncalves ; Jose Julio Alferes ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
33
TITLE: Query-driven Procedures for Hybrid MKNF Knowledge Bases PDF
AUTHORS: José Júlio Alferes ; Matthias Knorr; Terrance Swift;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1007.3515
INDEXED IN: DBLP arXiv
IN MY: DBLP
34
TITLE: Querying in EL+ with Nonmonotonic Rules
AUTHORS: Matthias Knorr ; Jose Julio Alferes ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
35
TITLE: Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, VOLUME: 215
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: A Logic Programming System for Evolving Programs with Temporal Operators
AUTHORS: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
37
TITLE: An architecture for idea generation in smart meeting rooms
AUTHORS: Freitas, CF; Ramos, C ; Alferes, J ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
38
TITLE: Evolution and reactivity in the semantic web
AUTHORS: Alferes, JJ ; Eckert, M; May, W;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5500 LNCS
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
39
TITLE: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTHORS: Andre Almeida; Marco Almeida; Jose Alves ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642
INDEXED IN: Scopus WOS
40
TITLE: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2009, SOURCE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
Page 4 of 17. Total results: 162.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service