`Travelled to:`

1 × Cyprus

1 × France

1 × Hungary

1 × Italy

1 × Spain

1 × United Kingdom

4 × USA

`Collaborated with:`

L.M.Pereira T.Swift J.N.Aparício J.A.Leite A.S.Gomes H.Herre C.V.Damásio A.Brogi H.Przymusinska T.C.Przymusinski

`Talks about:`

program (6) logic (4) semant (3) reason (3) negat (2) found (2) well (2) base (2) counterfactu (1) nonmonoton (1)

## Person: José Júlio Alferes

### DBLP: Alferes:Jos=eacute=_J=uacute=lio

### Contributed to:

### Wrote 10 papers:

- PADL-2010-GomesAS #hybrid #implementation #knowledge base #query
- Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.
- LOPSTR-2001-AlferesBLP #behaviour #logic programming
- Computing Environment-Aware Agent Behaviours with Logic Program Updates (JJA, AB, JAL, LMP), pp. 216–232.
- CL-2000-AlferesHP #logic programming #modelling #source code
- Partial Models of Extended Generalized Logic Programs (JJA, HH, LMP), pp. 149–163.
- ICLP-1999-AlferesPS #abduction #source code
- Well-founded Abduction via Tabled Dual Programs (JJA, LMP, TS), pp. 426–440.
- KR-1998-AlferesLPPP #logic programming
- Dynamic Logic Programming (JJA, JAL, LMP, HP, TCP), pp. 98–111.
- ILPS-1994-AlferesDP #named #source code #top-down
- SLX — A Top-down Derivation Procedure for Programs with Explicit Negation (JJA, CVD, LMP), pp. 424–438.
- ICLP-1993-PereiraA #reasoning #semantics
- Optative Reasoning with Scenario Semantics (LMP, JJA), pp. 601–615.
- JICSLP-1992-AlferesP #logic programming #on the #semantics
- On Logic Program Semantics with Two Kinds of Negation (JJA, LMP), pp. 574–588.
- ICLP-1991-PereiraAA #reasoning #semantics
- Nonmonotonic Reasoning with Well Founded Semantics (LMP, JNA, JJA), pp. 475–489.
- ISLP-1991-PereiraAA #reasoning
- Counterfactual Reasoning Based on Revising Assumptions (LMP, JNA, JJA), pp. 566–577.