"On the computation of disjunctive stable models"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Models of Computation	Roberto Bruni; Ugo Montanari	1st ed. 2017	Springer International Publishing
Models of Computation	Jeff Erickson	2018	jeffe.cs.illinois.edu
Unconventional Models of Computation, UMC’2K: Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC’2K)	I. Antoniou; C. S. Calude; M. J. Dinneen	2001	Springer London
Embedded Systems Design Based on Formal Models of Computation	Ivan Radojevic; Zoran Salcic	2011	Springer Netherlands
Disjunctive Programming	Egon Balas	1st ed. 2018	Springer International Publishing
Graphical Models: Foundations of Neural Computation	Michael I. Jordan; Terrence J. Sejnowski	2001	MIT Press
Models of Computation for Big Data	Rajendra Akerkar	1st ed. 2018	Springer International Publishing
Graphical Models: Foundations of Neural Computation	Michael I. Jordan; Terrence J. Sejnowski	2001	MIT Press,
Models of computation and formal languages /	Taylor, Ralph Gregory.	1998.	Oxford University Press,
Molecular computation models: unconventional approaches	Marian Gheorghe	2005	Idea Group Pub.
Boolean Functions and Computation Models	Peter Clote; Evangelos Kranakis	2002	Springer Berlin Heidelberg
Molecular Computation Models: Unconventional Approaches	Marian Gheorghe	January 2005	Cybertech Publishing
Parallel computation: models and methods /	Akl, Selim G.	[1997], ©1997.	Prentice Hall,
Black-Box Models of Computation in Cryptology	Tibor Jager	2012	Vieweg+Teubner Verlag
Foundations of Disjunctive Logic Programming	Jorge Lobo	1992	MIT Press
On the design of stable systems	Gerald M. Weinberg	1979	Wiley
Models of Computation: An Introduction to Computability Theory	Maribel Fernandez	2009	Springer London
Handbook of Mathematical Models for Languages and Computation	Alexander Meduna, Petr Horacek, Martin Tomko	2020	Institution of Engineering and Technology
Handbook of Mathematical Models for Languages and Computation	Petr Horáček, Alexander Meduna, Martin Tomko	2019	IET
Optimization with Disjunctive Constraints	H.D. Sherali; C.M. Shetty	1980	Springer Berlin Heidelberg
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
On the computation of disjunctive stable models	N. Leone; P. Rullo; F. Scarcello	Database and Expert Systems Applications: 7th International Conference, DEXA ' 96, Zurich, Switzerland, September 9 - 13, 1996. Proceedings	Roland Wagner; Helmut Thoma	1996	Springer Berlin Heidelberg
Modularity Aspects of Disjunctive Stable Models	Tomi Janhunen; Emilia Oikarinen; Hans Tompits; Stefan Woltran	Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings	Chitta Baral; Gerhard Brewka; John Schlipf	2007	Springer Berlin Heidelberg
Declarative and Fixpoint Characterizations of Disjunctive Stable Models		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
Declarative and Fixpoint Characterizations of Disjunctive Stable Models		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press
On the computation of stable stems	Stanley O. Kochman and Mark E. Mahowald	The Čech Centennial: a Conference on Homotopy Theory, June 22-26, 1993, Northeastern University /	Cenkl, Mila,; Miller, Haynes R.,	[1995], ©1995.	American Mathematical Society,
Computing stable and partial stable models of extended disjunctive logic programs	Carolina Ruiz; Jack Minker	Non-Monotonic Extensions of Logic Programming: ICLP ' 94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers	Louis M. Pereira; Teodor C. Przymusinski	1995	Springer Berlin Heidelberg
Stable computation		New models for population protocols	Othon Michail	2011	Morgan & Claypool
Stable computation		New models for population protocols	Othon Michail	2011	Morgan & Claypool
Reasoning with Infinite Stable Models II: Disjunctive Programs	Piero A. Bonatti	Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings	Peter J. Stuckey	2002	Springer Berlin Heidelberg
Partial evidential stable models for disjunctive deductive databases	Dietmar Seipel	Logic Programming and Knowledge Representation: Third International Workshop, LPKR' 97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers	Jürgen Dix; Luís Moniz Pereira; Teodor C. Przymusinski	1998	Springer Berlin Heidelberg
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models	Emilia Oikarinen; Tomi Janhunen	Artificial Intelligence: Methodology, Systems, and Applications: 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings	Danail Dochev; Marco Pistore; Paolo Traverso	2008	Springer Berlin Heidelberg
Partial evidential stable models for disjunctive deductive databas		Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers	Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)	1998	Springer-Verlag Berlin Heidelberg
On the Minimality of Stable Models	Paolo Ferraris; Vladimir Lifschitz	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday	Marcello Balduccini; Tran Cao Son	2011	Springer Berlin Heidelberg
A Characterization Of The Partial Stable Models For Disjunctive Deductive Databases		Logic Programming: The 1997 International Symposium	Jan Maluszyński	1997	MIT Press,
A Characterization Of The Partial Stable Models For Disjunctive Deductive Databases		Logic Programming: The 1997 International Symposium	Jan Maluszy¿ski	1997	MIT Press
On Parallel Models of Computation	Guang R. Gao	Network and Parallel Computing: IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings	Keqiu Li; Chris Jesshope; Hai Jin; Jean-Luc Gaudiot	2007	Springer Berlin Heidelberg
Computation of the L-stable distributions	Benoit B. Mandelbrot	Fractals and Scaling in Finance: Discontinuity, Concentration, Risk. Selecta Volume E	Benoit B. Mandelbrot	1997	Springer New York
Models of Computation	Peter Bürgisser; Michael Clausen; Mohammad Amin Shokrollahi	Algebraic Complexity Theory	Peter Bürgisser; Michael Clausen; Mohammad A. Shokrollahi	1997	Springer Berlin Heidelberg
Models of Computation		Encyclopedia of Computer Science and Technology: Volume 41 - Supplement 26 - Application of Bayesan Belief Networks to Highway Construction to Virtual Reality Software and Technology	Allen Kent; James G. Williams	1999	Routledge
Models of Computation	Carl H. Smith	A Recursive Introduction to the Theory of Computation	Carl Smith	1994	Springer New York
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"On the computation of disjunctive stable models" - similar Books and Chapters