"Optimizing incremental computation of datalog programs with non-deterministic semantics"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Bounded Incremental Computation	G. Ramalingam (eds.)	1996	Springer-Verlag Berlin Heidelberg
Bounded Incremental Computation	G. Ramalingam	1996	Springer Berlin Heidelberg
Automatic discovery of heuristics for non-deterministic programs.	Salvatore J. Stolfo	1979	Courant Institute of Mathematical Sciences, New York University
Semantics and Logics of Computation	Andrew M. Pitts; P. Dybjer	1997-01	Cambridge University Press
Efficient Computation of Argumentation Semantics	Beishui Liao	2014	Academic Press
Studies in non-deterministic psychology	Gerald Epstein	1980	Human Sciences Press
Algebraic Semantics of Imperative Programs	Joseph A. Goguen; Grant Malcolm	1996	MIT Press
Algebraic Semantics of Imperative Programs	Joseph A. Goguen; Grant Malcolm	1996	MIT Press,
Holphane datalog	Holophane Glass Company	1936	The Company
Holophane datalog	Holophane Glass Company	1925	The Company
Non-Standard Computation - Molecular Computation, Cellular Automata	Tino Gramß	1998	John Wiley & Sons
Structural Health Monitoring: A Non-Deterministic Framework	Ranjan Ganguli	1st ed. 2020	Springer Nature Singapore
Formal Semantics and Proof Techniques for Optimizing VHDL Models	Kothanda Umamageswaran; Sheetanshu L. Pandey; Philip A. Wilsey	1999	Springer US
Software merge: semantics of combining changes to programs¹	Valdis Andris Berzins	1993	Naval Postgraduate School;Available from National Technical Information Service
Incremental finite element modelling in non-linear solid mechanics	Michał Kleiber	1989	E. Horwood;Halsted Press
Semantics of Parallelism: Non-Interleaving Representation of Behaviour	Michael W. Shields	1997	Springer London
Datalog and Logic Databases	Sergio Greco; Cristian Molinaro		Springer International Publishing
Datalog and Logic Databases	Greco, Sergio.; Molinaro, Cristian	2016	Morgan & Claypool Publishers
Planning non-traditional programs	K. Patricia Cross, John R. Valley, John R. Valley	1974	Jossey-Bass
Planning non-traditional programs	K. Patricia Cross	1974	Jossey-Bass
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
Optimizing incremental computation of datalog programs with non-deterministic semantics	Françoise Fabret; Mireille Régnier; Eric Simon	Database Theory - ICDT ' 92: 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings	Joachim Biskup; Richard Hull	1992	Springer Berlin Heidelberg
Optimizing Datalog Programs	Yehoshua Sagiv	Foundations of Deductive Databases and Logic Programming	Jack Minker	1988	Morgan Kaufmann
Non-Deterministic Choice in Datalog	Ravi Krishnamurthy; Shamim Naqvi	Proceedings of the Third International Conference on Data and Knowledge Bases	C. Beeri; J. W. Schmidt and U. Dayal	1988	Morgan Kaufmann
Hypothesis-Founded Semantics for Datalog Programs with Negation	Yann Loyer; Nicolas Spyratos	Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings	Krzysztof Diks; Wojciech Rytter	2002	Springer Berlin Heidelberg
Datalog with non-deterministic choice computes NDB-PTIME	Luca Corciulo; Fosca Giannotti; Dino Pedreschi	Deductive and Object-Oriented Databases: Third International Conference, DOOD ' 93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings	Stefano Ceri; Katsumi Tanaka; Shalom Tsur	1993	Springer Berlin Heidelberg
3 - Non-deterministic computation		Complexity and Cryptography: An Introduction	John Talbot; Dominic Welsh	2006-01	Cambridge University Press
1 Non-deterministic while-programs and their semantics		Algorithmic Logic	Grazyna Mirkowska, Andrzej Salwicki	1987	D. Reidel
43 Deterministic Datalog		Declarative Logic Programming: Theory, Systems, and Applications	Michael Kifer and Yanhong Annie Liu	2018	Association for Computing Machinery and Morgan & Claypool Publishers
Optimizing Secure Computation Programs with Private Conditionals	Peeter Laud; Alisa Pankova	Information and Communications Security: 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings	Kwok-Yan Lam; Chi-Hung Chi; Sihan Qing	1st ed. 2016	Springer International Publishing
Dterministic and non-deterministic stable model semantics for unbound DATALOG queries	Domenico Saccà	Database Theory - ICDT ' 95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings	Georg Gottlob; Moshe Y. Vardi	1995	Springer Berlin Heidelberg
Deterministic semantics for datalog ⌝: complexity and expressive power	Sergio Greco; Domenico Saccà	Deductive and Object-Oriented Databases: 5th International Conference, DOOD' 97, Montreux, Switzerland, December 8-12, 1997. Proceedings	Francois Bry; Raghu Ramakrishnan; Kotagiri Ramamohanarao	1997	Springer Berlin Heidelberg
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs	Petros Potikas; Panos Rondogiannis; Manolis Gergatsoulis	Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers	Alberto Pettorossi	2002	Springer Berlin Heidelberg
1 Non-deterministic while-programs and their semantics 270		Algorithmic Logic	Grazyna Mirkowska, Andrzej Salwicki	1987	D. Reidel
111 Semantics of Non-Deterministic Constructions		Algorithmic Language and Program Development	Friedrich L. Bauer, Hans Wössner	1982	Springer
Distance-Based Non-Deterministic Semantics		Artificial General Intelligence 2008: Proceedings of the First AGI Conference	Pei Wang, Pei Wang, Ben Goertzel, Stan Franklin	2008	IOS Press
Incremental computation with setattr ()		mastering object-oriented python	steven F.Lott	2019	Packt Publishing Ltd.
Incremental evaluation of Datalog queries	Guozhu Dong; Rodney Topor	Database Theory - ICDT ' 92: 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings	Joachim Biskup; Richard Hull	1992	Springer Berlin Heidelberg
Incremental Evaluation Of Datalog Queries		Materialized Views: Techniques, Implementations, and Applications	Ashish Gupta; Inderpal Singh Mumick	1999	MIT Press
Deterministic computation ⁂		Dercuano	Sitaker, Kragen Javier	2019
2 Properties of non-deterministic programs		Algorithmic Logic	Grazyna Mirkowska, Andrzej Salwicki	1987	D. Reidel
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Optimizing incremental computation of datalog programs with non-deterministic semantics" - similar Books and Chapters