Downloads & Free Reading Options - Results

Computational Logic by J. A. Robinson

Read "Computational Logic" by J. A. Robinson through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Wiki - International Center For Computational Logic

International Center for Computational Logic dumped with wikiteam3 tools.

“Wiki - International Center For Computational Logic” Metadata:

  • Title: ➤  Wiki - International Center For Computational Logic
  • Language: German - Deutsch

“Wiki - International Center For Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "web" format, the size of the file-s is: 21648.54 Mbs, the file-s for this book were downloaded 10 times, the file-s went public at Wed Sep 27 2023.

Available formats:
7z - HTML - JSON - Metadata - Unknown - Zstandard -

Related Links:

Online Marketplaces

Find Wiki - International Center For Computational Logic at online marketplaces:


2GIT - International Center For Computational Logic

International Center for Computational Logic dumped with wikiteam3 tools.

“GIT - International Center For Computational Logic” Metadata:

  • Title: ➤  GIT - International Center For Computational Logic

“GIT - International Center For Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 4.07 Mbs, the file-s for this book were downloaded 151 times, the file-s went public at Thu Mar 25 2021.

Available formats:
Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find GIT - International Center For Computational Logic at online marketplaces:


3PX, A Computational Logic

By

International Center for Computational Logic dumped with wikiteam3 tools.

“PX, A Computational Logic” Metadata:

  • Title: PX, A Computational Logic
  • Authors:
  • Language: English

“PX, A Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 786.48 Mbs, the file-s for this book were downloaded 97 times, the file-s went public at Fri Nov 03 2017.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Archive BitTorrent - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Grayscale PDF - Item Tile - JPEG-Compressed PDF - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Remediated EPUB - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find PX, A Computational Logic at online marketplaces:


4Computational-tools-for-human-papillomavirus-hpv-risk-prediction-by-fuzzy-logic

