dlvhex-announce — dlvhex news and release notification

[dlvhex-announce] dlvhex Release 2.5.0

[Christoph R. <re...@kr...>]

Dear dlvhex Users!


We are glad to announce the release of dlvhex 2.5.0!

http://www.kr.tuwien.ac.at/research/systems/dlvhex/news.html


New features:

- External atom semantics was extended to 3 values (true, false, unknown);
2-valued external atoms are still compatible.

- Support for external atom evaluation under partial assignments (possible
performance improvements).

- Extended Python plugin API.

- Support for input and output in CSV format.

- Support for choice rules.

- Support for conditional literals.

- Support aggregates with multi-component symbolic sets.

- Support for interpreted function symbols.

- More efficient implementation of weak constraints.

- dlvhex is now compliant with ASP-Core-2 standard.

- Code cleanup, bugfixes and stability improvements, improved error and
warning messages.

- New default options: strong negation, liberal safety and external
learning methods are enabled by default (increased efficiency, decreased
syntactic restrictions).

- Complete doxygen documentation.

- The solver backend was upgraded to Clasp 3.1.4 and Gringo 4.5.4.


Pre-built binaries for multiple platforms will follow in the next days.


Best regards,

The dlvhex core Team

[dlvhex-announce] dlvhex Online Demo

[Christoph R. <cr...@gm...>]

Dear all,

We are happy to announce an online demo of dlvhex
<http://www.kr.tuwien.ac.at/research/systems/dlvhex/demo.php>.

It allows for evaluating simple HEX-programs in the browser without local
installation. Also customized external atoms may be specified in a Python
script directly in the browser.

If you have questions or bugs, please do not hesitate to contact us
directly or via the dlv...@li... mailing list.

Best Regards,
The dlvhex core Team

[dlvhex-announce] Fwd: Release of dlvhex 2.4.0

[Christoph R. <cr...@gm...>]

Dear all,

We are glad to announce the release of dlvhex 2.4.0!

New features:
* A new interface which support plugins to be implemented in Python
* An alternative algortithm for external source compatibility checking
based on support sets
* A plugin interface for customized model generators

In addition it provides numerous bugfixes and optimizations and the solver
backend was upgraded to gringo 4.4.0 clasp 3.1.0.


You can download the tarball here:

http://sourceforge.net/projects/dlvhex/files/dlvhex/2.4.0/dlvhex-2.4.0.tar.gz/download

You can clone the repository as follows:
  git clone --recursive git://github.com/hexhex/core.git

If you have questions or bugs, please do not hesitate to contact us
directly or via the dlv...@li... mailing list.


Best Regards,
The dlvhex core Team

[dlvhex-announce] Release of dlvhex 2.3.0

[Christoph R. <cr...@gm...>]

Dear all,

 

We are glad to announce the release of dlvhex 2.3.0!

 

It provides:

* Significant performance improvements by fine-tuning of heuristics

* Optimizations of some algorithms

* Various bugfixes

 

You can download the tarball here:

 

dlvhex:
http://sourceforge.net/projects/dlvhex/files/dlvhex/2.3.0/dlvhex-2.3.0.tar.g
z/download

 

You can clone the repository as follows:

 

git clone --recursive git://github.com/hexhex/core.git

 

If you have questions or bugs, please do not hesitate to contact us

directly or via the dlv...@li... mailing list.

 

 

Best Regards,

 

 

Thomas Krennwallner, Christoph Redl, and Peter Schüller

[dlvhex-announce] Release of dlvhex 2.2.0 and dlvhex-mcsieplugin 2.0.0

[Peter S. <sch...@gm...>]

Dear all,

We are glad to announce the release of two new versions:

An improved version of dlvhex: 2.2.0

* Support for function symbols (see examples/functionsymbols<N>.hex)
* Existentials in the head (see examples/exists<N>.hex)
* Liberal safety (see examples/liberalsafety<N>.hex)
* Various performance improvements and bugfixes.

The first release of the MCS-IE plugin for explaining inconsistency in
Multi-context systems for version 2.X of dlvhex: dlvhex-mcsieplugin 2.0.0

You can download the tarballs here:

dlvhex:
http://sourceforge.net/projects/dlvhex/files/dlvhex/2.2.0/dlvhex-2.2.0.tar.gz/download

MCS-IE:
http://sourceforge.net/projects/dlvhex/files/dlvhex-mcsieplugin/2.0.0/dlvhex-mcsieplugin-2.0.0.tar.gz/download

You can clone the repositories as follows:

git clone --recursive git://github.com/hexhex/core.git

git clone --recursive
git://github.com/hexhex/mcsieplugin.git<http://github.com/hexhex/core.git>

