"An SLD-Resolution Calculus for Basic Serial Multimodal Logics"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
BASIC computing for calculus	Ronald I. Rothenberg	1985	McGraw-Hill
Basic Mathematics for Calculus	Dennis G. Zill	December 1993	McGraw-Hill Companies
The Resolution Calculus	Alexander Leitsch	1997	Springer Berlin Heidelberg
Basic calculus	Nathaniel A. Friedman	1968	Scott, Foresman
R-Calculus, II: Many-Valued Logics	Wei Li; Yuefei Sui	1st ed. 2022	Springer Nature Singapore
Mathematics for Engineers I: Basic Calculus	Gerd Baumann	2010	Oldenbourg Wissenschaftsverlag
Calculus: Basic Concepts for High Schools	L.V. TARASOV	1982	MIR Publishers
Calculus: Basic concepts for high school	Tarasov L.V	1988	Mir
Calculus Basic Concepts for High School	L.V. Tarasov	1982	MIR Publishers
Basic Calculus Refresher	Ismor Fischer	0
Basic Multivariable Calculus	Jerrold E. Marsden	March 15, 1993	W. H. Freeman
Nonmonotonic Logics: Basic Concepts, Results, and Techniques	Karl Schlechta	1997	Springer Berlin Heidelberg
Calculus: Basic Concepts and Applications	R. A. Rosenbaum; G. P. Johnson	1984-02	Cambridge University Press
Basic technical mathematics with calculus	Allyn J. Washington	1978	Benjamin/Cummings Pub. Co.;Benjamin/Cummings Pub. Co
Basic technical mathematics with calculus	Peter K. F. Kuhfittig	1989	Brooks/Cole Pub.
Basic technical mathematics with calculus	Peter K. F. Kuhfittig	1984	Brooks/Cole Pub. Co.
Basic Technical Mathematics and Basic Technical Mathematics with Calculus	Allyn J. Washington	2013	Pearson Education, Limited
Logics for Linguistic Structures	Fritz Hamm; Stephan Kepser	2008	De Gruyter Mouton
Logics for artificial intelligence	Raymond Turner	1984	E. Horwood;Halsted Press
Student’s Guide to Basic Multivariable Calculus	Karen Pao, Frederick Soon (auth.)	1993	Springer New York
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
An SLD-Resolution Calculus for Basic Serial Multimodal Logics	Linh Anh Nguyen	Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings	Dang Van Hung; Martin Wirsing	2005	Springer Berlin Heidelberg
A resolution calculus for modal logics	Hans Jürgen Ohlbach	9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings	Ewing Lusk; Ross Overbeek	1988	Springer Berlin Heidelberg
SLD-resolution		Foundations of Inductive Logic Programming	Shan-Hwei Nienhuys-Cheng; Ronald de Wolf	1997	Springer Berlin Heidelberg
A Resolution-Based Calculus for Preferential Logics	Cláudia Nalon; Dirk Pattinson	Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings	Didier Galmiche; Stephan Schulz; Roberto Sebastiani	1st ed. 2018	Springer International Publishing
Multimodal logics		Modalities and Multimodalities	Walter Carnielli; Claudio Pizzi	2008	Springer Netherlands
Multi-SLD resolution	Donald A. Smith; Timothy J. Hickey	Logic Programming and Automated Reasoning: 5th International Conference, LPAR ' 94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings	Frank Pfenning	1994	Springer Berlin Heidelberg
3 SLD-Resolution		Logic, Programming and Prolog	Nilsson U., Maluszynski J.	2000	Wiley
33 SLD-Resolution		Logic, Programming and Prolog	Nilsson U., Maluszynski J.	2000	Wiley
223 SLD resolution		Advanced Artificial Intelligence	Zhongzhi Shi	2011	World Scientific Publishing Company
3. SLD-Resolution		Logic, programming, and Prolog /	Nilsson, Ulf.; Małuszyński, J.	1995.	John Wiley,
An ordered resolution and paramodulation calculus for finite many-valued logics	Nicolas Zabel	Logics in AI: European Workshop JELIA ' 92, Berlin, Germany, September 7-10, 1992. Proceedings	David Pearce; Gerd Wagner	1992	Springer Berlin Heidelberg
Programming with SLD-resolution		Essentials of logic programming	Christopher John Hogger	1990	Clarendon Press;Oxford University Press
Modal Logics for Brane Calculus	Marino Miculan; Giorgio Bacci	Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings	Corrado Priami	2006	Springer Berlin Heidelberg
A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results	Matteo Baldoni; Laura Giordano; Alberto Martelli	Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX' 98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings	Harrie de Swart	1998	Springer Berlin Heidelberg
Magic Sets vs. SLD-Resolution	Stefan Brass	Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995	Johann Eder; Leonid A. Kalinichenko	1996	Springer London
34 Soundness of SLD-resolution		Logic, Programming and Prolog	Nilsson U., Maluszynski J.	2000	Wiley
35 Completeness of SLD-resolution		Logic, Programming and Prolog	Nilsson U., Maluszynski J.	2000	Wiley
523 BF- and SLD-resolution		The Clausal Theory of Types	D. A. Wolfram	1993	CUP
An ordered theory resolution calculus	Peter Baumgartner	Logic Programming and Automated Reasoning: International Conference LPAR ' 92, St. Petersburg, Russia, July 15-20, 1992. Proceedings	Andrei Voronkov	1992	Springer Berlin Heidelberg
Resolution for many-valued logics	Matthias Baaz; Christian G. Fermüller	Logic Programming and Automated Reasoning: International Conference LPAR ' 92, St. Petersburg, Russia, July 15-20, 1992. Proceedings	Andrei Voronkov	1992	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"An SLD-Resolution Calculus for Basic Serial Multimodal Logics" - similar Books and Chapters