446 search results - page 33 / 90 » Automating Theories in Intuitionistic Logic |
90
Voted
CADE
2008
Springer
16 years 25 days ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
109
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
125
click to vote
LPNMR
1993
Springer
15 years 4 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
111
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...