If you have questions or bugs, please do not hesitate to contact us
directly or via the dlv...@li... mailing list.


Best Regards,


Thomas Krennwallner, Christoph Redl, and Peter Schüller

[dlvhex-announce] dlvhex 2.1.0 and 1.7.4 release / Source code hosted now at github.com

[Peter S. <sch...@gm...>]

Dear all,

We are glad to announce the release of two maintenance versions of
dlvhex: 2.1.0 and 1.7.4.

1.7.4 improves the coexistence with an installed 2.X version.
2.1.0 includes performance improvements and many internal
improvements, most notably
* a conflict-driven approach for evaluating HEX semantics, including
various conflict learning interfaces (see [1])
* FLP semantics evaluation using unfounded set checks (see [2])
* integration of clasp and gringo as grounding and solving backends

You can download the dlvhex 2.1.0 tarball here:

* https://github.com/downloads/hexhex/core/dlvhex-2.1.0.tar.gz

or

* http://sourceforge.net/projects/dlvhex/files/dlvhex/2.1.0/dlvhex-2.1.0.tar.gz/download

We moved the version control from SVN on SourceForge to git on
github.com; you can find the git repositories here:

* https://github.com/hexhex/

The dlvhex core can be cloned as follows:

$ git clone --recursive git://github.com/hexhex/core.git

If you have questions or bugs, please do not hesitate to contact us
directly or via the dlv...@li... mailing list.


Best Regards,


Thomas Krennwallner, Christoph Redl, and Peter Schüller

[1] Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.
Conflict-driven ASP solving with external sources.
Theory and Practice of Logic Programming, 12(4-5):659-679, 2012.

[2] Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl,
and Peter Schüller.
Exploiting Unfounded Sets for HEX-Program Evaluation.
In 13th European Conference on Logics in Artificial Intelligence (JELIA 2012),
volume 7519 of LNCS, pages 160-175. Springer, September 2012.

[dlvhex-announce] Release of dlvhex 2.0.0 and 1.7.3

[Peter S. <ps...@kr...>]

Dear all,

We are glad to announce the release of dlvhex 2.0.0.

This release is a major overhaul of the HEX evaluation infrastructure,
it includes:

* a rewrite of the evaluation and decomposition framework [1],
* a new Registry for managing entities and their IDs (instead of
working directly on strings),
* a new plugin API and a legacy plugin API for rapid prototyping of
external computations (ComfortPluginAtom),
* creating one model at a time, and query answering support (brave,
cautious, ground, and nonground),
* multithreading support,
* support for input-call stratified modular nonmonotonic logic programs (MLPs),
* partial support for clingo as external solver engine,
* various fixes, improvements, and new testcases.

For more details, please see the NEWS and ChangeLog files.

You can download dlvhex 2.0.0 here:

* http://sourceforge.net/projects/dlvhex/files/dlvhex/2.0.0/dlvhex-2.0.0.tar.gz/download

We ported the string, script, aggregate, and wordnet-plugins to
version 2.0.0 (more plugins will be ported to 2.0.0 in the future):

You can download these new releases here:
* http://sourceforge.net/projects/dlvhex/files/dlvhex-stringplugin/2.0.0/dlvhex-stringplugin-2.0.0.tar.gz/download
* http://sourceforge.net/projects/dlvhex/files/dlvhex-scriptplugin/2.0.0/dlvhex-scriptplugin-2.0.0.tar.gz/download
* http://sourceforge.net/projects/dlvhex/files/dlvhex-aggregateplugin/2.0.0/dlvhex-aggregateplugin-2.0.0.tar.gz/download
* http://sourceforge.net/projects/dlvhex/files/dlvhex-wordnetplugin/2.0.0/dlvhex-wordnetplugin-2.0.0.tar.gz/download

We also created a maintenance release of 1.7.3 and maintenance
releases for the script- and aggregate-plugins:

You can download these new releases here:
* http://sourceforge.net/projects/dlvhex/files/dlvhex/1.7.3/dlvhex-1.7.3.tar.gz/download
* http://sourceforge.net/projects/dlvhex/files/dlvhex-scriptplugin/1.7.1/dlvhex-scriptplugin-1.7.1.tar.gz/download
* http://sourceforge.net/projects/dlvhex/files/dlvhex-aggregateplugin/1.7.1/dlvhex-aggregateplugin-1.7.1.tar.gz/download

Please use 2.0.0 for the newest functionality and bugfixes.

If you have questions or bugs, please do not hesitate to contact us
directly or via the dlv...@li... mailing list.


Best Regards,


Thomas Krennwallner and Peter Schüller


