From post

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning.

, , и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 211-222. Springer, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Constraint-Based Mining of Web Page Associations, , , и . том 4830 из Lecture Notes in Computer Science, глава Constraint-Based Mining of Web Page Associations, стр. 315-326. Springer Berlin/Heidelberg, (2007)Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning., , и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 211-222. Springer, (1986)An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure., , и . FSTTCS, том 1346 из Lecture Notes in Computer Science, стр. 138-152. Springer, (1997)Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision., и . Australian Joint Conference on Artificial Intelligence, том 1342 из Lecture Notes in Computer Science, стр. 236-245. Springer, (1997)Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction., , , и . KSEM, том 4092 из Lecture Notes in Computer Science, стр. 305-317. Springer, (2006)Size-Constrained Tree Partitioning: A Story on Approximation Algorithm Design for the Multicast k-Tree Routing Problem., , и . COCOA, том 5573 из Lecture Notes in Computer Science, стр. 363-374. Springer, (2009)Most parsimonious haplotype allele sharing determination., , , , , , , и . BMC Bioinform., (2009)Size-constrained tree partitioning: Approximating the multicast k-tree routing problem., , и . Theor. Comput. Sci., 412 (3): 240-245 (2011)On Generality and Knowledge Transferability in Cross-Domain Duplicate Question Detection for Heterogeneous Community Question Answering., , , , , , и . CoRR, (2018)Curried least general generalization: A framework for higher order concept learning., , и . PRICAI Workshops, том 1359 из Lecture Notes in Computer Science, стр. 45-60. Springer, (1996)