BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alferes:Jos=eacute=_J=uacute=lio

Contributed to:

PADL 20102010
LOPSTR 20012001
CL 20002000
ICLP 19991999
KR 19981998
ILPS 19941994
ICLP 19931993
JICSLP 19921992
ICLP 19911991
ILPS 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.