725 search results - page 26 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
159
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
127
click to vote
IJSI
2010
15 years 28 days ago
2010
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
153
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
108
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
130
click to vote
AI
1999
Springer
15 years 2 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...