Introduction : Human Papillomavirus (HPV) is one of the most common sexually transmitted infections (STIs) and responsible for approximately 99% of cervical cancers in the world. Thus, the objective of this work was to develop a computational tool for HPV risk prediction by fuzzy logic. Material and Methods : This involves the development of a computational model using fuzzy logic tools to predict women with a greater predisposition to exposure and infection by HPV. The health, lifestyle, and sexual data of adult women were collected using a semistructured questionnaire, oncotic cytology occurred from the analysis of the vaginal smear, and DNA-HPV research was carried out through the chain reaction of the Nested polymerase (PGMY09/11 (first-round PCR) and GP + 5/GP + 6 (second round PCR) using the Platinum ™ Taq DNA Polymerase system (Invitrogen ™, NY, USA). in the literature and later these were added to the results obtained from the analysis of the participants' data to construct the calculation with the determination of the risk. Results : After the statistical analysis, the RISK set was concatenated into 3 sets (green, yellow, and red), the fuzzified data obtained as variables for availability in the risk calculator the following items: Green = [0-30%], low risk; Yellow = [31-50%], medium risk; RED = above 50%, high risk of HPV infection. os: 400 results of the epidemiological and cervical findings of the women participating in the research were used for training the software and 162 for system validation. After evidenced statistical data, the insertion of the results in the database started. Conclusion : With the results obtained Fuzzy inference system can be as well adopted for the screening for HPV as this will in turn helps to reduce the mortality rate in cases with cancer. This expert system is user-friendly and carries out screening based on patients 'complain (clinical and laboratory data) to a medical expert.

“Computational-tools-for-human-papillomavirus-hpv-risk-prediction-by-fuzzy-logic” Metadata:

  • Title: ➤  Computational-tools-for-human-papillomavirus-hpv-risk-prediction-by-fuzzy-logic
  • Language: English

“Computational-tools-for-human-papillomavirus-hpv-risk-prediction-by-fuzzy-logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 5.22 Mbs, the file-s for this book were downloaded 30 times, the file-s went public at Tue May 14 2024.

Available formats:
Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational-tools-for-human-papillomavirus-hpv-risk-prediction-by-fuzzy-logic at online marketplaces:


5Computational Methods For Stochastic Control With Metric Interval Temporal Logic Specifications

By

This paper studies an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic specifications, a temporal logic with real-time constraints. We propose a probabilistic method for synthesizing an optimal control policy that maximizes the probability of satisfying a specification based on a discrete approximation of the underlying stochastic system. First, we show that the original problem can be formulated as a stochastic optimal control problem in a state space augmented with finite memory and states of some clock variables. Second, we present a numerical method for computing an optimal policy with which the given specification is satisfied with the maximal probability in point-based semantics in the discrete approximation of the underlying system. We show that the policy obtained in the discrete approximation converges to the optimal one for satisfying the specification in the continuous or dense-time semantics as the discretization becomes finer in both state and time. Finally, we illustrate our approach with a robotic motion planning example.

“Computational Methods For Stochastic Control With Metric Interval Temporal Logic Specifications” Metadata:

  • Title: ➤  Computational Methods For Stochastic Control With Metric Interval Temporal Logic Specifications
  • Authors:
  • Language: English

“Computational Methods For Stochastic Control With Metric Interval Temporal Logic Specifications” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 7.84 Mbs, the file-s for this book were downloaded 39 times, the file-s went public at Wed Jun 27 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - JPEG Thumb - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Computational Methods For Stochastic Control With Metric Interval Temporal Logic Specifications at online marketplaces:


6Making Computational Sense Of Montague's Intensional Logic. By Jerry R. Hobbs And Stanley J. Rosenschein

By

40 p. ; 28 cm

“Making Computational Sense Of Montague's Intensional Logic. By Jerry R. Hobbs And Stanley J. Rosenschein” Metadata:

  • Title: ➤  Making Computational Sense Of Montague's Intensional Logic. By Jerry R. Hobbs And Stanley J. Rosenschein
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 55.51 Mbs, the file-s for this book were downloaded 346 times, the file-s went public at Wed Oct 22 2008.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - Cloth Cover Detection Log - DjVu - DjVuTXT - Djvu XML - Dublin Core - Grayscale PDF - Item Tile - MARC - MARC Binary - MARC Source - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scan Factors - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Making Computational Sense Of Montague's Intensional Logic. By Jerry R. Hobbs And Stanley J. Rosenschein at online marketplaces:


7NASA Technical Reports Server (NTRS) 19910008258: Hardware Verification At Computational Logic, Inc.

By

The following topics are covered in viewgraph form: (1) hardware verification; (2) Boyer-Moore logic; (3) core RISC; (4) the FM8502 fabrication, implementation specification, and pinout; (5) hardware description language; (6) arithmetic logic generator; (7) near term expected results; (8) present trends; (9) future directions; (10) collaborations and technology transfer; and (11) technology enablers.

“NASA Technical Reports Server (NTRS) 19910008258: Hardware Verification At Computational Logic, Inc.” Metadata:

  • Title: ➤  NASA Technical Reports Server (NTRS) 19910008258: Hardware Verification At Computational Logic, Inc.
  • Author: ➤  
  • Language: English

“NASA Technical Reports Server (NTRS) 19910008258: Hardware Verification At Computational Logic, Inc.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 10.14 Mbs, the file-s for this book were downloaded 68 times, the file-s went public at Sun Sep 25 2016.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find NASA Technical Reports Server (NTRS) 19910008258: Hardware Verification At Computational Logic, Inc. at online marketplaces:


8PX, A Computational Logic

By

The following topics are covered in viewgraph form: (1) hardware verification; (2) Boyer-Moore logic; (3) core RISC; (4) the FM8502 fabrication, implementation specification, and pinout; (5) hardware description language; (6) arithmetic logic generator; (7) near term expected results; (8) present trends; (9) future directions; (10) collaborations and technology transfer; and (11) technology enablers.

“PX, A Computational Logic” Metadata:

  • Title: PX, A Computational Logic
  • Authors:
  • Language: English

“PX, A Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 19.71 Mbs, the file-s for this book were downloaded 436 times, the file-s went public at Wed Apr 02 2008.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Dublin Core - Image Container PDF - Item Tile - MARC - Metadata - Scandata - Single Page Processed TIFF ZIP -

Related Links:

Online Marketplaces

Find PX, A Computational Logic at online marketplaces:


9Computational Aspects Of An Order-sorted Logic With Term Declarations

By

The following topics are covered in viewgraph form: (1) hardware verification; (2) Boyer-Moore logic; (3) core RISC; (4) the FM8502 fabrication, implementation specification, and pinout; (5) hardware description language; (6) arithmetic logic generator; (7) near term expected results; (8) present trends; (9) future directions; (10) collaborations and technology transfer; and (11) technology enablers.

“Computational Aspects Of An Order-sorted Logic With Term Declarations” Metadata:

  • Title: ➤  Computational Aspects Of An Order-sorted Logic With Term Declarations
  • Author: ➤  
  • Language: English

“Computational Aspects Of An Order-sorted Logic With Term Declarations” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 499.69 Mbs, the file-s for this book were downloaded 18 times, the file-s went public at Wed Apr 13 2022.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - ZIP - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Aspects Of An Order-sorted Logic With Term Declarations at online marketplaces:


10Computational Interpretation Of Classical Logic With Explicit Structural Rules

By

We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and duplication of terms, respectively. We present a type system for which we prove the type-preservation under reduction. A mutual relation with classical calculus featuring implicit structural rules has been studied in detail. From this analysis we derive strong normalisation property.

“Computational Interpretation Of Classical Logic With Explicit Structural Rules” Metadata:

  • Title: ➤  Computational Interpretation Of Classical Logic With Explicit Structural Rules
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 17.85 Mbs, the file-s for this book were downloaded 129 times, the file-s went public at Sat Jul 20 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Computational Interpretation Of Classical Logic With Explicit Structural Rules at online marketplaces:


11Advances In Computational And Stochastic Optimization, Logic Programming, And Heuristic Search : Interfaces In Computer Science And Operations Research

We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and duplication of terms, respectively. We present a type system for which we prove the type-preservation under reduction. A mutual relation with classical calculus featuring implicit structural rules has been studied in detail. From this analysis we derive strong normalisation property.

“Advances In Computational And Stochastic Optimization, Logic Programming, And Heuristic Search : Interfaces In Computer Science And Operations Research” Metadata:

  • Title: ➤  Advances In Computational And Stochastic Optimization, Logic Programming, And Heuristic Search : Interfaces In Computer Science And Operations Research
  • Language: English

“Advances In Computational And Stochastic Optimization, Logic Programming, And Heuristic Search : Interfaces In Computer Science And Operations Research” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 762.38 Mbs, the file-s for this book were downloaded 20 times, the file-s went public at Sun May 22 2022.

Available formats:
ACS Encrypted PDF - AVIF Thumbnails ZIP - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Advances In Computational And Stochastic Optimization, Logic Programming, And Heuristic Search : Interfaces In Computer Science And Operations Research at online marketplaces:


12DTIC AD0744990: Computational Logic. A Progress Report

By

The report describes the research work that is in progress in the Computational Logic Project at Syracuse University. A general introduction to the whole subject area is presented in the opening section, in which an attempt is made to view the field in a broad perspective and to relate it to the concerns of computer science and of artificial intelligence. The sections which follow the introduction are brief accounts of the particular problems which are currently under investigation. These problems are all related, in various ways, to the effort to design computational methods of inference-making for certain formal languages. (Author)

“DTIC AD0744990: Computational Logic. A Progress Report” Metadata:

  • Title: ➤  DTIC AD0744990: Computational Logic. A Progress Report
  • Author: ➤  
  • Language: English

“DTIC AD0744990: Computational Logic. A Progress Report” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 11.11 Mbs, the file-s for this book were downloaded 61 times, the file-s went public at Sat Mar 23 2019.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC AD0744990: Computational Logic. A Progress Report at online marketplaces:


13DTIC ADA368797: A Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, And Noisy Data.

By

A recursive multisensor association algorithm based on fuzzy logic has been developed. It simultaneously determines fuzzy grades of membership and fuzzy cluster centers. It is capable of associating data from various sensor types. In its simplest form, it makes no assumption about noise statistics as many association algorithms do. The algorithm is capable of performing without operator intervention. It associates data from the same target for multiple sensor types. The algorithm also provides an estimate of the number of targets present, reduced noise estimates of the quantities being measured, and a measure of confidence to assign to the data association. A comparison of the algorithm to a more conventional Bayesian association algorithm is provided. Data from both the electronic support measures (ESM) and radar systems are noisy, and ESM data are also intermittent. The data has probability of detection less than unity. The effect of a large number of targets being present in the data on parameter estimation, determination of the number of targets, and multisensor data association is examined. Finally, issues related to computational complexity are discussed.

“DTIC ADA368797: A Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, And Noisy Data.” Metadata:

  • Title: ➤  DTIC ADA368797: A Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, And Noisy Data.
  • Author: ➤  
  • Language: English

“DTIC ADA368797: A Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, And Noisy Data.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 37.42 Mbs, the file-s for this book were downloaded 74 times, the file-s went public at Wed Apr 25 2018.

Available formats:
Abbyy GZ - Additional Text PDF - Archive BitTorrent - DjVuTXT - Djvu XML - Image Container PDF - JPEG Thumb - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA368797: A Fuzzy Logic Multisensor Association Algorithm: Multiple Emitters, Computational Complexity, And Noisy Data. at online marketplaces:


14Computational Logic And Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings

By

A recursive multisensor association algorithm based on fuzzy logic has been developed. It simultaneously determines fuzzy grades of membership and fuzzy cluster centers. It is capable of associating data from various sensor types. In its simplest form, it makes no assumption about noise statistics as many association algorithms do. The algorithm is capable of performing without operator intervention. It associates data from the same target for multiple sensor types. The algorithm also provides an estimate of the number of targets present, reduced noise estimates of the quantities being measured, and a measure of confidence to assign to the data association. A comparison of the algorithm to a more conventional Bayesian association algorithm is provided. Data from both the electronic support measures (ESM) and radar systems are noisy, and ESM data are also intermittent. The data has probability of detection less than unity. The effect of a large number of targets being present in the data on parameter estimation, determination of the number of targets, and multisensor data association is examined. Finally, issues related to computational complexity are discussed.

“Computational Logic And Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings” Metadata:

  • Title: ➤  Computational Logic And Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings
  • Author: ➤  
  • Language: English

“Computational Logic And Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1137.12 Mbs, the file-s for this book were downloaded 33 times, the file-s went public at Thu Oct 25 2018.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - Contents - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Logic And Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings at online marketplaces:


15DTIC ADA283103: A Computational Logic For Applicative Common Lisp

By

This final report is provided to satisfy a contract deliverable. We summarize here our results in automated reasoning under this contract. The development of the Boyer-Moor 'Nqthm' theorem prover was supported in part for approximately 20 years by the Office of Naval Research. The long range objective of this research has been to enable programmers to produce software that is mathematically proven to meet its specifications by using mechanical theorem- proving programs that check proofs.

“DTIC ADA283103: A Computational Logic For Applicative Common Lisp” Metadata:

  • Title: ➤  DTIC ADA283103: A Computational Logic For Applicative Common Lisp
  • Author: ➤  
  • Language: English

“DTIC ADA283103: A Computational Logic For Applicative Common Lisp” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 19.21 Mbs, the file-s for this book were downloaded 86 times, the file-s went public at Mon Mar 19 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA283103: A Computational Logic For Applicative Common Lisp at online marketplaces:


16A Computational Logic

By

This final report is provided to satisfy a contract deliverable. We summarize here our results in automated reasoning under this contract. The development of the Boyer-Moor 'Nqthm' theorem prover was supported in part for approximately 20 years by the Office of Naval Research. The long range objective of this research has been to enable programmers to produce software that is mathematically proven to meet its specifications by using mechanical theorem- proving programs that check proofs.

“A Computational Logic” Metadata:

  • Title: A Computational Logic
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 689.96 Mbs, the file-s for this book were downloaded 164 times, the file-s went public at Mon Oct 05 2020.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Book Genome JSON - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find A Computational Logic at online marketplaces:


17DTIC ADA144335: A Computational Logic With Quantifiers.

By

A logical theory consists of a language, some axioms schemas, and some rules of inference. However, in developing the proofs of interesting theorems it is often necessary to introduce axioms defining new concepts and operations. Logically speaking, the main results and all of the lemmas along the way are proved in the final theory. To accomodate the practical view of the situation we provide several 'extension principles' by which the user of the theory can add new axioms of a particularly constructive sort. Among these principles is the 'shell principle,' which permits the axiomatization of a 'new' type of inductively constructed object, and the 'definitional principle,' which permits the introduction of an equation defining a recursive function. These extension principles can be considered as rules of inference since they permit one to deduce that certain formulas are theorems. We present the formal syntax of our logic. This syntax is extremely simple and is not the syntax implemented in the theorem-prover. We then develop a large number of syntactic conventions used to describe the axioms and rules of inference. Once we have completed the formal development of the logic we turn, in Section IMPLEMENTEDSYNTAX, to a description of the implemented syntax.

“DTIC ADA144335: A Computational Logic With Quantifiers.” Metadata:

  • Title: ➤  DTIC ADA144335: A Computational Logic With Quantifiers.
  • Author: ➤  
  • Language: English

“DTIC ADA144335: A Computational Logic With Quantifiers.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 26.04 Mbs, the file-s for this book were downloaded 64 times, the file-s went public at Sun Jan 21 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA144335: A Computational Logic With Quantifiers. at online marketplaces:


18A Computational Paradigm For Dynamic Logic-gates In Neuronal Activity.

By

This article is from Frontiers in Computational Neuroscience , volume 8 . Abstract In 1943 McCulloch and Pitts suggested that the brain is composed of reliable logic-gates similar to the logic at the core of today's computers. This framework had a limited impact on neuroscience, since neurons exhibit far richer dynamics. Here we propose a new experimentally corroborated paradigm in which the truth tables of the brain's logic-gates are time dependent, i.e., dynamic logic-gates (DLGs). The truth tables of the DLGs depend on the history of their activity and the stimulation frequencies of their input neurons. Our experimental results are based on a procedure where conditioned stimulations were enforced on circuits of neurons embedded within a large-scale network of cortical cells in-vitro. We demonstrate that the underlying biological mechanism is the unavoidable increase of neuronal response latencies to ongoing stimulations, which imposes a non-uniform gradual stretching of network delays. The limited experimental results are confirmed and extended by simulations and theoretical arguments based on identical neurons with a fixed increase of the neuronal response latency per evoked spike. We anticipate our results to lead to better understanding of the suitability of this computational paradigm to account for the brain's functionalities and will require the development of new systematic mathematical methods beyond the methods developed for traditional Boolean algebra.

“A Computational Paradigm For Dynamic Logic-gates In Neuronal Activity.” Metadata:

  • Title: ➤  A Computational Paradigm For Dynamic Logic-gates In Neuronal Activity.
  • Authors:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 16.09 Mbs, the file-s for this book were downloaded 95 times, the file-s went public at Wed Oct 22 2014.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - JSON - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find A Computational Paradigm For Dynamic Logic-gates In Neuronal Activity. at online marketplaces:


19DTIC ADA302983: A Computational Meta Logic For The Horn Fragment Of LF.

By

The logical framework LF is a type theory defined by Harper, Honsell and Plotkin. It is well-suited to serve as'a meta language to represent deductive systems. LF and its logic programming implementation Elf are also well-suited to represent meta-theoretic proofs and their computational content, but search for such proofs lies outside the framework. This thesis proposes a computational meta logic (MLF) for the Horn fragment of LF. The Horn fragment is a significant restriction of LF but it is powerful enough to represent non-trivial problems. This thesis demonstrates how MLF can be used for the problem of compiler verification. It also discusses some theoretical properties of MLF.

“DTIC ADA302983: A Computational Meta Logic For The Horn Fragment Of LF.” Metadata:

  • Title: ➤  DTIC ADA302983: A Computational Meta Logic For The Horn Fragment Of LF.
  • Author: ➤  
  • Language: English

“DTIC ADA302983: A Computational Meta Logic For The Horn Fragment Of LF.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 159.53 Mbs, the file-s for this book were downloaded 68 times, the file-s went public at Sun Mar 25 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - JPEG Thumb - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA302983: A Computational Meta Logic For The Horn Fragment Of LF. at online marketplaces:


20Quantum Computational Logic With Mixed States

By

Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness theorem.

“Quantum Computational Logic With Mixed States” Metadata:

  • Title: ➤  Quantum Computational Logic With Mixed States
  • Authors:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 16.82 Mbs, the file-s for this book were downloaded 53 times, the file-s went public at Fri Sep 20 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Quantum Computational Logic With Mixed States at online marketplaces:


21Computational Logic In Multi-agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : Revised Selected And Invited Papers

By

Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness theorem.

“Computational Logic In Multi-agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : Revised Selected And Invited Papers” Metadata:

  • Title: ➤  Computational Logic In Multi-agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : Revised Selected And Invited Papers
  • Author: ➤  
  • Language: English

“Computational Logic In Multi-agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : Revised Selected And Invited Papers” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 589.03 Mbs, the file-s for this book were downloaded 18 times, the file-s went public at Thu Dec 26 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Logic In Multi-agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : Revised Selected And Invited Papers at online marketplaces:


22DTIC ADA034756: Making Computational Sense Of Montague's Intesional Logic.

By

A simplified version of Montague's intensional logic is presented and explicated in terms of computational analogues. Several examples are presented in which Montague's formalism is coupled with a procedural interpretation. A natural translation is given from intensional logic into LISP. The relevance of this research to composition of meaning, knowledge representation, context and expectation is discussed. (Author)

“DTIC ADA034756: Making Computational Sense Of Montague's Intesional Logic.” Metadata:

  • Title: ➤  DTIC ADA034756: Making Computational Sense Of Montague's Intesional Logic.
  • Author: ➤  
  • Language: English

“DTIC ADA034756: Making Computational Sense Of Montague's Intesional Logic.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 36.66 Mbs, the file-s for this book were downloaded 196 times, the file-s went public at Fri Nov 27 2015.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA034756: Making Computational Sense Of Montague's Intesional Logic. at online marketplaces:


23Computational Logic In Multi-agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : Revised Selected And Invited Papers

By

A simplified version of Montague's intensional logic is presented and explicated in terms of computational analogues. Several examples are presented in which Montague's formalism is coupled with a procedural interpretation. A natural translation is given from intensional logic into LISP. The relevance of this research to composition of meaning, knowledge representation, context and expectation is discussed. (Author)

“Computational Logic In Multi-agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : Revised Selected And Invited Papers” Metadata:

  • Title: ➤  Computational Logic In Multi-agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : Revised Selected And Invited Papers
  • Author: ➤  
  • Language: English

“Computational Logic In Multi-agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : Revised Selected And Invited Papers” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 871.03 Mbs, the file-s for this book were downloaded 20 times, the file-s went public at Fri Jul 21 2023.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Logic In Multi-agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : Revised Selected And Invited Papers at online marketplaces:


24Cosmic Logic: A Computational Model

By

We initiate a formal study of logical inferences in context of the measure problem in cosmology or what we call cosmic logic. We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized cosmological systems. The construction is based on a particular model of computation, developed by Alan Turing, with cosmic observers (CO), cosmic measures (CM) and cosmic symmetries (CS) described by Turing machines. CO machines always start with a blank tape and CM machines take CO's Turing number (also known as description number or G{\" o}del number) as input and output the corresponding probability. Similarly, CS machines take CO's Turing number as input, but output either one if the CO machines are in the same equivalence class or zero otherwise. We argue that CS machines are more fundamental than CM machines and, thus, should be used as building blocks in constructing CM machines. We prove the non-computability of a CS machine which discriminates between two classes of CO machines: mortal that halts in finite time and immortal that runs forever. In context of eternal inflation this result implies that it is impossible to construct CM machines to compute probabilities on the set of all CO machines using cut-off prescriptions. The cut-off measures can still be used if the set is reduced to include only machines which halt after a finite and predetermined number of steps.

“Cosmic Logic: A Computational Model” Metadata:

  • Title: ➤  Cosmic Logic: A Computational Model
  • Author:
  • Language: English

“Cosmic Logic: A Computational Model” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 8.44 Mbs, the file-s for this book were downloaded 67 times, the file-s went public at Thu Jun 28 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - JPEG Thumb - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Cosmic Logic: A Computational Model at online marketplaces:


25Wiki - International Center For Computational Logic

International Center for Computational Logic dumped with WikiTeam tools.

“Wiki - International Center For Computational Logic” Metadata:

  • Title: ➤  Wiki - International Center For Computational Logic
  • Language: German - Deutsch

“Wiki - International Center For Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "web" format, the size of the file-s is: 529.26 Mbs, the file-s for this book were downloaded 21 times, the file-s went public at Fri Nov 28 2014.

Available formats:
7z - Archive BitTorrent - Metadata -

Related Links:

Online Marketplaces

Find Wiki - International Center For Computational Logic at online marketplaces:


26Computational Logic In Multi-agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : Revised Selected And Invited Papers

By

International Center for Computational Logic dumped with WikiTeam tools.

“Computational Logic In Multi-agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : Revised Selected And Invited Papers” Metadata:

  • Title: ➤  Computational Logic In Multi-agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : Revised Selected And Invited Papers
  • Author: ➤  
  • Language: English

“Computational Logic In Multi-agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : Revised Selected And Invited Papers” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1167.46 Mbs, the file-s for this book were downloaded 12 times, the file-s went public at Fri Jul 21 2023.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Logic In Multi-agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : Revised Selected And Invited Papers at online marketplaces:


27DTIC ADA304909: Lecture Notes In Computer Science 960. Logic And Computational Complexity. International Workshop Held In Indianapolis, Indiana On October 1994. Selected Papers,

By

International Center for Computational Logic dumped with WikiTeam tools.

“DTIC ADA304909: Lecture Notes In Computer Science 960. Logic And Computational Complexity. International Workshop Held In Indianapolis, Indiana On October 1994. Selected Papers,” Metadata:

  • Title: ➤  DTIC ADA304909: Lecture Notes In Computer Science 960. Logic And Computational Complexity. International Workshop Held In Indianapolis, Indiana On October 1994. Selected Papers,
  • Author: ➤  
  • Language: English

“DTIC ADA304909: Lecture Notes In Computer Science 960. Logic And Computational Complexity. International Workshop Held In Indianapolis, Indiana On October 1994. Selected Papers,” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 592.99 Mbs, the file-s for this book were downloaded 124 times, the file-s went public at Thu Mar 29 2018.

Available formats:
Abbyy GZ - Additional Text PDF - Archive BitTorrent - DjVuTXT - Djvu XML - Image Container PDF - JPEG Thumb - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA304909: Lecture Notes In Computer Science 960. Logic And Computational Complexity. International Workshop Held In Indianapolis, Indiana On October 1994. Selected Papers, at online marketplaces:


28Computational Intelligence And Its Applications : Evolutionary Computation, Fuzzy Logic, Neural Network And Support Vector Machine Techniques

International Center for Computational Logic dumped with WikiTeam tools.

“Computational Intelligence And Its Applications : Evolutionary Computation, Fuzzy Logic, Neural Network And Support Vector Machine Techniques” Metadata:

  • Title: ➤  Computational Intelligence And Its Applications : Evolutionary Computation, Fuzzy Logic, Neural Network And Support Vector Machine Techniques
  • Language: English

“Computational Intelligence And Its Applications : Evolutionary Computation, Fuzzy Logic, Neural Network And Support Vector Machine Techniques” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 679.27 Mbs, the file-s for this book were downloaded 30 times, the file-s went public at Sat Jun 03 2023.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Extra Metadata JSON - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - Metadata Log - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Intelligence And Its Applications : Evolutionary Computation, Fuzzy Logic, Neural Network And Support Vector Machine Techniques at online marketplaces:


29PX, A Computational Logic

By

International Center for Computational Logic dumped with WikiTeam tools.

“PX, A Computational Logic” Metadata:

  • Title: PX, A Computational Logic
  • Author:
  • Language: English

“PX, A Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 202.50 Mbs, the file-s for this book were downloaded 909 times, the file-s went public at Fri Mar 21 2008.

Available formats:
Abbyy GZ - Additional Text PDF - Animated GIF - Archive BitTorrent - DjVuTXT - Djvu XML - Dublin Core - Image Container PDF - Item Tile - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed TIFF ZIP - chOCR - hOCR -

Related Links:

Online Marketplaces

Find PX, A Computational Logic at online marketplaces:


30Logic Of Knowledge Base : A Nyāya Reader For Designing Computational Lexicon

By

International Center for Computational Logic dumped with WikiTeam tools.

“Logic Of Knowledge Base : A Nyāya Reader For Designing Computational Lexicon” Metadata:

  • Title: ➤  Logic Of Knowledge Base : A Nyāya Reader For Designing Computational Lexicon
  • Author:
  • Language: eng,san

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 255.48 Mbs, the file-s for this book were downloaded 30 times, the file-s went public at Sat Sep 23 2023.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Logic Of Knowledge Base : A Nyāya Reader For Designing Computational Lexicon at online marketplaces:


31Information Integration And Computational Logic

By

Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of Databases and Artificial Intelligence requiring novel techniques that bring together different methods from these fields. Information from disparate heterogeneous sources often with no a-priori common schema needs to be synthesized in a flexible, transparent and intelligent way in order to respond to the demands of a query thus enabling a more informed decision by the user or application program. The field although relatively young has already found many practical applications particularly for integrating information over the World Wide Web. This paper gives a brief introduction of the field highlighting some of the main current and future research issues and application areas. It attempts to evaluate the current and potential role of Computational Logic in this and suggests some of the problems where logic-based techniques could be used.

“Information Integration And Computational Logic” Metadata:

  • Title: ➤  Information Integration And Computational Logic
  • Authors:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 26.82 Mbs, the file-s for this book were downloaded 152 times, the file-s went public at Sun Sep 22 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Information Integration And Computational Logic at online marketplaces:


32Ultrametric And Generalized Ultrametric In Computational Logic And In Data Analysis

By

Following a review of metric, ultrametric and generalized ultrametric, we review their application in data analysis. We show how they allow us to explore both geometry and topology of information, starting with measured data. Some themes are then developed based on the use of metric, ultrametric and generalized ultrametric in logic. In particular we study approximation chains in an ultrametric or generalized ultrametric context. Our aim in this work is to extend the scope of data analysis by facilitating reasoning based on the data analysis; and to show how quantitative and qualitative data analysis can be incorporated into logic programming.

“Ultrametric And Generalized Ultrametric In Computational Logic And In Data Analysis” Metadata:

  • Title: ➤  Ultrametric And Generalized Ultrametric In Computational Logic And In Data Analysis
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 7.77 Mbs, the file-s for this book were downloaded 96 times, the file-s went public at Sat Sep 21 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Ultrametric And Generalized Ultrametric In Computational Logic And In Data Analysis at online marketplaces:


33Advanced Decision Analytics With Fuzzy Logic Integrating AI And Computational Thinking For Personnel Selection

Advanced decision analytics, fuzzy logic, artificial intelligence, and computational thinking may be used to improve personnel selection in today's dynamic industry. This research introduces a decision-support framework that uses AI approaches based on fuzzy logic to handle complicated decision-making and improve personnel selection. Hiring the right person for the job is very significant for any business. However, numerous companies have Human Resources (HR) teams that deal with this issue. This study created a staff selection method using the Fuzzy Simple Additive Weighted (FSAW) Method, which considers the applicants' personalities and the fact that people are very subjective. The study aimed to find a method to hire people using fuzzy logic. A three-level plan was made to keep track of the information. Applicants would be ranked by how well they would fit the job. Personality was the most important thing to consider. Someone best does the job with the right skills and natural traits or abilities. Finally, the study showed that the best people can be hired, leading to work success. The results show that this hybrid strategy increases the consistency of decision-making while improving the accuracy, sensitivity and fairness of personnel selection across several case scenarios.

“Advanced Decision Analytics With Fuzzy Logic Integrating AI And Computational Thinking For Personnel Selection” Metadata:

  • Title: ➤  Advanced Decision Analytics With Fuzzy Logic Integrating AI And Computational Thinking For Personnel Selection

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 15.84 Mbs, the file-s for this book were downloaded 11 times, the file-s went public at Sun Jan 12 2025.

Available formats:
Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Advanced Decision Analytics With Fuzzy Logic Integrating AI And Computational Thinking For Personnel Selection at online marketplaces:


34Logic And Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers

Advanced decision analytics, fuzzy logic, artificial intelligence, and computational thinking may be used to improve personnel selection in today's dynamic industry. This research introduces a decision-support framework that uses AI approaches based on fuzzy logic to handle complicated decision-making and improve personnel selection. Hiring the right person for the job is very significant for any business. However, numerous companies have Human Resources (HR) teams that deal with this issue. This study created a staff selection method using the Fuzzy Simple Additive Weighted (FSAW) Method, which considers the applicants' personalities and the fact that people are very subjective. The study aimed to find a method to hire people using fuzzy logic. A three-level plan was made to keep track of the information. Applicants would be ranked by how well they would fit the job. Personality was the most important thing to consider. Someone best does the job with the right skills and natural traits or abilities. Finally, the study showed that the best people can be hired, leading to work success. The results show that this hybrid strategy increases the consistency of decision-making while improving the accuracy, sensitivity and fairness of personnel selection across several case scenarios.

“Logic And Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers” Metadata:

  • Title: ➤  Logic And Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers
  • Language: English

“Logic And Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1418.40 Mbs, the file-s for this book were downloaded 60 times, the file-s went public at Thu Sep 19 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Logic And Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers at online marketplaces:


35Context Semantics, Linear Logic And Computational Complexity

By

We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an upper bound to normalization time (modulo a polynomial overhead, independently on the reduction strategy) and a lower bound to the number of steps to normal form (for certain reduction strategies). Weights are then exploited in proving strong soundness theorems for various subsystems of linear logic, namely elementary linear logic, soft linear logic and light linear logic.

“Context Semantics, Linear Logic And Computational Complexity” Metadata:

  • Title: ➤  Context Semantics, Linear Logic And Computational Complexity
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 11.72 Mbs, the file-s for this book were downloaded 100 times, the file-s went public at Mon Sep 23 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Context Semantics, Linear Logic And Computational Complexity at online marketplaces:


36A Logic And An Interactive Prover For The Computational Post Quantum

gates to turing hell dahmer gb

“A Logic And An Interactive Prover For The Computational Post Quantum” Metadata:

  • Title: ➤  A Logic And An Interactive Prover For The Computational Post Quantum
  • Language: English

“A Logic And An Interactive Prover For The Computational Post Quantum” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 32.78 Mbs, the file-s for this book were downloaded 34 times, the file-s went public at Wed Mar 01 2023.

Available formats:
Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find A Logic And An Interactive Prover For The Computational Post Quantum at online marketplaces:


37A Computational Logic

By

gates to turing hell dahmer gb

“A Computational Logic” Metadata:

  • Title: A Computational Logic
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 633.68 Mbs, the file-s for this book were downloaded 154 times, the file-s went public at Mon May 24 2021.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find A Computational Logic at online marketplaces:


38Computational Logic--CL 2000 : First International Conference, London, UK, July 2000 : Proceedings

By

gates to turing hell dahmer gb

“Computational Logic--CL 2000 : First International Conference, London, UK, July 2000 : Proceedings” Metadata:

  • Title: ➤  Computational Logic--CL 2000 : First International Conference, London, UK, July 2000 : Proceedings
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 3072.26 Mbs, the file-s for this book were downloaded 16 times, the file-s went public at Thu Apr 11 2024.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Computational Logic--CL 2000 : First International Conference, London, UK, July 2000 : Proceedings at online marketplaces:


39DTIC ADA200909: Automatic Inference In Quantified Computational Logic

By

A theory has been developed for reasoning about what is logically possible. The immediate motivation for this research is that advanced logic programming languages involved a nondeducibility primitive (THNOT is planner, one use of CUT in PROLOG) Which says to infer something if its negation is not deducible. The immediate significance of these results is that we now have effective axiomatizations for proving the correctness of logic programs involving non-deductibility primitives, and of various kinds of truth maintenance systems. However, the overall significance of this result transcends this particular application to program verification, because it provides the correct axiomatization of this concept, and much of the research on the logical representation of knowledge in artificial intelligence presupposes a solution to this very problem.

“DTIC ADA200909: Automatic Inference In Quantified Computational Logic” Metadata:

  • Title: ➤  DTIC ADA200909: Automatic Inference In Quantified Computational Logic
  • Author: ➤  
  • Language: English

“DTIC ADA200909: Automatic Inference In Quantified Computational Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 3.58 Mbs, the file-s for this book were downloaded 53 times, the file-s went public at Wed Feb 21 2018.

Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find DTIC ADA200909: Automatic Inference In Quantified Computational Logic at online marketplaces:


40Computational Aspects Of Dependence Logic

A theory has been developed for reasoning about what is logically possible. The immediate motivation for this research is that advanced logic programming languages involved a nondeducibility primitive (THNOT is planner, one use of CUT in PROLOG) Which says to infer something if its negation is not deducible. The immediate significance of these results is that we now have effective axiomatizations for proving the correctness of logic programs involving non-deductibility primitives, and of various kinds of truth maintenance systems. However, the overall significance of this result transcends this particular application to program verification, because it provides the correct axiomatization of this concept, and much of the research on the logical representation of knowledge in artificial intelligence presupposes a solution to this very problem.

“Computational Aspects Of Dependence Logic” Metadata:

  • Title: ➤  Computational Aspects Of Dependence Logic

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 42.37 Mbs, the file-s for this book were downloaded 62 times, the file-s went public at Fri Sep 20 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Computational Aspects Of Dependence Logic at online marketplaces:


41Computational Logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : Proceedings

By

A theory has been developed for reasoning about what is logically possible. The immediate motivation for this research is that advanced logic programming languages involved a nondeducibility primitive (THNOT is planner, one use of CUT in PROLOG) Which says to infer something if its negation is not deducible. The immediate significance of these results is that we now have effective axiomatizations for proving the correctness of logic programs involving non-deductibility primitives, and of various kinds of truth maintenance systems. However, the overall significance of this result transcends this particular application to program verification, because it provides the correct axiomatization of this concept, and much of the research on the logical representation of knowledge in artificial intelligence presupposes a solution to this very problem.

“Computational Logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : Proceedings” Metadata:

  • Title: ➤  Computational Logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : Proceedings
  • Authors: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 705.21 Mbs, the file-s for this book were downloaded 700 times, the file-s went public at Wed Dec 30 2015.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Dublin Core - Item Tile - MARC - MARC Binary - Metadata - Metadata Log - OCLC xISBN JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Computational Logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : Proceedings at online marketplaces:


42Program Development In Computational Logic : A Decade Of Research Advances In Logic-based Program Development

By

A theory has been developed for reasoning about what is logically possible. The immediate motivation for this research is that advanced logic programming languages involved a nondeducibility primitive (THNOT is planner, one use of CUT in PROLOG) Which says to infer something if its negation is not deducible. The immediate significance of these results is that we now have effective axiomatizations for proving the correctness of logic programs involving non-deductibility primitives, and of various kinds of truth maintenance systems. However, the overall significance of this result transcends this particular application to program verification, because it provides the correct axiomatization of this concept, and much of the research on the logical representation of knowledge in artificial intelligence presupposes a solution to this very problem.

“Program Development In Computational Logic : A Decade Of Research Advances In Logic-based Program Development” Metadata:

  • Title: ➤  Program Development In Computational Logic : A Decade Of Research Advances In Logic-based Program Development
  • Authors:
  • Language: English

“Program Development In Computational Logic : A Decade Of Research Advances In Logic-based Program Development” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 291.58 Mbs, the file-s for this book were downloaded 398 times, the file-s went public at Tue Dec 29 2015.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Dublin Core - Item Tile - MARC - MARC Binary - Metadata - Metadata Log - OCLC xISBN JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Program Development In Computational Logic : A Decade Of Research Advances In Logic-based Program Development at online marketplaces:


Source: LibriVox

LibriVox Search Results

Available audio books for downloads from LibriVox

1Richard Cory

By

This was the weekly poetry project for 3 June 2006. Many “character” poems cut straight to the inmost psychology of their subjects, but here, the eponymous Richard Cory with all his wealth and charm is viewed entirely from the outside. Indeed as the poem ends, we realise with an unforgettable shock just how little we, the narrator, or perhaps anyone really knew about him. (Summary by LauraFox)

“Richard Cory” Metadata:

  • Title: Richard Cory
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 12
  • Total Time: 00:14:48

Edition Identifiers:

  • libriVox ID: 259

Links and information:

Online Access

Download the Audio Book:

  • File Name: richard_cory_librivox
  • File Format: zip
  • Total Time: 00:14:48
  • Download Link: Download link

Online Marketplaces

Find Richard Cory at online marketplaces:


2House on the Hill

By

LibriVox volunteers bring you 16 different recordings of <em>The House on the Hill</em> by Edwin Arlington Robinson. This was the weekly poetry project for the week of September 30th, 2007.

“House on the Hill” Metadata:

  • Title: House on the Hill
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 16
  • Total Time: 0:18:56

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: house_hill_librivox
  • File Format: zip
  • Total Time: 0:18:56
  • Download Link: Download link

Online Marketplaces

Find House on the Hill at online marketplaces:


3Longhead: The Story of the First Fire

By

Book's cover

A fictionalized version of the self-discovery of primitive man, including: fire, cooking, defense and protection, architecture, community, communication, religion, government, and social interaction - Summary by Nick Bulka

“Longhead: The Story of the First Fire” Metadata:

  • Title: ➤  Longhead: The Story of the First Fire
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 5
  • Total Time: 01:44:12

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 5 sections

Online Access

Download the Audio Book:

  • File Name: longhead_first_fire_nb_1503_librivox
  • File Format: zip
  • Total Time: 01:44:12
  • Download Link: Download link

Online Marketplaces

Find Longhead: The Story of the First Fire at online marketplaces:


4Man Against the Sky: A Book of Poems

By

Book's cover

This is a volume of later Poetry by the famous American poet Edwin Arlington Robinson. - Summary by Carolin

“Man Against the Sky: A Book of Poems” Metadata:

  • Title: ➤  Man Against the Sky: A Book of Poems
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 26
  • Total Time: 02:00:41

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 26 sections

Online Access

Download the Audio Book:

  • File Name: the_man_against_the_sky_1512_librivox
  • File Format: zip
  • Total Time: 02:00:41
  • Download Link: Download link

Online Marketplaces

Find Man Against the Sky: A Book of Poems at online marketplaces:


5Three Taverns: A Book of Poems

By

Book's cover

This is a volume of poems by Edwin Arlington Robinson. This volume contains, among other poems, the famous poems The Valley of the Shadow and Lazarus. - Summary by Carolin

“Three Taverns: A Book of Poems” Metadata:

  • Title: Three Taverns: A Book of Poems
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 30
  • Total Time: 03:00:12

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 30 sections

Online Access

Download the Audio Book:

  • File Name: the_three_taverns_1602_librivox
  • File Format: zip
  • Total Time: 03:00:12
  • Download Link: Download link

Online Marketplaces

Find Three Taverns: A Book of Poems at online marketplaces:


6Children of the Night

By

Book's cover

This is a collection of poems by Edwin Arlington Robinson, titled the Children of the Night, and including, besides the famous title poem, several ballads, and poems dedicated to other authors and poets. - Summary by Carolin

“Children of the Night” Metadata:

  • Title: Children of the Night
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 57
  • Total Time: 01:42:24

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 57 sections

Online Access

Download the Audio Book:

  • File Name: children_of_the_night_1604_librivox
  • File Format: zip
  • Total Time: 01:42:24
  • Download Link: Download link

Online Marketplaces

Find Children of the Night at online marketplaces:


7Captain Craig: A Book of Poems

By

This is a volume of narrative poems by Edwin Arlington Robinson. - Summary by Carolin

“Captain Craig: A Book of Poems” Metadata:

  • Title: Captain Craig: A Book of Poems
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 21
  • Total Time: 03:16:31

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: captain_craig_1607_librivox
  • File Format: zip
  • Total Time: 03:16:31
  • Download Link: Download link

Online Marketplaces

Find Captain Craig: A Book of Poems at online marketplaces:


8Town Down the River: A Book of Poems

By

This is a volume of poetry by Edwin Arlington Robinson, dedicated to Theodore Roosevelt. This volume also contains his lesser known shorter poems as well as the well-known narrative poem <i>Miniver Cheevy</i>. - Summary by Carolin

“Town Down the River: A Book of Poems” Metadata:

  • Title: ➤  Town Down the River: A Book of Poems
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 33
  • Total Time: 01:09:56

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: town_down_the_river_1607_librivox
  • File Format: zip
  • Total Time: 01:09:56
  • Download Link: Download link

Online Marketplaces

Find Town Down the River: A Book of Poems at online marketplaces:


9Margaret of Angoulême, Queen of Navarre

By

Margaret of Angoulême, Queen of Navarre (Marguerite de Navarre), (1492-1549), was the sister of Francis I, King of France. She was highly-educated and was courted by the future Henry VIII of England. However, at the age of seventeen, she was married by royal decree to the untutored dolt, Charles IV of Alençon. After his death she wed Henry II of Navarre by whom she had a daughter (the mother of the future Henry IV of France) and a son, who died in infancy. The author takes us with Margaret on her perilous journey over the Pyrenees to Spain to attempt to free her brother, Francis, held captive by the Holy Roman Emperor. Margaret's support for the first stirrings of the Reformation in France alarmed the Catholic conservatives of the Sorbonne. Her cycle of short stories, the "Heptameron," is still read and enjoyed today. (Pamela Nagami)

“Margaret of Angoulême, Queen of Navarre” Metadata:

  • Title: ➤  Margaret of Angoulême, Queen of Navarre
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 25
  • Total Time: 07:37:14

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: margaretofangouleme_1705_librivox
  • File Format: zip
  • Total Time: 07:37:14
  • Download Link: Download link

Online Marketplaces

Find Margaret of Angoulême, Queen of Navarre at online marketplaces:


10Emily Brontë

By

Emily Brontë (1818-1848) is best known for her only novel, "Wuthering Heights." She was born in Yorkshire, northern England, where her father was an Anglican curate. When Brontë was three years old her mother died of cancer. At the age of six she joined her three sisters briefly at the Clergy Daughters' School, where privations and abuse contributed to the deaths of two of them. Her elder sister, Charlotte, immortalized this terrible place in "Jane Eyre." In 1846 Emily Brontë, under the pseudonym Ellis Bell, published a selection of her poetry. In 1847 appeared her dark, gothic novel, "Wuthering Heights," with its Byronic anti-hero, Heathcliff. Brontë was shy, even reclusive, and never married. In the fall of 1848 she fell ill with inflammation of the lungs, probably due to rapidly-progressive tuberculosis, and died in December of that year, aged twenty-nine. This is a short biography of Brontë written by the British poet, novelist, and critic, Agnes Mary Frances Robinson (1857-1944). (Pamela Nagami)

“Emily Brontë” Metadata:

  • Title: Emily Brontë
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 20
  • Total Time: 07:40:19

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: emilybronte_1705_librivox
  • File Format: zip
  • Total Time: 07:40:19
  • Download Link: Download link

Online Marketplaces

Find Emily Brontë at online marketplaces:


11Life Story of a Black Bear

By

Book's cover

This is the life story of a Black Bear in the western US, as told by the bear himself. He tells of the days when humans began to invade the territory where they and their ancestors had been kings for many eons. - Summary by philip chenevert

“Life Story of a Black Bear” Metadata:

  • Title: Life Story of a Black Bear
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 15
  • Total Time: 04:54:43

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 15 sections

Online Access

Download the Audio Book:

  • File Name: thelifestoryofablackbear_1804_librivox
  • File Format: zip
  • Total Time: 04:54:43
  • Download Link: Download link

Online Marketplaces

Find Life Story of a Black Bear at online marketplaces:


12In New England Fields and Woods

By

Book's cover

Born in rural Vermont in 1833, and nearly unknown to today's readers, Rowland Evans Robinson was once one of Vermont's best-known writers. A talented artist, he drew cartoons in New York City for the “funny papers" before returning to Vermont, where he authored nearly a dozen widely-read books on nature and rural farm life. Poor vision progressed to blindness between the ages of 44 and 60, yet he continued to write with the aid of his wife, Anna. This collection of short essays follows New England's changing seasons and moods in all its natural beauty. - Summary by Nemo

“In New England Fields and Woods” Metadata:

  • Title: ➤  In New England Fields and Woods
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 57
  • Total Time: 05:38:42

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 57 sections

Online Access

Download the Audio Book:

  • File Name: new_england_fields_woods_1901_librivox
  • File Format: zip
  • Total Time: 05:38:42
  • Download Link: Download link

Online Marketplaces

Find In New England Fields and Woods at online marketplaces:


13Short History of France: From Caesar's Invasion to the Battle of Waterloo

By

After the Roman conquest, the Celtic Gauls adopted Roman culture and speech. The Germanic invasions ultimately transformed France into a Catholic feudal society. In this short history, Mary Duclaux traces the emergence of towns, the rise of the French monarchy, the calamitous Hundred Years' War and the Wars of Religion. We meet Joan of Arc, Charles VII, the gallant Henry IV, and the Sun King, Louis XIV, who drove France to the brink of bankruptcy. In the second half of the book Duclaux gives us the French Revolution and the Age of Napoleon: Louis XVI, sunk in "plump and smiling apathy," Marie Antoinette, who pleaded with France's enemies for rescue, the Paris mob who hated her, Danton, Saint-Just, Robespierre, and the Terror, and finally a sombre young Corsican officer with no small talk, the military and administrative genius, Napoleon Bonaparte. (Summary by Pamela Nagami, M.D.)

“Short History of France: From Caesar's Invasion to the Battle of Waterloo” Metadata:

  • Title: ➤  Short History of France: From Caesar's Invasion to the Battle of Waterloo
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 43
  • Total Time: 10:47:13

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: a_short_history_of_france_2111_librivox
  • File Format: zip
  • Total Time: 10:47:13
  • Download Link: Download link

Online Marketplaces

Find Short History of France: From Caesar's Invasion to the Battle of Waterloo at online marketplaces:


14Miniver Cheevy

By

LibriVox readers bring you 16 recordings of "Miniver Cheevy" by Edwin Arlington Robinson. This was the fortnightly poem for June 13, 2021.<br>------ <br> "Miniver Cheevy" is a narrative poem written by Edwin Arlington Robinson and first published in The Town Down the River in 1910. The poem relates the story of a hopeless romantic who spends his days thinking about what might have been if only he had been born earlier in time. - Summary by Wikipedia

“Miniver Cheevy” Metadata:

  • Title: Miniver Cheevy
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 16
  • Total Time: 00:28:37

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: minivercheevy_2106,poem_librivox
  • File Format: zip
  • Total Time: 00:28:37
  • Download Link: Download link

Online Marketplaces

Find Miniver Cheevy at online marketplaces:


15Loom and Spindle

By

Harriet Robinson was a frequent contributor to the famous monthly periodical, "The Lowell Offering", which featured poetry, essays and fiction written between 1840-1845 by the young female textile workers (ages 15-35) known as Lowell Mill Girls, living in the innovative Lowell, Massachusetts textile mills communities. Articles published therein describe their living conditions, where they came from, how they felt about their jobs, challenges met, bosses, new experiences and education they received. Rev. A.C. Thomas who organized and edited the publication, found in these factory girls a good field for the application of his belief that women have the right and the ability to express their thoughts, both in speaking and in writing. In his own words, "...and thus was published ... the first magazine or journal written exclusively by women in all the world." Harriet continued writing for the rest of her life, including this book, largely in support of women's education, independence and suffrage. (Summary by ~ Michele Fry)

“Loom and Spindle” Metadata:

  • Title: Loom and Spindle
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 13
  • Total Time: 05:39:10

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: loom_and_spindle_2211_librivox
  • File Format: zip
  • Total Time: 05:39:10
  • Download Link: Download link

Online Marketplaces

Find Loom and Spindle at online marketplaces:


16Children of the Night

By

Book's cover

LibriVox volunteers bring you 16 recordings of The Children of the Night by Edwin Arlington Robinson. This was the Fortnightly Poetry project for August 14, 2022.<br> -----<br> <i>The Children of the Night</i> is from the book of the same title, by Edwin Arlington Robinson (1869-1935). He was apparently a favorite poet of Theodore Roosevelt. - Summary by Owlivia

“Children of the Night” Metadata:

  • Title: Children of the Night
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 13
  • Total Time: 00:36:56

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: childrenofthenight_2208,poem_librivox
  • File Format: zip
  • Total Time: 00:36:56
  • Download Link: Download link

Online Marketplaces

Find Children of the Night at online marketplaces:


17Bundle of Letters from over the Sea

By

Book's cover

In presenting my little book to the public, I feel that I should apologize for so doing, instead of introducing it; for at the time my letters were written I had no idea of publishing them. Since my return, however, several friends who had read them have assured me that they greatly enjoyed them, and felt that others would do so, also, had they the opportunity. The letters have, at least, the merit of being fresh and honest impressions of the places described, as they were written on the spots. Remembering how eagerly I have always read letters of travel, I sincerely hope{x} that mine may prove a source of pleasure to some—to those who have been over the same ground, and to many who have the pleasure in anticipation. I am aware that the route I describe is a well-worn thoroughfare, but every eye has its own perspective, and different views of the same pictures assist the sight-seer in comprehending the whole. Therefore, I here beg the charity of all into whose hands this little book may fall. L. B. R. Hotel Oxford, Boston, December 20, 1889. - Summary by From the Preface

“Bundle of Letters from over the Sea” Metadata:

  • Title: ➤  Bundle of Letters from over the Sea
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 18
  • Total Time: 06:01:10

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 18 sections

Online Access

Download the Audio Book:

  • File Name: abundleoflettersfromoverthesea_2407_librivox
  • File Format: zip
  • Total Time: 06:01:10
  • Download Link: Download link

Online Marketplaces

Find Bundle of Letters from over the Sea at online marketplaces:


18Complete Bachelor

By

This volume was written by the author to help people with proper etiquette for certain social dilemma issues. i.e. male manners while being social with the opposite sex. - Summary by April

“Complete Bachelor” Metadata:

  • Title: Complete Bachelor
  • Author:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 21
  • Total Time: 04:49:51

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 21 sections

Online Access

Download the Audio Book:

  • File Name: completebachelor_2408_librivox
  • File Format: zip
  • Total Time: 04:49:51
  • Download Link: Download link

Online Marketplaces

Find Complete Bachelor at online marketplaces:


Buy “Computational Logic” online:

Shop for “Computational Logic” on popular online marketplaces.