"Negation in Disjunctive Logic Programs" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Foundations of Disjunctive Logic Programming	Jorge Lobo	1992	MIT Press
Being, negation, and logic.	Eric Toms	1962	Blackwell
Disjunctive programs and sequences of cutting-planes	Charles E. Blair	1979	College of Commerce and Business Administration, University of Illinois at Urbana-Champaign
Paraconsistent Logic: Consistency, Contradiction and Negation	Walter Carnielli; Marcelo Esteban Coniglio	1st ed. 2016	Springer International Publishing
Disjunctive Programming	Egon Balas	1st ed. 2018	Springer International Publishing
Themes in Neoplatonic and Aristotelian Logic: Order, Negation and Abstraction	John N. Martin	2004	Routledge
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Executing Temporal Logic Programs	Ben C. Moszkowski	1986	Cambridge University Press
The Disjunctive Logic of the World: Thinking Global Civil Society with Hegel	Toula Nicolacopoulos; George Vassilacopoulos	2013	Re.Press
Negation in Gapping	Sophie Repp	2009	Oxford University Press
Multiprocessor Execution of Logic Programs	Gopal Gupta	1994	Springer US
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Parallel Execution of Logic Programs	John S. Conery	1987	Springer US
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic	Frithjof Dau	2003	Springer Berlin Heidelberg
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation	Gerd Wagner	1994	Springer Berlin Heidelberg
Radical apophasis: the internal "logic" of Plotinian and Dionysian negation /	Ohara, Todd,; O'Regan, Cyril.	2020.	Wipf and Stock Publishers,
Negation	Tony Bedard	2002	CrossGeneration Comics
Negation Volume 3: Hounded (Negation)	Tony Bedard	July 25, 2007	Checker Book Publishing Group
Optimization with Disjunctive Constraints	H.D. Sherali; C.M. Shetty	1980	Springer Berlin Heidelberg
Sentential Negation in French	Paul Rowlett	1998	OUP
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
Negation in Disjunctive Logic Programs		Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary	David S. Warren	1993	MIT Press,
Negation in Disjunctive Logic Programs		Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary	David S. Warren	1993	MIT Press
Disjunctive Logic Programs		Artificial intelligence: methodology, systems and applications	Daniel Dochev, Marco Pistore, Paolo Traverso	2008	Springer
WF3: A semantics for negation in normal disjunctive logic programs	Chitta Baral; Jorge Lobo; Jack Minker	Methodologies for Intelligent Systems: 6th International Symposium, ISMIS ' 91, Charlotte, N. C. , USA October 16-19, 1991. Proceedings	Zbigniew W. Ras; Maria Zemankova	1991	Springer Berlin Heidelberg
Negation-complete logic programs	Robert F. Stärk	Computer Science Logic: 6th Workshop, CSL' 92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers	Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter	1993	Springer Berlin Heidelberg
On extended disjunctive logic programs	Jack Minker; Carolina Ruiz	Methodologies for Intelligent Systems: 7th International Symposium, ISMIS' 93, Trondheim, Norway, June 15-18, 1993. Proceedings	Jan Komorowski; Zbigniew W. Ras	1993	Springer Berlin Heidelberg
Answers for disjunctive logic programs	Ulrich Furbach	GWAI-91 15. Fachtagung für Künstliche Intelligenz: Bonn, 16. -20. September 1991 Proceedings	Thomas Christaller	1991	Springer Berlin Heidelberg
Disjunctive Logic Programs with Inheritance		Logic Programming: Proceedings of the 1999 International Conference on Logic Programming	Danny De Schreye	1999	MIT,
Disjunctive Logic Programs with Inheritance		Logic Programming: Proceedings of the 1999 International Conference on Logic Programming	Danny De Schreye	1999	MIT Press
Semantics for Disjunctive and Normal Disjunctive Logic Programs	Jorge Lobo; Jack Minker	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
Transforming Abductive Logic Programs to Disjunctive Programs		Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary	David S. Warren	1993	MIT Press,
Transforming Abductive Logic Programs to Disjunctive Programs		Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary	David S. Warren	1993	MIT Press
Disjunctive logic programming, constructivity and strong negation	Heinrich Herre; David Pearce	Logics in AI: European Workshop JELIA ' 92, Berlin, Germany, September 7-10, 1992. Proceedings	David Pearce; Gerd Wagner	1992	Springer Berlin Heidelberg
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation	Pedro Cabalar; David Pearce; Panos Rondogiannis; William W. Wadge	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
Generalized negation as failure and semantics of normal disjunctive logic programs	Chitta Baral	Logic Programming and Automated Reasoning: International Conference LPAR ' 92, St. Petersburg, Russia, July 15-20, 1992. Proceedings	Andrei Voronkov	1992	Springer Berlin Heidelberg
Loop Formulas for Disjunctive Logic Programs	Joohyung Lee; Vladimir Lifschitz	Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings	Catuscia Palamidessi	2003	Springer Berlin Heidelberg
Disjunctive Logic Programs with Inheritance Revisited	Stefania Costantini; Ramón P. Otero; Alessandro Provetti; Tran C. Son	Foundations of Intelligent Systems: 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings	Mohand-Saïd Hacid; Zbigniew W. Raś; Djamel A. Zighed; Yves Kodratoff	2002	Springer Berlin Heidelberg
Computing answers for disjunctive logic programs	Ulrich Furbach	Logics in AI: European Workshop JELIA ' 92, Berlin, Germany, September 7-10, 1992. Proceedings	David Pearce; Gerd Wagner	1992	Springer Berlin Heidelberg
Evaluation Techniques for Disjunctive Logic Programs	Dietmar Seipel; Hans Argenton	Operations Research ’93: Extended Abstracts of the 18th Symposium on Operations Research held at the University of Cologne September 1–3, 1993	Achim Bachem; Ulrich Derigs; Michael Jünger; Rainer Schrader	1994	Physica-Verlag HD
Disjunctive logic programs and constraint processing	Arcot Rajasekar	Methodologies for Intelligent Systems: 6th International Symposium, ISMIS ' 91, Charlotte, N. C. , USA October 16-19, 1991. Proceedings	Zbigniew W. Ras; Maria Zemankova	1991	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries