"Semantics for Disjunctive and Normal Disjunctive Logic Programs"

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
Disjunctive programs and sequences of cutting-planes	Charles E. Blair	1979	College of Commerce and Business Administration, University of Illinois at Urbana-Champaign
Neighborhood Semantics for Modal Logic	Eric Pacuit	1st ed. 2017	Springer International Publishing
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Kotarbiński: Logic, Semantics and Ontology	Jan Wolenski	1990	Springer Netherlands
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic	Marie Duží; Bjorn Jespersen; Pavel Materna	2010	Springer Netherlands
Possible worlds: logic, semantics and ontology	Guido Imaguire; Dale Jacquette	2010	Philosophia
Symbolic Logic: Syntax, Semantics, and Proof	David Agler	2012	Rowman & Littlefield Publishers
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,
Disjunctive Programming	Egon Balas	1st ed. 2018	Springer International Publishing
Words without Objects: Semantics, Ontology, and Logic for Non-Singularity	Henry Laycock	2006	Oxford University Press
Logic Programming: Operational Semantics and Proof Theory	James H. Andrews	1992-12	Cambridge University Press
Introduction to Semantics and Formalization of Logic	Rudolf Carnap	1959	Harvard University Press
Intermediate Quantities: Logic, linguistics, and Aristotelian semantics	Philip Peterson	2000	Routledge
Intermediate Quantities: Logic, linguistics, and Aristotelian semantics	Philip Peterson	2000	Routledge
Introduction to semantics: and Formalization of logic.	Rudolf Carnap	1959	Harvard University Press
Mathematical Aspects of Logic Programming Semantics	Pascal Hitzler; Anthony Seda	2010	Routledge
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
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
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
The Well Founded Semantics for Disjunctive Logic Programs	Kenneth A. Ross	Deductive and Object-Oriented Databases	W. Kim; J. -M. Nicolas and S. Nishio	1990	North-Holland
Disjunctive Logic Programs		Artificial intelligence: methodology, systems and applications	Daniel Dochev, Marco Pistore, Paolo Traverso	2008	Springer
Semantics for Possibilistic Disjunctive Programs	Juan Carlos Nieves; Mauricio Osorio; Ulises Cortés	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
Semantics of disjunctive logic programs and deductive databases	Teodor C. Przymusinski	Deductive and Object-Oriented Databases: Second International Conference, DOOD' 91, Munich, Germany, December 16-18, 1991. Proceedings	Claude Delobel; Michael Kifer; Yoshifumi Masunaga	1991	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
Procedural Semantics for Fuzzy Disjunctive Programs	Dušan Guller	Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings	Matthias Baaz; Andrei Voronkov	2002	Springer Berlin Heidelberg
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics	Thomas Lukasiewicz	Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR ' 99, El Paso, Texas, USA, December 2-4, 1999 Proceedings	Michael Gelfond; Nicole Leone; Gerald Pfeifer	1999	Springer Berlin Heidelberg
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity	Wolfgang Faber; Nicola Leone; Gerald Pfeifer	Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings	Jose; Julio Alferes; Joao Leite	2004	Springer Berlin Heidelberg
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity		Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings	Jose J.A. (ed.), Leite J. (ed.)	2004	Springer
An abductive semantics for disjunctive logic programs and its proof procedure	Jia -Huai You; Li Yan Yuan; Randy Goebel	Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings	S. Ramesh; G. Sivakumar	1997	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
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 Fuzzy Logic Programs with Fuzzy Answer Set Semantics	Emad Saad	Scalable Uncertainty Management: 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010, Proceedings	Amol Deshpande; Anthony Hunter	2010	Springer Berlin Heidelberg
Minimal Founded Semantics for Disjunctive Logic Programming	Sergio Greco	Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR ' 99, El Paso, Texas, USA, December 2-4, 1999 Proceedings	Michael Gelfond; Nicole Leone; Gerald Pfeifer	1999	Springer Berlin Heidelberg
Isoinitial Semantics for Logic Programs	Kung-Kiu Lau; Mario Ornaghi	Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings	John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luis M. Pereira; Yehoshua Sagiv; Peter J. Stuckey	2000	Springer Berlin Heidelberg
A hierarchy of semantics for normal constraint logic programs	François Fages; Roberta Gori	Algebraic and Logic Programming: 5th International Conference, ALP ' 96, Aachen, Germany, September 25 - 27, 1996. Proceedings	Michael Hanus; Mario Rodríguez-Artalejo	1996	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Semantics for Disjunctive and Normal Disjunctive Logic Programs" - similar Books and Chapters