[1] Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas
Krennwallner, and Peter Schüller.
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
In LPNMR 2011, pages 93-106.


-- 
Peter Schüller
Vienna University of Technology, Institute of Information Systems
Favoritenstrasse 9-11/1843, 1040 Wien, Austria
T: +43 1 58801 18427 E: ps...@kr... DVR: 0005886
http://www.kr.tuwien.ac.at/staff/ps

[dlvhex-announce] DLVHEX 1.7.2 out now

[Thomas K. <tk...@kr...>]

Dear all,

DLVHEX 1.7.2 has been released today. Download instructions can be found
here: http://www.kr.tuwien.ac.at/research/systems/dlvhex/download.html

A list of changes to DLVHEX is given below (see also the NEWS file in
the tarball):

** Fix configuration error with boost 1.44.

The Ubuntu packages for lucid and maverick are currently building and
should be available soon, check
https://launchpad.net/~tkren/+archive/asp.

Best,
the DLVHEX maintainers

-- 
Thomas Krennwallner
Research assistant

TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11
1040 Wien, Austria

T: +43 1 58801 18469
F: +43 1 58801 18493
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/

DVR: 0005886

[dlvhex-announce] DLVHEX 1.7.1 + Ubuntu DEBs fresh from the oven

[Thomas K. <tk...@kr...>]

Dear all,

DLVHEX 1.7.1 has been released yesterday. Download instructions can be found
here: http://www.kr.tuwien.ac.at/research/systems/dlvhex/download.html

A list of changes to DLVHEX is given below (see also the NEWS file in the tarball):

** Fix dlvdb support in libaspsolver.

** Introduce better benchmarking support.

** Code clean-ups and beautifications.

** Improve speed of answer set parser.

** Fix tickets #7, #11, #12, #13, #14.


The following plugins have been updated to accommodate interface changes with
this release: dlvhex-dlplugin 1.7.1 and dlvhex-mcsieplugin 1.7.1

We fired up the Ubuntu build farm today. You can now install pre-compiled dlvhex
+ plugins packages for Ubuntu Lucid Lynx from the ASP PPA: see
http://www.kr.tuwien.ac.at/staff/tkren/deb.html for setup instructions. Beware,
even though the packages are fresh as a daisy, there may be some problems with
dependencies and other stuff. Please check them out and report bugs.

Best,
the DLVHEX maintainers

-- 
Thomas Krennwallner
Research assistant

TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11
1040 Wien, Austria

T: +43 1 58801 18469
F: +43 1 58801 18493
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/

DVR: 0005886

[dlvhex-announce] DLVHEX 1.7.0 released

[Thomas K. <tk...@kr...>]

Dear all,

DLVHEX 1.7.0 has been released today. Download instructions can be found here:
http://www.kr.tuwien.ac.at/research/systems/dlvhex/download.html



A list of changes to DLVHEX is given below (see also the NEWS file in the tarball):

** This is the last dlvhex release with major number 1.

** Add support for dlvdb as ASP solver (--solver=dlvdb).

** Introduce dlvhex namespace.

** Introduce OutputBuilder interface, which allows plugins to have their own
output formats.

** Sanitize Plugin interface.

** Use libltdl.

** Add support for retrieving HEX-programs via HTTP (or whatever protocol
libcurl supports).

** Use a more efficient replacement name technique for external atoms.

** Add support for a simple caching strategy for external atoms (turn off with
--nocache).

** Support for nonmonotonic external atoms (instantiate your external atom with
PluginAtom(false)).

** Install libdlvhexbase.so and libaspsolver.so in $libdir instead of $pkglibdir
(e.g., instead of /usr/local/lib/dlvhex, they are now located in /usr/local/lib).

** Use singleton interface for the name tables, caused a nasty bug with
duplicate global Term::names instantiations.

** Fix ticket #1.



The DL-Plugin changes are listed here:

** Add support for default logic over DL-KBs.

   A detailed description of usage can be found in [1].

   [1] Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner. Realizing
   Default Logic over Description Logic Knowledge Bases. In 10th
   European Conference on Symbolic and Quantitative Approaches to
   Reasoning with Uncertainty (ECSQARU 2009), volume 5590 of LNAI,
   pages 602-613. Springer, July 2009.

** New plugin parameters for the default rewriter: --dftrans and --dfcq.

** Add support for turtle syntax in URIs.

** New plugin parameters for setting up DL reasoner: --dlsetup.

** Fix tickets #3, #9.


Best,
the DLVHEX maintainers


-- 
Thomas Krennwallner
Research assistant

TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11
1040 Wien, Austria

T: +43 1 58801 18469
F: +43 1 58801 18493
tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/

DVR: 0005886