Viewing profile — spyros

spyros

HN member

No profile information was provided.

comment
Comment #12021304
Neota Logic | New York, NY | ONSITE | FULL-TIME Software Developers: Dev/Ops, Sr. Java Developer, Sr. Web Developer Neota Logic is the producer of an Artificial Intelligence softwa…

Sat, Jul 02, 2016, 3:51 AM UTC
comment
Comment #9802015
Flaws and inconsistencies are usually introduced with negation. A very neat theory for negation in first-order rule-based systems called "Well-Founded Semantics" ( https://en.wikip…

Tue, Jun 30, 2015, 12:03 AM UTC
comment
Comment #6493992
Have you considered any of the probabilistic extensions to Prolog? (i.e. PITA for XSB?)

Fri, Oct 04, 2013, 6:24 AM UTC