ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson
  • Member for 11 years, 11 months
  • Last seen this week
5 votes
Accepted

Can someone clarify this unification algorithm?

5 votes
Accepted

What is the purpose of learning propositional logic

4 votes

Which is the equivalent processing of human brain in terms of computer processing?

4 votes

Subtlety of a bar in introduction rule

4 votes
Accepted

Addition, multiplication, and apostrophe used to represent boolean algebra expressions?

2 votes
Accepted

What algorithms for unification over (multidimensional) array terms?

2 votes

Consistent theory based on L and not(A->A) is a theorem

2 votes
Accepted

Complexity of natural language processing problems

2 votes

If Large Language Models like ChatGPT grow, do also their problems grow?

1 vote
Accepted

Automated theorem provers using models

1 vote
Accepted

Natural Languages

1 vote

Simple Skolemization Question

1 vote

proving program equivalence

1 vote

How to conceptually represent attributes (characteristics) of an object in logics?

1 vote
Accepted

NLP - Deep belief neural networks or logic?

0 votes

Why there is forward chaining inference engine (reasoner) for description logics only and not for other logics?

0 votes

How to find a term that proves a given proposition?

0 votes

a program discovering himself how to solve propositional calculus