Extending abduction from propositional to first-order logic
- Marquis, Pierre
- Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
- Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
DOIAbstract
Publie dans : Proceedings International Workshop Fundamentals of Artificial Intelligence Research, pages 141-155, Springer Verlag, Smolenice (Czechoslovakia), September 1991. Lecture Notes in Artificial Intelligence, subseries of Lecture Notes in Computer Science, 535SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11526 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Add to ORKG