ArgSemSAT

Deprecated hosting for this project. The new hosting is at
https://github.com/federicocerutti/ArgSemSAT

In particular, the source code for the publication:
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati,
How we designed winning algorithms for abstract argumentation and which insight we attained,
Artificial Intelligence,
Volume 276,
2019,
Pages 1-40,
ISSN 0004-3702,
https://doi.org/10.1016/j.artint.2019.08.001.
(http://www.sciencedirect.com/science/article/pii/S0004370218302650)

is available at
https://github.com/federicocerutti/ArgSemSAT/releases/tag/1.0.5

Solving argumentation problems in Dung's AFs.

Authors:
Federico Cerutti <federico.cerutti@acm.org>
Mauro Vallati <m.vallati@hud.ac.uk>
Massimiliano Giacomin <massimiliano.giacomin@unibs.it>
Credits for porting to MacOSX: Roman Kutlak <r.kutlak@abdn.ac.uk>

Project Activity

See All Activity >

License

MIT License

Follow ArgSemSAT

ArgSemSAT Web Site

Other Useful Business Software

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of ArgSemSAT!

Additional Project Details

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Research Software

Registered

2014-03-31

Similar Business Software

KnowAll Matrix

Bailey Solutions offers cost-effective Library Management Systems (LMS) that can be hosted in the cloud or on your own servers. Our KnowAll Matrix Library System is designed by a library consultant in consultation with clients. 99% customer retention. Our core system includes: Catalogue:...

See Software
Bibliosoft

Make your library’s major tasks hassle-free. Now keeping records of books, and issues, and receiving books is fun. The barcode facility makes issues and receiving tasks very easy. Bibliosoft (Electronic Library System) is a powerful, flexible, and easy to use Library Management Software in...

See Software
CodeAchi Library Management System

CodeAchi Library Management System is globally trusted software for Library Automation. This software is very easy to install to your windows computer and access it to multiple computer using LAN. CodeAchi LMS features training via documentation, live online, and webinars and YouTube videos and...

See Software
Colibris

Colibris is an integrated library management system in the cloud. It allows you to search through a collection of books, magazines, cd's, documents and other materials. Simply scan the EAN / ISBN barcode and Colibris will find the bibliographic details of over 25 million objects. Registering...

See Software
All My Books

The only cataloging software you'll ever need. All My Books helps you archive, organize and track your book collection through an easy-to-use, flexible interface. Whether you're working with printed, audio, e-books — or a combination of all three; All My Books has exactly what you need to...

See Software
Apollo ILS

Apollo is a hosted Integrated Library System (ILS) system for public libraries. Created by Bibiolix, a Texas-based family owned company dedicated to providing solutions for public libraries, Apollo ILS enables customers to significantly increase their efficiency by accomplishing more tasks for...

See Software