3773 search results - page 176 / 755 » Logical Reasoning |
129
Voted
RWEB
2009
Springer
15 years 10 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
124
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
136
Voted
DLOG
2006
15 years 5 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
187
Voted
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
117
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we investigate the purely logical rule of term induction, i.e. induction deriving numerals instead of arbitrary terms. In this system it is not possible to bound the ...