Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial intelligence, 1995-09, Vol.77 (2), p.321-357 [Peer Reviewed Journal]1995 ;1996 INIST-CNRS ;ISSN: 0004-3702 ;EISSN: 1872-7921 ;DOI: 10.1016/0004-3702(94)00041-X ;CODEN: AINTBBFull text available |
|
2 |
Material Type: Article
|
Evaluation of a Rapid Immunochromatographic Test for Diagnosis of Dengue Virus InfectionJournal of Clinical Microbiology, 1998-01, Vol.36 (1), p.234-238 [Peer Reviewed Journal]1998 INIST-CNRS ;Copyright © 1998, American Society for Microbiology 1998 ;ISSN: 0095-1137 ;EISSN: 1098-660X ;DOI: 10.1128/jcm.36.1.234-238.1998 ;PMID: 9431954 ;CODEN: JCMIDWFull text available |
|
3 |
Material Type: Article
|
Partial deduction of logic programs wrt well-founded semanticsNew generation computing, 1994-12, Vol.13 (1), p.45-74 [Peer Reviewed Journal]1995 INIST-CNRS ;ISSN: 0288-3635 ;EISSN: 1882-7055 ;DOI: 10.1007/bf03038308 ;CODEN: NGCOE5Full text available |
|
4 |
Material Type: Article
|
On the correctness of unfold/fold transformation of normal and extended logic programsThe journal of logic programming, 1995-09, Vol.24 (3), p.201-2171995 ;1995 INIST-CNRS ;ISSN: 0743-1066 ;EISSN: 1873-5789 ;DOI: 10.1016/0743-1066(94)00104-E ;CODEN: JLPRE2Full text available |
|
5 |
Material Type: Article
|
An argumentation-theoretic foundation for logic programmingThe journal of logic programming, 1995-02, Vol.22 (2), p.151-1771995 ;1995 INIST-CNRS ;ISSN: 0743-1066 ;EISSN: 1873-5789 ;DOI: 10.1016/0743-1066(95)94697-X ;CODEN: JLPRE2Full text available |
|
6 |
Material Type: Article
|
Computing argumentation in logic programmingJournal of logic and computation, 1999-08, Vol.9 (4), p.515-562 [Peer Reviewed Journal]ISSN: 0955-792X ;EISSN: 1465-363X ;DOI: 10.1093/logcom/9.4.515 ;CODEN: JLCOEUFull text available |