Hacker News
- Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 19 comments
- Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 4 comments prolog
Linking pages
Linked pages
- De Morgan's laws - Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 21 comments
- Negamax - Wikipedia http://en.wikipedia.org/wiki/Negamax 8 comments
- Extensional Higher Order Prolog [3200 views] | Bill Wadge's Blog https://billwadge.wordpress.com/2016/01/18/extensional-higher-order-prolog/ 5 comments
- Fifth Generation Computer Systems - Wikipedia https://en.wikipedia.org/wiki/Fifth_generation_computer 4 comments
- Survey of Computability Logic http://www.csc.villanova.edu/~japaridz/CL/ 1 comment
- Alpha–beta pruning - Wikipedia https://en.wikipedia.org/wiki/Alpha%E2%80%93beta_pruning 0 comments
- Game semantics - Wikipedia https://en.wikipedia.org/wiki/Game_semantics 0 comments
- Deep Inference http://alessio.guglielmi.name/res/cos/ 0 comments
- GitHub - acharal/hopes: Higher Order Prolog with Extensional Semantics https://github.com/acharal/hopes 0 comments
Related searches:
Search whole site: site:boxbase.org
Search title: Dialogical logic programming
See how to search.