1
by Caferra, Ricardo
Published 2011
ISTE
... Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic...

2
by Takahara, Yasuhiko, Liu, Yongmei
Published 2006
Springer New York
Table of Contents: ... for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog...

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... and Their Relationship with Logic Programming -- SEMLOG: A Multiparadigm Language for Conceptual Modeling -- Negotiation...

4
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... Perspectives for Information Processing in the Social Sciences -- Aspects of Coupling Logic Programming...

5
by Binner, Jane M.
Published 2004
Emerald
..., inductive logical programming, classifier systems and Bayesian networks, not to mention many ongoing...