Skip to main content
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson's user avatar
ShyPerson
  • Member for 12 years
  • Last seen this week
0 votes

a program discovering himself how to solve propositional calculus

2 votes

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

1 vote
Accepted

Automated theorem provers using models

0 votes

How to find a term that proves a given proposition?

1 vote

Simple Skolemization Question

5 votes
Accepted

What is the purpose of learning propositional logic

1 vote
Accepted

Natural Languages

2 votes

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

1 vote

proving program equivalence

2 votes
Accepted

What algorithms for unification over (multidimensional) array terms?

4 votes
Accepted

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

0 votes

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

4 votes

Subtlety of a bar in introduction rule

2 votes
Accepted

Complexity of natural language processing problems

1 vote

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

4 votes

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

1 vote
Accepted

NLP - Deep belief neural networks or logic?

5 votes
Accepted

Can someone clarify this unification algorithm?