"Computing Abstract Distances in Logic Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation	Anne Mulkers	1993	Springer Berlin Heidelberg
Live data structures in logic programs: derivation by means of abstract interpretation /	Mulkers, Anne,	[1993], ©1993.	Springer-Verlag,
Computing minimal distances on arbitrary polyhedral surfaces.	Estarose Wolfson	1987	Courant Institute of Mathematical Sciences, New York University
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Executing Temporal Logic Programs	Ben C. Moszkowski	1986	Cambridge University Press
Digital Logic for Computing	John Seiffertt	1st ed. 2017	Springer International Publishing
From logic to computing	Robert P. McArthur	1991	Wadsworth Pub. Co.
Computing With Logic: Logic Programming With Prolog	David Maier, David S. Warren	1988	AW
Fundamentals of computing I: logic,problem solving,programs,and computers: C++ laboratory manual	Allen B. Tucker; Andrew Bernat; W. James Bradley; Robert D. Cupper; Greg W. Scragg	1995	McGraw-Hill
Logic and Algebraic Structures in Quantum Computing	Jennifer Chubb; Ali Eskandarian; Valentina Harizanov	2016-02	Cambridge University Press
Multiprocessor Execution of Logic Programs	Gopal Gupta	1994	Springer US
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Parallel Execution of Logic Programs	John S. Conery	1987	Springer US
Fuzzy Logic and Soft Computing	Guoqing Chen; Mingsheng Ying; Kai-Yuan Cai	1999	Springer US
Fuzzy Logic and Soft Computing	Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi Asker Zadeh	1995	World Scientific Pub Co Inc
Logic,Computing Machines,and Automation	Alice Mary Hilton; Albert Alden	1834	Barre Publishers
Logic, computing machines, and automation.	Alice Mary Hilton	1963	Spartan Books
Abstract Computing Machines: A Lambda Calculus Perspective	Werner Kluge	2005	Springer Berlin Heidelberg
Computing with Java: programs, objects, graphics	Art Gittleman	2001	Scott/Jones
Computing with Java: programs, objects, graphics	Art Gittleman	1998	Scott/Jones
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Computing Abstract Distances in Logic Programs	Ignacio Casso; José F. Morales; Pedro López-García; Roberto Giacobazzi; Manuel V. Hermenegildo	Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers	Maurizio Gabbrielli	1st ed. 2020	Springer International Publishing
Computing Annotated Logic Programs		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Abstract debugging of logic programs	Marco Comini; Giorgio Levi; Giuliana Vitiello	Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR ' 94 and META ' 94, Pisa, Italy, June 20 - 21, 1994. Proceedings	Laurent Fribourg; Franco Turini	1994	Springer Berlin Heidelberg
20: Computing Annotated Logic Programs		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press,
Computing Confidence Measures in Stochastic Logic Programs	Huma Lodhi; Stephen Muggleton	MICAI 2005: Advances in Artificial Intelligence: 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings	Alexander Gelbukh; Álvaro Albornoz; Hugo Terashima-Marín	2005	Springer Berlin Heidelberg
Computing answers for disjunctive logic programs	Ulrich Furbach	Logics in AI: European Workshop JELIA ' 92, Berlin, Germany, September 7-10, 1992. Proceedings	David Pearce; Gerd Wagner	1992	Springer Berlin Heidelberg
Developing logic programs: Computing through normalizing	Olga Štěpánková; Petr Štěpánek	CSL ' 87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings	Egon Börger; Hans Kleine Büning; Michael M. Richter	1988	Springer Berlin Heidelberg
32 Computing Distances		Advances in mobile robotics: proceedings of the Eleventh International Conference on Climbing and Walking Robots and the support technologies for mobile machines, Coimbra, Portugal, 8-10 September 2008	L. Marques, A. De Almeida, M. O. Tokhi, G. S. Virk	2008	World Scientific
Towards computing distances between programs via Scott domains	Michael A. Bukatin; Joshua S. Scott	Logical Foundations of Computer Science: 4th International Symposium, LFCS' 97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings	Sergei Adian; Anil Nerode	1997	Springer Berlin Heidelberg
Denotational abstract interpretation of functional logic programs	Frank Zartmann	Static Analysis: 4th International Symposium, SAS ' 97, Paris, France, September 8-10, 1997, Proceedings	Pascal van Hentenryck	1997	Springer Berlin Heidelberg
42 An Abstract Interpreter for Logic Programs		The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming)	Leon Sterling, Ehud Shapiro	1999	MIT
Parameterized Logic Programs where Computing Meets Learning	Taisuke Sato	Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings	Herbert Kuchen; Kazunori Ueda	2001	Springer Berlin Heidelberg
Computing Behavioral Distances, Compositionally	Giorgio Bacci; Giovanni Bacci; Kim G. Larsen; Radu Mardare	Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings	Krishnendu Chatterjee; Jirí Sgall	2013	Springer Berlin Heidelberg
Computing Distances Between Points		Data Structures & Algorithms in Python (Developer's Library)	John Canning, Alan Broder, Robert Lafore	2022	Addison-Wesley Professional
Computing distances for learning		Machine Learning for Dummies	John Mueller; Luca Massaron	2021	Wiley
Computing distances for learning		Coding All-in-One For Dummies	Nikhil Abraham, Andy Harris, Eva Holland, Joris Meys, Luca Massaron, Chris Minnick, John Paul Mueller, Andrie de Vries	2017	John Wiley & Sons, Inc.
Computing Behavioral Distances, Compositional		Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings	Sam Buss (auth.), Krishnendu Chatterjee, Jirí Sgall (eds.)	2013	Springer-Verlag Berlin Heidelberg
Logic Programs	Anna-Lena Johansson; Agneta Eriksson-Granskog; Anneli Edman	Prolog Versus You: An Introduction to Logic Programming	Anna-Lena Johansson; Agneta Eriksson-Granskog; Anneli Edman	1989	Springer Berlin Heidelberg
Logic Programs	Dick Grune; Kees van Reeuwijk; Henri E. Bal; Ceriel J. H. Jacobs; Koen Langendoen	Modern Compiler Design	Dick Grune; Kees van Reeuwijk; Henri E. Bal; Ceriel J.H. Jacobs; Koen Langendoen	2nd ed. 2012	Springer New York
Logic Programs	Heinz-Dieter Ebbinghaus; Jörg Flum	Finite Model Theory: First Edition	Heinz-Dieter Ebbinghaus; Jörg Flum	1995	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Computing Abstract Distances in Logic Programs" - similar Books and Chapters