en.wikipedia.org/wiki/Logic_programming

Logic programming is a type of programming paradigm which is largely based on
formal logic. Any program written in a logic programming language is a set of ...

www.psychologytoday.com/blog/what-would-aristotle-do/201403/logic-based-therapy-go

Mar 19, 2014 ... Logic-Based Therapy (LBT) can help you to live more happily through the use of
a little logic and a dose of applied philosophy. The theory ...

wp.doc.ic.ac.uk/arusso/myteaching/logic-based-learning/

Logic-based Learning is a particular area of Artificial Intelligence defined at the
intersection between Knowledge Representation and Machine Learning, which ...

www.instituteofcriticalthinking.com/about LBT.htm

Logic-Based Therapy, founded by Elliot D. Cohen, is a leading modality of “
philosophical practice? or "philosophical counseling." Like psychological practice
...

www.sci.brooklyn.cuny.edu/~lbslab/

Department of Computer and Information Science, Brooklyn College of the City
University of New York. Home of the 2LP Language, runs on Linux, RS6000, SGI,
...

www.imperial.ac.uk/computing/current-students/courses/304/

Logic-based learning is a particular area of Machine Learning that aims at
learning rule-based knowledge, called hypotheses, from observations (positive
and ...

webspace.princeton.edu/users/jedwards/Turing Centennial 2012/Mudd Archive files/12285_AC100_Turing_1938.pdf

opim.wharton.upenn.edu/~sok/papers/d/AspassiaPhD.pdf

potential for developing logic-based tools for the analysis and representation of ...
assembly tool designed to be applicable, where contract drafting is based.

npcassoc.org/training/

The NPCA offers a variety of training opportunities in Logic-Based Therapy (LBT)
via its affiliate the Institute of Critical Thinking. LBT is a leading modality of ...

kryten.mm.rpi.edu/sb_lccm_ab-toc_031607.pdf

modeling is achieved by using formal logic, and hence declarative computational
cognitive modeling, from the formal perspective, becomes logic-based ...