Filters








80,679 Hits in 6.5 sec

Translation Methods for Non-Classical Logics: An Overview

HANS JŪRGEN OHLBACH
1993 Logic Journal of the IGPL  
This paper gives an overview on translation methods we have developed for nonclassical logics, in particular for modal logics.  ...  Using normal modal logic as an intermediate logic, other logics can be translated into predicate logic as well. As an example, the translation of modal logic of graded modalities is sketched.  ...  In particular I am grateful to Luis Farifias del Cerro, Dov Gabbay, Andreas tterzig, Andreas Nonnengart, and Renate Schmidt for many important discussions and valuable contributions.  ... 
doi:10.1093/jigpal/1.1.69 fatcat:ykf5l4ndaffwxdjtgoztnm6jte

An overview of transaction logic

Anthony J. Bonner, Michael Kifer
1994 Theoretical Computer Science  
., An overview of transaction logic, Theoretical Computer Science 133 (1994) 205-265.  ...  This paper presents an overview of Transaction Logic-a new formalism recently introduced in Bonner and and designed to deal with the phenomenon of state changes in logic programming, databases, and AI.  ...  Furthermore, just as 5 is an extension of classical first-order logic, Horn 5z is an extension of classical Hornclause logic.  ... 
doi:10.1016/0304-3975(94)90190-2 fatcat:jlzrld3kr5cevlqbowifgq67aq

Real-time and Probabilistic Temporal Logics: An Overview [article]

Savas Konur
2011 arXiv   pre-print
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems.  ...  Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature.  ...  Namely, we give an overview on most-known temporal logics introduced up to now.  ... 
arXiv:1005.3200v3 fatcat:xhrrcy26bzeehg7wqvjfikm26e

Logics for Unranked Trees: An Overview

Leonid Libkin, Georg Gottlob
2006 Logical Methods in Computer Science  
In this paper we present a survey of logics for unranked trees.  ...  Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence  ...  I also thank Luc Segoufin for his permission to include Proposition 7.1 in the survey. This work was supported by grants from NSERC and CITO.  ... 
doi:10.2168/lmcs-2(3:2)2006 fatcat:fog3giovtjbptikxl3manissga

An overview of nonmonotonic reasoning and logic programming

Jack Minker
1993 The Journal of Logic Programming  
He gives an effective translation of default logic into autoepistemic logic and shows there is a reverse translation; every set of sentences in autoepistemic logic can be effectively rewritten as a default  ...  A comprehensive survey and critical overview of the extension of logic programming to perform abductive reasoning (referred to as abducttie logic programming) is given in [98] together with an extensive  ... 
doi:10.1016/0743-1066(93)90028-f fatcat:zs5h4ximffdfvapevyr6rvs4fm

Applications of Linear Logic to Computation: An Overview

VLADIMIR ALEXIEV
1994 Logic Journal of the IGPL  
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation.  ...  semantics of negation in LP, non-monotonic issues in AI planning, etc.  ...  I am especially indebted to Narciso for correcting a number of typos. I am grateful to Andrea Asperti for pointing me out the work on optimal lambda reduction.  ... 
doi:10.1093/jigpal/2.1.77 fatcat:gezeeaim4rfqpeikikhcip44eu

Logics for Unranked Trees: An Overview [chapter]

Leonid Libkin
2005 Lecture Notes in Computer Science  
In this paper we present a survey of logics for unranked trees.  ...  Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence  ...  I also thank Luc Segoufin for his permission to include Proposition 7.1 in the survey. This work was supported by grants from NSERC and CITO.  ... 
doi:10.1007/11523468_4 fatcat:7rcqqszwefaurpnvx4pkvbqusq

Computational model theory: an overview

M. Vardi
1998 Logic Journal of the IGPL  
In this overview paper we o er one perspective on computational model theory.  ...  logic is by adding xpoint constructs.  ...  Acknowledgements I am grateful to Ron Fagin for numerous comments on a previous draft of this article. This work was supported in part by NSF grants CCR-9628400 and CCR-9700061.  ... 
doi:10.1093/jigpal/6.4.601 fatcat:q6zpgreakfgodnvcea7e3y4aha

