"lp2cpp: A Tool For Compiling Stratified Logic Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Flowcharting: a tool for understanding computer logic	Nancy B. Stern	1975	Wiley
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Employer tool kit, for implementing work/life programs.		2000	Oregon Commission for Child Care
Using a model as a practical management tool for family planning programs	Ronald W. O'Connor	1971	M.I.T.]
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Executing Temporal Logic Programs	Ben C. Moszkowski	1986	Cambridge University Press
Compiling Algorithms for Heterogeneous Systems	Steven Bell; Jing Pu; James Hegarty; Mark Horowitz		Springer International Publishing
Compiling Esterel	Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard Berry	2007	Springer US
Logic as a tool: a guide to formal logical reasoning	Goranko, Valentin	2016	Wiley
Logic as a Tool: A Guide to Formal Logical Reasoning	Valentin Goranko	2016	Wiley
Compiling serial languages for parallel machines	Bruce Robert Leasure	1976	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Multiprocessor Execution of Logic Programs	Gopal Gupta	1994	Springer US
Parallel Execution of Logic Programs	John S. Conery	1987	Springer US
Environmental Hydraulics: Stratified Flows: Stratified Flows	Flemming B. Pedersen	1986	Springer Berlin Heidelberg
Intern Programs as a Human Resources Management Tool for the Department of Defense	Susan M. Gates	2004	Rand Corporation
Sunset review of governmental programs: a new tool for legislative oversight in Massachusetts	Massachusetts. General Court. Senate. Special Committee on Long-Range Policy Planning	1989	The Committee
A tool for learning	Maurice Rubens	1989	Direct Experience
Compiling Natural Semantics	Mikael Pettersson	1999	Springer Berlin Heidelberg
Compiling with Continuations	Andrew W. Appel	1991-11	Cambridge University Press
Compiling functional languages	Antoni Diller	1988	Wiley
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
lp2cpp: A Tool For Compiling Stratified Logic Programs	Bernardo Cuteri; Alessandro Francesco De Rosis; Francesco Ricca	AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings	Floriana Esposito; Roberto Basili; Stefano Ferilli; Francesca A. Lisi	1st ed. 2017	Springer International Publishing
Compiling Logic Programs	Peter Norvig	Paradigms of Artificial Intelligence Programming	Peter Norvig	1992	Morgan Kaufmann
Compiling logic programs with equality	Michael Hanus	Programming Language Implementation and Logic Programming: International Workshop PLILP ` 90, Linköping, Sweden, August 20-22, 1990. Proceedings	Pierre Deransart; Jan Maluszynski	1990	Springer Berlin Heidelberg
Compiling circumscriptive theories into logic programs	Michael Gelfond; Vladimir Lifschitz	Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings	Michael Reinfrank; Johan de Kleer; Matthew L. Ginsberg; Erik Sandewall	1989	Springer Berlin Heidelberg
Transformation Rules for Locally Stratified Constraint Logic Programs	Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti	Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development	Maurice Bruynooghe; Kung-Kiu Lau	2004	Springer Berlin Heidelberg
Inferring and Compiling Termination for Constraint Logic Programs	Sébastien Hoarau; Fred Mesnard	Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR' 98, Manchester, UK, June 15-19, 1998, Selected Papers	Pierre Flener	1999	Springer Berlin Heidelberg
lp2normal — A Normalization Tool for Extended Logic Programs	Jori Bomanson	Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings	Marcello Balduccini; Tomi Janhunen	1st ed. 2017	Springer International Publishing
Algorithmic Logic, a Tool for Investigations of Programs	A. Salwicki	Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975	Robert E. Butts; Jaakko Hintikka	1977	Springer Netherlands
A Slicing Tool for Lazy Functional Logic Programs	Claudio Ochoa; Josep Silva; Germán Vidal	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
Stratified Programs		Introduction to Logic Programming	Michael Genesereth, Vinay K Chaudhri	2020	Morgan & Claypool
Stratified Programs		Introduction to logic programming	Genesereth M., Chaudhri V.K	2020	Morgan
Compiling Programs		Programming in Objective-C	Kochan, Stephen G	2003;2007	Indianapolis; Sams Publ
Compiling programs		Windows developer power tools	Avery, James; Holmes, Jim	2006;2007	O'Reilly Media
Compiling Programs		Oracle9i OLAP Services. Developer's Guide to the OLAP DML		2001
Compiling Programs		PostgreSQL: Introduction and Concepts	Bruce Momjian	2000	addison-wesley
Compiling Programs		Programming in Objective-C	Kochan, Stephen G	2013	Addison-Wesley Professional
Compiling Programs		Beginning Rust Programming	Ric Messier	2021	Wiley
Compiling Programs		The Linux command line	William E. Shotts	2011	No Starch Press
Compiling Programs		Programming in C, 3rd Edition	Stephen G. Kochan	2005	Sams Publishing
Compiling Programs		Oracle Essbase & Oracle OLAP: the guide to Oracle's multidimensional solution	Michael Schrader; et al	2010	Oracle Press/McGraw-Hill
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"lp2cpp: A Tool For Compiling Stratified Logic Programs" - similar Books and Chapters