TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 11 years, 10 months
  • Last seen more than a month ago
13 votes
1 answer
427 views

Good reference about approximate methods for solving logic problems

4 votes
1 answer
133 views

Sequent calculus for nonmonotonic/defeasible logics?

3 votes
3 answers
411 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
301 views

Tool for specifying operational semantics for given formally specified programming language

2 votes
1 answer
367 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
147 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
149 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
6k views

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