Fuzzy Logic and Approximate Reasoning: An Overview

Sankar K Pal, Deba Prasad Mandal
1991 Journal of the Institution of Electronics and Telecommunication Engineers  
An overview of the different aspects of the theory of appro:x:imate reasoning has been provided here based on the e:x:isting literature.  ...  Fuzzy logic plays the major role in approximate reasoning. It has the ability to deal with different types of uncertainty.  ...  ACKNOWLEDGEMENT The authors gratefully acknowledge Prof D Datta Majumdcr for his interest in this work and Mr S Chakra!borty for drawing the diagrams  ... 
doi:10.1080/03772063.1991.11437008 fatcat:jue4a7lvjnh7npjfcaijgl7wny

Two-level logic minimization: an overview

Olivier Coudert
1994 Integration  
This paper exposes the classical approach for two-level logic minimization, and presents the recent developments that overcome the limitations of the procedures proposed in the past.  ...  ., in logic synthesis, reliability analysis, and automated reasoning.  ...  Acknowledgment The author would like to thank Anna Karlin, Hervé Touati, and the reviewers for their constructive comments on the early draft of this paper.  ... 
doi:10.1016/0167-9260(94)00007-7 fatcat:hhoyfaazmffvbjtjs77i5gyn7a

NanoMagnet Logic: An Architectural Level Overview [chapter]

Marco Vacca, Mariagrazia Graziano, Juanchi Wang, Fabrizio Cairo, Giovanni Causapruno, Gianvito Urgese, Andrea Biroli, Maurizio Zamboni
2014 Lecture Notes in Computer Science  
Finally, a realistic analysis of the applications best suited for this technology is presented.  ...  In recent years Field-Coupled devices, like Quantum dot Cellular Automata, are gaining an ever increasing attention from the scientific community.  ...  The architectural overview presented in this chapter represents therefore the ideal starting point for such analysis.  ... 
doi:10.1007/978-3-662-43722-3_10 fatcat:26yf6o5cnjhk3ipbu4jjwo7iwy

An overview of the Sloth2005 curry system

Emilio Jesús Gallego Arias, Julio Mariño
2005 Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05  
We present the current state and immediate future developments of Sloth [7], a Curry [2] to Prolog translator.  ...  Currently it implements almost all the features required the Curry Report [5] -no encapsulated search at the moment -and there is support for some extensions like, for instance, type classes and constraint  ...  Acknowledgments The authors wish to thank the anonymous referees for their useful comments.  ... 
doi:10.1145/1085099.1085113 dblp:conf/wcflp/AriasM05 fatcat:aqoganauufhgxfrp3jhdqwax7i

An Overview of Fuzzy Logic Based Power System Stabilizers

Mohamed M. Osman
2006 2006 38th North American Power Symposium  
Fuzzy logic has emerged as a promising tool for several power system applications.  ...  The purpose of this paper is to present an overview of the FLPSS, based on published literature from 1989 to the present.  ...  This paper has presented an overview of fuzzy logic unit.  ... 
doi:10.1109/naps.2006.359593 fatcat:qef3wzxq2zfuhmjpbcungkekpy

Higher-Order Model Checking: An Overview

Luke Ong
2015 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science  
This paper aims to give an overview of recent developments in higherorder model checking.  ...  Because the trees generated by recursion schemes are computation trees of higher-order functional programs, higherorder model checking provides a foundation for model checkers of such programming languages  ...  Acknowledgements: The author is grateful to Takeshi Tsukada for helpful comments on the paper.  ... 
doi:10.1109/lics.2015.9 dblp:conf/lics/Ong15 fatcat:55bfxqlkuzhbtgmzc32m46ooku

Belief fusion and revision: an overview based on epistemic logic semantics

Churn-Jung Liau
2004 Journal of Applied Non-Classical Logics  
Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented.  ...  In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics.  ...  Acknowledgements I would like to thank three anonymous referees for their valuable remarks. References  ... 
doi:10.3166/jancl.14.247-274 fatcat:uy26xsjcvzf2rolndekdompsd4
« Previous Showing results 1 — 15 out of 80,679 results