A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Translation Methods for Non-Classical Logics: An Overview
1993
Logic Journal of the IGPL
Preserved Fulltext
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
1994
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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
2006
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
1993
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1994
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1998
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1991
Journal of the Institution of Electronics and Telecommunication Engineers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
Integration
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 38th North American Power Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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