SPINdle

SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic.

Features

Supports all rule types of defeasible logic, such as fact, strict rules, defeasible rules, defeaters and superiority.
Supports Modal Defeasible Logics with modal operator conversions.
Supports negation and conflicting (mutually exclusive) literals.
Defeasible theory can be represented using XML and plain text (with pre-defined syntax), and a theory and its extension can also be exported using XML.
A visual theory editor is developed for editing standard defeasible logic theory. (Please refers to the project home for details.)

Project Samples

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow SPINdle

SPINdle Web Site

Other Useful Business Software

Cloud-based help desk software with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free

Rate This Project

User Reviews

Be the first to post a review of SPINdle!

Additional Project Details

Programming Language

Java

Related Categories

Java Artificial Intelligence Software

Registered

2011-08-09

Similar Business Software

Phonexa

Phonexa is an enterprise-grade tracking and distribution platform for calls, leads, fraud, and compliance, in addition to a fully integrated stack of tools that enable marketers to track and optimize performance. At the core of the Phonexa ecosystem are LMS Sync for intelligent lead...

See Software
Jotform

Trusted by over 25 million users, Jotform is an all-in-one, no-code platform that simplifies data collection, automation, and online sales. Using its drag-and-drop Form Builder, businesses can create customized forms and surveys to collect leads, payments, and e-signatures. With 10,000+...

See Software
ZeroPath

ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix...

See Software
LTX

Control every aspect of your video using AI, from ideation to final edits, on one holistic platform. We’re pioneering the integration of AI and video production, enabling the transformation of a single idea into a cohesive, AI-generated video. LTX empowers individuals to share their visions,...

See Software
Google Compute Engine

Compute Engine is Google's infrastructure as a service (IaaS) platform for organizations to create and run cloud-based virtual machines. Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a...

See Software
Frontegg

Frontegg is a Customer Identity and Access Management (CIAM) platform that simplifies authentication, authorization, and user management for SaaS companies. It enables developers to implement advanced identity features quickly, then shift ongoing administration to other teams. With Frontegg,...

See Software