Jos\'e J\'ulio Alferes
Identifiers
- name variant Jos\'e J\'ulio Alferes 0.60 · backfill
Papers (3)
- Transaction Logic with (Complex) Events cs.AI · 2014 · author #2
- Query-driven Procedures for Hybrid MKNF Knowledge Bases cs.AI · 2010 · author #1
- Abduction in Well-Founded Semantics and Generalized Stable Models cs.LO · 2003 · author #1
Mentions
Frequent Coauthors
- Terrance Swift 2 shared papers
- Ana Sofia Gomes 1 shared papers
- Lu\'is Moniz Pereira 1 shared papers
- Matthias Knorr 1 shared papers