AAAAAA

   
Results: 1-13 |
Results: 13
On the equivalence of the static and disjunctive well-founded semantics and its computation
Authors: Brass, S Dix, J Niemela, I Prymusinski, TC
Citation: S. Brass et al., On the equivalence of the static and disjunctive well-founded semantics and its computation, THEOR COMP, 258(1-2), 2001, pp. 523-553
A general theory of confluent rewriting systems for logic programming and its applications
Authors: Dix, J Osorio, M Zepeda, C
Citation: J. Dix et al., A general theory of confluent rewriting systems for logic programming and its applications, ANN PUR APP, 108(1-3), 2001, pp. 153-188
Temporal agent programs
Authors: Dix, J Kraus, S Subrahmanian, VS
Citation: J. Dix et al., Temporal agent programs, ARTIF INTEL, 127(1), 2001, pp. 87-135
Meta-agent programs
Authors: Dix, J Subrahmanian, VS Pick, G
Citation: J. Dix et al., Meta-agent programs, J LOGIC PR, 46(1-2), 2000, pp. 1-60
Evaluation of carotid stenosis by angiography: Potential bias toward overestimated measurements introduced by prior interpretation of Doppler sonograms
Authors: Dix, J Skrocki, J
Citation: J. Dix et J. Skrocki, Evaluation of carotid stenosis by angiography: Potential bias toward overestimated measurements introduced by prior interpretation of Doppler sonograms, AM J NEUROR, 21(4), 2000, pp. 639-642
Students' reactions to ASHP MCM
Authors: Patel, A Dix, J
Citation: A. Patel et J. Dix, Students' reactions to ASHP MCM, AM J HEAL S, 56(19), 1999, pp. 1991-1991
Logics in artificial intelligence
Authors: Dix, J del Cerro, LF Furbach, U
Citation: J. Dix et al., Logics in artificial intelligence, ANN MATH A, 27(1-4), 1999, pp. 1-2
Logic programming with non-monotonic semantics: Representing knowledge andits computation
Authors: Dix, J Lobo, J
Citation: J. Dix et J. Lobo, Logic programming with non-monotonic semantics: Representing knowledge andits computation, ANN MATH A, 25(3-4), 1999, pp. 161-164
Semantics of (disjunctive) logic programs based on partial evaluation
Authors: Brass, S Dix, J
Citation: S. Brass et J. Dix, Semantics of (disjunctive) logic programs based on partial evaluation, J LOGIC PR, 40(1), 1999, pp. 1-46
Bacterial counts in canine duodenal fluid after exposure to saline, sodiumbicarbonate and hypertonic dextrose solutions used to maintain patency of chronically implanted catheters
Authors: Lynch, TM Morris, TH Dix, J Nelson, PR
Citation: Tm. Lynch et al., Bacterial counts in canine duodenal fluid after exposure to saline, sodiumbicarbonate and hypertonic dextrose solutions used to maintain patency of chronically implanted catheters, LAB ANIMALS, 33(2), 1999, pp. 143-148
Computation of the semantics of autoepistemic belief theories
Authors: Brass, S Dix, J Przymusinski, TC
Citation: S. Brass et al., Computation of the semantics of autoepistemic belief theories, ARTIF INTEL, 112(1-2), 1999, pp. 233-250
Possible mechanisms for spontaneous production of enantiomeric excess
Authors: Lippmann, DZ Dix, J
Citation: Dz. Lippmann et J. Dix, Possible mechanisms for spontaneous production of enantiomeric excess, ADVANCES IN BIOCHIRALITY, 1999, pp. 85-97
Homicide and the baby-sitter
Authors: Dix, J
Citation: J. Dix, Homicide and the baby-sitter, AM J FOREN, 19(4), 1998, pp. 321-323
Risultati: 1-13 |