Skip to main content
TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 12 years, 1 month
  • Last seen more than a month ago
13 votes
1 answer
433 views

Good reference about approximate methods for solving logic problems

4 votes
1 answer
135 views

Sequent calculus for nonmonotonic/defeasible logics?

3 votes
3 answers
413 views

Can Hoare logic be used when objects are created or deleted?

2 votes
0 answers
79 views

Regaining decidability by adding axioms that model real world situation

2 votes
2 answers
311 views

Tool for specifying operational semantics for given formally specified programming language

2 votes
1 answer
370 views

What is logic programming and does it really add anything new to the logic?

2 votes
0 answers
180 views

Connection between nonmonotonic logic and type theory (lambda calculus)

1 vote
1 answer
124 views

Is there good open source project that apply semantic web, modal logics, and similar technologies

1 vote
1 answer
152 views

How to specify and verify Horn clauses (logic programming programs)? Semantics of Horn clauses

1 vote
1 answer
97 views

How to model degree variable in logic (new type of modal logic?)?

0 votes
1 answer
150 views

Logic programming with integer or even floating point domains

-2 votes
1 answer
124 views

What can we say about all cycles in graphs (connected undirected graph) [closed]

-5 votes
2 answers
7k views

Minimum-weight feedback edge set in undirected graph - how to find it? Is it NP hard problem?