"Decidable Fragments of Logic Programming with Value Invention"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Computing With Logic: Logic Programming With Prolog	David Maier, David S. Warren	1988	AW
Reasoning with Logic Programming	Jose Julio Alferes; Luis Moniz Pereira	1996	Springer Berlin Heidelberg
Logic Programming with Prolog	Max Bramer	2nd ed. 2013	Springer London
Logic Programming with Prolog	Max Bramer	2005	Springer London
A Science of Operations: Machines, Logic and the Invention of Programming	Mark Priestley	2011	Springer London
The Logic of Invention	Roy Wagner	2017-11	HAU Books
Programming with Higher-Order Logic	Dale Miller; Gopalan Nadathur	2012-06	Cambridge University Press
Programming logic	Marjorie Leeson	1988	Science Research Associates
Programming logic	Marjorie Leeson	1983	Science Research Associates
Heuretics: the logic of invention /	Ulmer, Gregory L.,	[1994], ©1994.	John Hopkins University Press,
Principles of Logic and Logic Programming	G. Metakides; A. Nerode	1996	North-Holland
Starting out with programming logic & design	Tony Gaddis	2008	Pearson Addison Wesley
Foundations of Logic Programming	J. W. Lloyd	1984	Springer Berlin Heidelberg
Foundations of Logic Programming	John W. Lloyd	2nd ed. 1987	Springer Berlin Heidelberg
Essentials of logic programming	Christopher John Hogger	1990	Clarendon Press;Oxford University Press
Programming logic and design: with elements of Linux Shell Script Programming	Joyce Farrell	2006
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	Dov M Gabbay; C J Hogger; J A Robinson	1998	Oxford University Press
From Logic to Logic Programming	Kees Doets	1994	MIT Press
From Logic to Logic Programming	Kees Doets	1994	MIT Press,
Logic Programming: Proceedings of the 1999 International Conference on Logic Programming	Danny De Schreye	1999	MIT 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
Decidable Fragments of Logic Programming with Value Invention	Francesco Calimeri; Susanna Cozza; Giovambattista Ianni	Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings	Michael Fisher; Wiebe Hoek; Boris Konev; Alexei Lisitsa	2006	Springer Berlin Heidelberg
Decidable Fragments of Many-Sorted Logic	Aharon Abadi; Alexander Rabinovich; Mooly Sagiv	Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings	Nachum Dershowitz; Andrei Voronkov	2007	Springer Berlin Heidelberg
5 Decidable Fragments		Stochastic Multiplayer Games: Theory and Algorithms	Ummels, Michael	2010	Pallas Publications
33 Decidable Fragments of First-Order Logic 71		Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]	Yevgeny Kazakov	2006	Universität des Saarlandes
Expressiveness of semipositive logic programs with value invention	Luca Cabibbo	Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings	Dino Pedreschi; Carlo Zaniolo	1996	Springer Berlin Heidelberg
Combinations of Theories for Decidable Fragments of First-Order Logic	Pascal Fontaine	Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings	Silvio Ghilardi; Roberto Sebastiani	2009	Springer Berlin Heidelberg
Deductive Verification in Decidable Fragments with Ivy	Kenneth L. McMillan; Oded Padon	Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings	Andreas Podelski	1st ed. 2018	Springer International Publishing
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals	Angelo Montanari; Gabriele Puppis; Pietro Sala	Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II	Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis	2010	Springer Berlin Heidelberg
Decidable Fragments of Simultaneous Rigid Reachability	Veronique Cortier; Harald Ganzinger; Margus Veanes; Florent Jacquemard	Automata, Languages and Programming: 26th International Colloquium, ICALP' 99, Prague, Czech Republic, July 11-15, 1999 Proceedings	Jiri Wiedermann; Peter van Emde Boas; Mogens Nielsen	1999	Springer Berlin Heidelberg
42 Combinations of Decidable Fragments 118		Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]	Yevgeny Kazakov	2006	Universität des Saarlandes
A Logic of Probability with Decidable Model-Checking	Danièle Beauquier; Alexander Rabinovich; Anatol Slissenko	Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September	Julian Bradfield	2002	Springer Berlin Heidelberg
Co-Logic Programming: Extending Logic Programming with Coinduction	Luke Simon; Ajay Bansal; Ajay Mallya; Gopal Gupta	Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings	Lars Arge; Christian Cachin; Tomasz Jurdzinski	2007	Springer Berlin Heidelberg
Systematic Predicate Invention in Inductive Logic Programming	Lionel Martin; Christel Vrain	Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings	Nada Lavrač; Saso Dzeroski	1997	Springer Berlin Heidelberg
Learning Łukasiewicz Logic Fragments by Quadratic Programming	Francesco Giannini; Michelangelo Diligenti; Marco Gori; Marco Maggini	Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I	Michelangelo Ceci; Jaakko Hollmén; Ljupčo Todorovski; Celine Vens; Sašo Džeroski	1st ed. 2017	Springer International Publishing
Logic programming with ions	M. A. Nait Abdallah	Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings	Thomas Ottmann	1987	Springer Berlin Heidelberg
Logic Programming with Sets	Domenico Cantone; Eugenio Omodeo; Alberto Policriti	Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets	Domenico Cantone; Eugenio Omodeo; Alberto Policriti	2001	Springer New York
Logic Programming with Requests		Logic Programming: Proceedings of the 1999 International Conference on Logic Programming	Danny De Schreye	1999	MIT,
Logic Programming with PROLOG	Wolfgang Ertel	Introduction to Artificial Intelligence	Wolfgang Ertel	2011	Springer London
Logic Programming with PROLOG	Wolfgang Ertel	Introduction to Artificial Intelligence	Wolfgang Ertel	2nd ed. 2017	Springer International Publishing
14 Programming with Logic		Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation	Mark C. Chu-Carroll	2013	Pragmatic Bookshelf
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Decidable Fragments of Logic Programming with Value Invention" - similar Books and Chapters