2303 search results - page 116 / 461 » On the logic of argumentation theory |
192
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
150
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
194
click to vote
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
175
click to vote
FOIS
2006
15 years 7 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
177
click to vote
LMCS
2006
15 years 6 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...