"Implementing Prioritized Circumscription by Computing Disjunctive Stable Models"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Disjunctive Programming	Egon Balas	1st ed. 2018	Springer International Publishing
Computing stable eigendecompositions of matrix pencils.	James Weldon Demmel	1985	Courant Institute of Mathematical Sciences, New York University
Implementing Computing Supported Cooperative Learning	David McConnell	2000	Routledge
DNA Computing Models	Zoya Ignatova; Israel Martínez-Pérez; Karl-Heinz Zimmermann	2008	Springer US
Implementing and Developing Cloud Computing Applications	David E. Y. Sarna	2010	Routledge
Membrane Computing Models: Implementations	Gexiang Zhang; Mario J. Pérez-Jiménez; Agustín Riscos-Núñez; Sergey Verlan; Savas Konur; Thomas Hinze; Marian Gheorghe	1st ed. 2021	Springer Nature Singapore
Implementing Client/Server Computing: A Strategic Perspective	Bernard H. Board	November 1, 1992	McGraw - Hill
Optimization with Disjunctive Constraints	H.D. Sherali; C.M. Shetty	1980	Springer Berlin Heidelberg
Tempered Stable Distributions: Stochastic Models for Multiscale Processes	Michael Grabchak	1st ed. 2015	Springer International Publishing
Univariate Stable Distributions: Models for Heavy Tailed Data	John P. Nolan	1st ed. 2020	Springer International Publishing
Programming Models for Parallel Computing	Pavan Balaji	2015	MIT Press
Contextual Computing: Models and Applications	Robert Porzel	2011	Springer Berlin Heidelberg
Programming models for parallel computing	Pavan Balaji	2015	MIT Press
Programming Models for Parallel Computing	Pavan Balaji	2015	The MIT Press,
Mobile Computing: Implementing Pervasive Information and Communications Technologies	Shambhu Upadhyaya; Abhijit Chaudhury; Kevin Kwiat; Mark Weiser	2002	Springer US
Foundations of Disjunctive Logic Programming	Jorge Lobo	1992	MIT Press
Computing System Reliability: Models and Analysis	Min Xie; Kim-Leng Poh; Yuan-Shun Dai	2004	Springer US
Computing systems reliability: models and analysis	Min Xie, Yuan-Shum Dai, and Kim-Leng Poh	2004	Kluwer
Vector models for data-parallel computing	Blelloch G.	1990	MIT
TechTactics: Instructional Models for Educational Computing	Carolyn Thorsen	July 19, 2002	Allyn & Bacon
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
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
Implementing Prioritized Circumscription by Computing Disjunctive Stable Mode		Artificial Intelligence: Methodology, Systems, and Applications: 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings	Krzysztof Stebel, Dariusz Choiński (auth.), Danail Dochev, Marco Pistore, Paolo Traverso (eds.)	2008	Springer-Verlag Berlin Heidelberg
Computing Prioritized Circumscription by Logic Programming		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT,
Computing Prioritized Circumscription by Logic Programming		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT Press
Parallel and Prioritized Circumscription		Artificial intelligence: methodology, systems and applications	Daniel Dochev, Marco Pistore, Paolo Traverso	2008	Springer
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
655 Prioritized second-order circumscription		Non-Monotonic Reasoning: Formalization of Commonsense Reasoning	Witold Lukaszewicz	1990	Ellis Horwood
Computing Stable Models by Program Transformation		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
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
Circumscription and Disjunctive Logic Programming	Jack Minker; Jorge Lobo; Arcot Rajasekar	Artificial and Mathematical Theory of Computation	Vladimir Lifschitz	1991	Academic Press
Embedding prioritized circumscription in logic programs	Jianhua Chen	Foundations of Intelligent Systems: 10th International Symposium, ISMIS ' 97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings	Zbigniew W. Ras	1997	Springer Berlin Heidelberg
Translation-Based Approach to Prioritized Circumscription		Artificial intelligence: methodology, systems and applications	Daniel Dochev, Marco Pistore, Paolo Traverso	2008	Springer
8: Computing Stable Models by Program Transformation		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press,
Formalizing Retrieval Goal Change by Prioritized Circumscription – Preliminary Report –	Ken Satoh	Cooperative Information Agents VII: 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings	Matthias Klusch; Sascha Ossowski; Andrea Omicini; Heimo Laamanen	2003	Springer Berlin Heidelberg
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
Implementing prioritized logic programming	Cheng-Min Wu; Yan Zhang	Foundations of Intelligent Systems: 11th International Symposium, ISMIS' 99, Warsaw, Poland, June 8-11, 1999, Proceedings	Zbigniew W. Ras	1999	Springer Berlin Heidelberg
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
Declarative and Fixpoint Characterizations of Disjunctive Stable Models		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Implementing Prioritized Circumscription by Computing Disjunctive Stable Models" - similar Books and Chapters