prepare next release

francescofuggitti · francescofuggitti · commit c0cee65e09ec · 2023-07-07T23:59:27.000+02:00
Signed-off-by: Francesco Fuggitti &lt;francesco.fuggitti@gmail.com&gt;
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,12 @@
 # Change Log
 
+## 0.0.4 (2023-07-07)
+
+* Fix the grounding process of formulas.
+* Improve the english translation of formula templates.
+* Update Pipfile.lock.
+* Add ICAPS reference. 
+
 ## 0.0.3 (2023-06-13)
 
 Main changes:
diff --git a/README.md b/README.md
@@ -144,4 +144,15 @@ and then go to [http://localhost:8000](http://localhost:8000)
   url_code     = {https://github.com/IBM/nl2ltl},
 }
 ```
+and
+```
+@inproceedings{icaps2023fc,
+  author       = {Francesco Fuggitti and  Tathagata Chakraborti},
+  title        = {{NL2LTL} -- A Python Package for Converting Natural Language ({NL}) Instructions to Linear Temporal Logic ({LTL}) Formulas},
+  booktitle    = {{ICAPS}},
+  year         = {2023},
+  note         = {System Demonstration.},
+  url_code     = {https://github.com/IBM/nl2ltl},
+}
+```
 
diff --git a/nl2ltl/__init__.py b/nl2ltl/__init__.py
@@ -2,6 +2,6 @@
 
 """From Natural Language to Linear-time Temporal Logic on Finite Traces."""
 
-__version__ = "0.0.3"
+__version__ = "0.0.4"
 
 from .core import translate  # noqa: F401
