"Mathematical Aspects of Logic Programming Semantics"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Mathematical Aspects of Logic Programming Semantics	Pascal Hitzler; Anthony Seda	2010	Routledge
Logic Programming: Operational Semantics and Proof Theory	James H. Andrews	1992-12	Cambridge University Press
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning	Fabrizio Riguzzi	2018	River Publishers
Theoretical aspects of object-oriented programming: types, semantics, and language design /	Gunter, Carl A.; Mitchell, John C.	[1994], ©1994.	MIT Press,
The Elements of Mathematical Semantics	Maurice V. Aldridge	1992	De Gruyter Mouton
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2	Dov. M. Gabbay; Mark A. Reynolds; Marcelo Finger	May 15, 2000	Oxford University Press, USA
Mathematical Logic	George Tourlakis	2008	John Wiley & Sons
Mathematical Logic	Petio P. Petkov	1990	Springer US
Mathematical Logic	Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas	3rd ed. 2021	Springer International Publishing
Mathematical Logic	Joseph R. Shoenfield	1967	Routledge
Mathematical Logic	R.O. Gandy; C.E.M. Yates; Solomon Feferman; Andrew Hodges; Jack Good and Martin Campbell-Kelly	2001	North-Holland
Mathematical logic	W. V. Quine	©1940	W.W. Norton & Co., Inc
Mathematical Logic	Willard Van Orman Quine	1981	Harvard University Press
Mathematical Logic	George Tourlakis	2008	Wiley
Mathematical Logic	Joseph R. Shoenfield	1967	Addison-Wesley Educational Publishers Inc
Mathematical logic	Yu. L. Ershov, E. A. Palyutin; translated from the Russian by Vladimir Shokurov.	1984.	Mir
Mathematical logic	Stephen Cole Kleene	1967	Wiley
Mathematical logic	W. V. Quine	1947	Harvard University Press
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
Is Logic Programming Mathematical Logic?		Structure and interpretation of computer programs, second edition	Harold Abelson; Gerald Jay Sussman; Julie Sussman	1996	MIT Press;McGraw-Hill
Logic and mathematical programming	Sanjoy K. Mitter; V. Borkar; V. Chandru; D. Micciancio	Control Using Logic-Based Switching	A.Stephen Morse	1997	Springer Berlin Heidelberg
A Logic-Programming Semantics of Services	Ionuţ Ţuţu; José Luiz Fiadeiro	Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings	Reiko Heckel; Stefan Milius	2013	Springer Berlin Heidelberg
Logic programming semantics made easy	Els Laenens; Dirk Vermeir; Carlo Zaniolo	Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings	Werner Kuich	1992	Springer Berlin Heidelberg
Logic programming of some mathematical paradoxes	M. A. Nait Abdallah	Fundamentals of Computation Theory: International Conference FCT ' 89, Szeged, Hungary, August 21-25, 1989. Proceedings	Janos Csirik; Ferenc Gecseg; Janos Demetrovics	1989	Springer Berlin Heidelberg
2 - Mathematical Programming Aspects of DEA		An Introduction to Data Envelopment Analysis - A Tool for Performance Measurement	R Ramanathan	2003	SAGE
Theoretical Foundations and Semantics of Logic Programming	Annalisa Bossi; Maria Chiara Meo	A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP	Agostino Dovier; Enrico Pontelli	2010	Springer Berlin Heidelberg
On the semantics of logic programming languages	Alberto Martelli; Gianfranco Rossi	Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings	Ehud Shapiro	1986	Springer Berlin Heidelberg
Semantics of nonmonotonic reasoning in logic programming	Heinrich Herbe	Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings	David Pearce; Heinrich Wansing	1992	Springer Berlin Heidelberg
Formal Aspects of Programming in Logic	Patrick Saint-Dizier; Sharon J. Hamilton	An Introduction to Programming in Prolog	Patrick Saint-Dizier	1990	Springer New York
Higher-order aspects of logic programming	Uday S. Reddy	Extensions of Logic Programming: 4th International Workshop, ELP ' 93, St Andrews, U. K. , March 29 - April 1, 1993. Proceedings	Roy Dyckhoff	1994	Springer Berlin Heidelberg
Saturated Semantics for Coalgebraic Logic Programming	Filippo Bonchi; Fabio Zanasi	Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings	Reiko Heckel; Stefan Milius	2013	Springer Berlin Heidelberg
On the semantics of negations in logic programming	Els Laenens	Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU ' 93, Granada, Spain, November 8-10, 1993. Proceedings	Michael Clarke; Rudolf Kruse; Serafin Moral	1993	Springer Berlin Heidelberg
Semantics of Prolog and Logic Programming in General	Isaac Balbin; Koenraad Lecot	Logic Programming: A Classified Bibliography	I. Balbin; K. Lecot	1985	Springer Netherlands
The Semantics of Dynamic Fuzzy Logic Programming Language	Xiaofang Zhao	Emerging Research in Artificial Intelligence and ComputationaI Intelligence: International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011. Proceedings	Hepu Deng; Duoqian Miao; Fu Lee Wang; Jingsheng Lei	2011	Springer Berlin Heidelberg
Some proof-theoretic aspects of logic programming	Gerhard Jäger	Logic and Algebra of Specification	Friedrich L. Bauer; Wilfried Brauer; Helmut Schwichtenberg	1993	Springer Berlin Heidelberg
Higher-order Aspects of Logic Programming (Summary)		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Coalgebraic Semantics for Derivations in Logic Programming	Ekaterina Komendantskaya; John Power	Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings	Andrea Corradini; Bartek Klin; Corina Cîrstea	2011	Springer Berlin Heidelberg
A Kripkean Semantics for Dynamic Logic Programming	Ján Šefránek	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	Michel Parigot; Andrei Voronkov	2000	Springer Berlin Heidelberg
Semantics for Temporal Annotated Constraint Logic Programming	Alessandra Raffaetà; Thom Frühwirth	Labelled Deduction	David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò	2000	Springer Netherlands
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Mathematical Aspects of Logic Programming Semantics" - similar Books and Chapters