Search Results for "nlp first order logic"
Sort By:
Showing 27 open source projects for "nlp first order logic"
View related business solutions-
Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
-
Built for growing businesses and well-established enterprises alike, Multiview is a highly scalable and robust ERP.
-
1
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces... -
2
REDUCE
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the history... -
3
MTBook
Machine Translation: Foundations and Models
... as reference material for researchers related to natural language processing, especially machine translation. This book is written in tex, and all source codes are open. This book is divided into four parts, each of which consists of several chapters. The order of the chapters refers to the time context of the development of machine translation technology, while taking into account the internal logic of the machine translation knowledge system. -
4
MonPoly
A monitor for MFOTL specifications
MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research... -
Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
-
5
The KReator project is a collection of software systems, tools, algorithms and data structures for logic-based knowledge representation. Currently, it includes the software systems KReator and MECore and the library Log4KR: - KReator is an integrated development environment (IDE) for relational probabilistic knowledge representation languages such as Bayesian Logic Programs (BLPs), Markov Logic Networks (MLNs), Relational Maximum Entropy (RME), First-Order Probabilistic Conditional Logic...
-
6
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
-
7
CTL-RP
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.) -
8
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org . Sigma has moved to github.com/ontologyportal/sigmakee
-
9
... on Turkish and make experimental results re-producable. The TTC-3600 data set has 4 different forms in terms of pre-processing: 1. Original: No pre-processing step is applied. 2. FPS-5: The first five characters of terms are selected as stem and stop-words elimination is performed. 3. FPS-7: The first seven characters of terms are selected as stem and stop-words elimination is performed. 4. Zemberek-Stemmed: Zemberek NLP toolkit is utilized for stemming and stop-words elimination is perfo
-
New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.
-
10
Translates first order formulas into logic programs under the stable model semantics based on [citation needed]. This is a work in progress and is not functional as of 6/9/2014
-
11
Zoom Logic
Zoom is a browser-based logic application. Users can create a world of
Zoom is a browser-based logic application. Users can create a world of shapes and make statements about those worlds using symbolic logic. It's very useful for learning or teaching symbolic logic and first-order logic. -
12
Swertia
Semantic Web Entailment Regime Translation and Inference Architecture
Swertia, the Semantic Web Entailment Regime Translation and Inference Architecture, is a generic Semantic Web reasoning framework that is based on first-order logic (FOL) reasoning. The goal is to provide reasoning support for all major Semantic Web reasoning standards, including RDF(S), OWL 2 (Direct Semantics, RDF-Based Semantics, OWL 2 RL/RDF rules), SWRL, RIF (RIF BLD, RIF Core, RIF+RDF and RIF+OWL combinations), and Common Logic. Available reasoning methods are entailment checking... -
13
FOLST
Didactic tool to support First Order Logic semantics learning
FOLST (First Order Logic Semantic Tutor) is an interactive tool to support teaching and learning of First Order Logic semantics, allowing users to create models under certain frames, and evaluate formulas in the models created. FOLST es una herramienta didáctica e interactiva para complementar el proceso de enseñanza/aprendizaje de la Lógica de Predicados de Primer Orden. Permite al usuario crear modelos bajo ciertos frames predefinidos, y evaluar fórmulas en los modelos creados. -
14
JAllInOne is a suite of products First of all, it is an ERP/CRM SOA based application having a Swing UI. It manages item variants, warehouse, selling, POS, provisioning, order tracking, BOM, manufactures, accounting, callouts, agenda, documents and supports multiple languages/companies/currencies. JAllInOne Mobile is an Ajax based application, tuned for mobile devices to use for warehouse management (inward/outwards, inventory, etc) JAllInOne eCommerce is an Ajax based web application...
-
15
Framework for making Windows applications that are one .exe file in AutoHotKey_L,C++,C#, VB.NET,Java,Groovy,Common Lisp,Nemerle,Ruby,Python,PHP,Lua,Tcl,Perl,Jint,S#,WSH VBScript,HTML/JavaScript/CSS,COM, PowerShell without compiling . For .NET 4.
-
16
A college project to develop a first order logic editor, Fol-E. http://www.youtube.com/watch?v=FRAyMdXee0c The program will be developed in Java, and will be available on Windows, Mac and Linux.
-
17
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
-
18
XML Document Validator is a Java implementation of CLiXML - Constraint Language in XML - that allows to express complex constraints about XML content using a mixture of first order logic and XPath.
-
19
This is home of the Generic Object Role Modeling Meta-Model (gORMmm). This ORM metamodel is designed as a software independent ORM metamodel for software developers/researchers of first-order logic, conceptual modeling, and artificial intelligence.
-
20
Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.
-
21
Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.
-
22
The Citizen Privacy Service is an asynchronous component using artificial intelligence capabilities including DL decidability and first order logic provenance that provide policy decision and policy enforcement points based on the US Privacy Act of 1974.
-
23
To represent a basic model of knowledge I used C# and the Bamboo fx to persistence. A knowledge base is composed of objects and inference rules. I developed a set of classes for this model based on the FOL(First-order logic).
-
24
The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.
-
25
Toolkit for implementing question answering systems and machine translation in both controlled languages and natural languages. Includes first order logic inference, parsing and semantic analysis, and APIs and standalone server software. Currently some t